Test support tool system and method
DC CAFCFirst Claim
Patent Images
1. A software development system, comprising:
- an interface for receiving a logical software description created with a logical language processor;
a logical database for communication with said interface;
a test case generation mechanism;
a test program synthesis mechanism; and
a computer for controlling the logical database, the test generation module, and the test program synthesis module.
1 Assignment
Litigations
0 Petitions
Accused Products
Abstract
A test support tool system and method produce software test programs from a logical description of selected software. Test programs are created by producing a cause-effect graph from the logical description, creating a decision table, producing test cases, and synthesizing test cases into a test program. The test support tool system includes an interface for receiving a logical description of software, a logical database, an analysis and test case generation module, a control module, and a test program synthesis module.
168 Citations
12 Claims
-
1. A software development system, comprising:
-
an interface for receiving a logical software description created with a logical language processor; a logical database for communication with said interface; a test case generation mechanism; a test program synthesis mechanism; and a computer for controlling the logical database, the test generation module, and the test program synthesis module.
-
-
2. A method comprising:
-
creating a logical description of selected software; organizing said logical description into a cause-effect graph; converting the cause-effect chart into a decision table; producing test cases from said decision table; and producing a test program by synthesizing said test cases, wherein said logical description is created with a logical language processor. - View Dependent Claims (3, 4, 5, 6, 7, 8, 9, 10)
-
-
11. A method of automated software test program generation comprising:
-
making a logical description of selected software; producing at least a single test case from the logical description; and synthesizing a test program from the at least a single test case.
-
-
12. A computer product comprising a storage medium having computer readable code embodied therein for generating a software test program, the computer product comprising:
-
a computer readable program code device for receiving and storing a logical description of a selected software design; a computer readable program code device for converting said logical description into a cause-effect graph; a computer readable program code device for converting the cause-effect graph into a decision table; a computer readable program code device for producing test cases from said decision table; and a computer readable program code device for producing a software test program by synthesizing test cases.
-
Specification