Timed Model-Based Testing
H. Bohnenkamp, A. Belinfante (Univ. Twente, NL), M. Stoelinga (Univ. Twente, NL)
Testing is one of the most natural, intuitive and effective methods to increase the reliability of software. Formal methods have been employed to analyse and systematise the testing idea in general, and to define notions of correctness of implementations with respect to specifications in particular. The ioco testing theory reasons about black-box conformance testing of software components. The test-case generation and execution algorithms of ioco have been implemented in TorX, a testing tool developed at the University of Twente.
We work on an extension of TorX to allow testing of real-time properties: real-time testing. Real-time testing means that the decisions whether an implementation under test has passed or failed a test is not only based on which outputs are observed, given a certain sequence of inputs, but also on when the outputs occur, given a certain sequence of inputs applied at predefined times. We use as input models non-deterministic safety timed automata.
H. Bohnenkamp, A. Belinfante (Univ. Twente, NL), M. Stoelinga (Univ. Twente, NL)
Testing is one of the most natural, intuitive and effective methods to increase the reliability of software. Formal methods have been employed to analyse and systematise the testing idea in general, and to define notions of correctness of implementations with respect to specifications in particular. The ioco testing theory reasons about black-box conformance testing of software components. The test-case generation and execution algorithms of ioco have been implemented in TorX, a testing tool developed at the University of Twente.
We work on an extension of TorX to allow testing of real-time properties: real-time testing. Real-time testing means that the decisions whether an implementation under test has passed or failed a test is not only based on which outputs are observed, given a certain sequence of inputs, but also on when the outputs occur, given a certain sequence of inputs applied at predefined times. We use as input models non-deterministic safety timed automata.