摘要 |
Generates self-checking software by providing characteristics of a specification; traversing points in state space defined by the characteristics to generate stand-alone test code; determining if the generated code is deterministic; and forming expected results of the test code into a standalone, self-checking body of test cases. The expected results may be merged back into randomly generated test cases to form the standalone, self-checking body of test cases.
|