METHOD AND APPARATUS FOR AUTOMATICALLY CREATING TEST CASES FOR SOFTWARE

摘要

A method for automatically generating test cases for software verification is provided. The method of the present disclosure includes reading a design specification file; Generating a cause/effect table from the read design specification file; Generating a causal graph corresponding to the cause/effect table; Generating one or more logical expressions from the causal graph, each of the logical expressions having a DNF (Disjunctive Normal Form) format and including one or more terms consisting of one or more variables; Deriving one or more test data for each term and each variable of each logical expression; And generating one or more test cases based on each logical expression and the test data.