1. A computer implemented system for automatic generation of test data for testing of a program code satisfying the Modified Condition/Decision Coverage MC/DC metric, said system comprising: a code-optimizer configured to optimize and abstract the program code using techniques selected from a group consisting of constant folding, loop unrolling and delay abstraction; an annotating module configured to annotate said optimized program code, wherein said annotating module comprises an insertion module configured to insert at least two assert statements at a pre-determined location in said optimized program code and create an annotated set of programs; a database storing said annotated set of programs; a processor co-operating with the database, wherein said processor comprises: a. a program-selector which selects a program from said annotated set of programs; b. a model-checker which checks for violation of the assert statements inserted in the optimized program; and generates a trace for each of the annotated programs in the set; c. a test-data-generator which generates test data for each of the annotated programs in the set; and an MC/DC checking module which receives and tests the program code with said generated test data; identifying a condition of the program code not covered by the test cases using the MC/DC checker; and further provides a feedback on MC/DC metric compliance, in case of noncompliance the process is iterated for a new set of traces/counterexamples.