| 摘要 |
A method and system for testing complex machine control software A method of formally testing a complex machine control software program in order to determine defects within the software program is described. The software program to be tested (SUT) has a defined test boundary, encompassing the complete set of visible behaviour of the SUT, and at least one interface between the SUT and an external component, the at least one interface being defined in a formal, mathematically verified interface specification. The method comprises: obtaining a usage model for specifying the externally visible behaviour of the SUT as a plurality of usage scenarios, on the basis of the verified interface specification; verifying the usage model, using a usage model verifier, to generate a verified usage model of the total set of observable, expected behaviour of a compliant SUT with respect to its interfaces; extracting, using a sequence extractor, a plurality of test sequences from the verified usage model; executing, using a test execution means, a plurality of test cases corresponding to the plurality of test sequences; monitoring the externally visible behaviour of the SUT as the plurality of test sequences are executed; and comparing the monitored externally visible behaviour with an expected behaviour of the SUT.
|
