METHOD AND SYSTEM FOR GENERATING FUNCTIONAL TEST CASES FOR SOFTWARE SYSTEMS

摘要

A method and system is provided for automated generation of the functional test cases for testing a software system. In an embodiment, the invention provides an expressive decision table (EDT), a requirement specification notation designed to reduce translation efforts, it implements a novel scalable row-guided random algorithm with fuzzing (RGRaF) (pronounced R-graph) to generate test cases. The invention also implements two new coverage criteria targeted at requirements and requirement interactions. The invention also provides fuzzing at time boundaries to achieve scalability. According to an embodiment, the invention also provides the feature of generating error in case the generated functional test case corresponds to system property violation of the software system. According to another embodiment, the system can also reject the functional test case if there is an improbable condition of the software system.

主权项

1. A method for generating functional test cases for testing a software system, the method comprising a processor implemented steps of:
providing expressive decision table (EDT) specifications, wherein the EDT specifications specify requirements of the software system; constructing automata using an automata builder (102), wherein the automata correspond to each of a plurality of cells in a plurality of rows present in the EDT specifications; generating an input sequence by selecting a random sequence of rows from the EDT specifications using an input sequence generation module (104); passing the input sequence to an expected output generation module (106), wherein the expected output generation module (106) executes each of the automaton out of the automata, corresponding to each of the cells of the EDT and determines the rows out of the plurality of rows that matches the input sequence to generate an expected output sequence; and providing the expected output sequence to a final output generation module (110) to generate the functional test cases if a predefined set of conditions are satisfied, wherein the predefined set of conditions comprises,
at least one of a row or a row-interaction is covered by the functional test cases and the functional test cases do not involve an invalid test scenario.