| 摘要 |
<p>A method of automatically generating test scripts from a system specification model, comprising the steps of: determining whether any events pertinent to testing are non-receive events; determining the possible orderings for the non-receive events; adding edges between the non-receive events, for each ordering; generating a test tree for each ordering; and generating test scripts. <??>This invention provides a method for automatically generating test scripts from a system specification model, thus providing a set of tests to be carried out upon a system. The set of tests achieve optimal test coverage of the system whilst reducing the amount of time required to carry out the test. The invention also provides a test script produced by the above method and a system for executing the test script produced. <IMAGE></p> |
