A modular tool for test generation for real-time systems

A tool is presented which aims to meet the need for the automatic generation of test cases for real time control systems. The modular nature of the tool allows different specification languages to be used, and permits the user to experiment with a variety of simplifying transformations in order to produce a tractable model. Finally, a suitable test strategy can be selected. This flexibility allows the user to make the most appropriate selection of test cases, and at each stage the underlying assumptions are made explicit. Confidence in the implementation is expressed not as a percentage cover but as an explicit set of assumptions that are satisfied. It remains to investigate larger examples in order to establish the most effective techniques for reducing the number of test cases to a manageable size