SYSTEM TESTING METHOD AND SYSTEM TEST KIT

摘要

The present invention provides a method of testing a system (101), such as a computer program, system or software which is embedded in an electronic device as firmware. The method at least comprises creating a model of the system under test, performing static code analysis on the system to generate one or more alerts (103), each respectively indicative of a respective error in the system under test, using the alerts to adapt the model (105) of the system, using the adapted model of the system to generate a test suite (107), and executing the test suite thus generated on the system under test. The present invention also provides a corresponding test kit comprising a static code analysis tool and a model-based testing tool, wherein the model-based testing tool uses results generated by the static code analysis tool. This system testing method and test kit have the advantage of allowing a part or parts of the system under test which require more testing than others to be identified by the static code analysis, and for the execution of the test suite on the system to be concentrated on those parts of the system more than on the others. Thus, the chance of exposing any faults, bugs or errors in the system can be increased, whilst the length of the test cycle can be reduced.