Patent ID: 8612938
Filing Date: 2013-12-17
Classification: G06F

Abstract:
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: 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.