| 摘要 |
A user may provide the specification of an application in the form of flow-graphs to a computer system. The computer system examines (traverses) the flow graphs to generate various test paths. The user may then specify different input value combinations associated with each test path to generate corresponding number of test cases. By using such an approach, the application may potentially be tested exhaustively. |
