1. A 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: optimization means adapted to optimize the program code; annotation means adapted to insert at least two assert statements at a pre-determined location in said optimized program code and further adapted to create an annotated set of programs; a database storing said set of annotated programs; processing means co-operating with the database, said processing means comprising: a. Program selector means adapted to select a program from said set of annotated programs. b. trace generation means adapted to generate a trace for each of the annotated programs in said set; c. test data generation means adapted to generate test data for each of the annotated programs in said set; and MC/DC checking means adapted to receive and test the program code with said generated test data and further adapted to provide a feedback on the MC/DC metric compliance.