T-UPPAAL: online model-based testing of real-time systems
暂无分享,去创建一个
The goal of testing is to gain confidence in a physical computer based system by means of executing it. More than one third of typical project resources are spent on testing embedded and real-time systems, but still it remains ad-hoc, based on heuristics, and error-prone. Therefore systematic, theoretically well-founded and effective automated real-time testing techniques are of great practical value. Testing conceptually consists of three activities: test case generation, test case execution and verdict assignment. We present T-UPPAAL-a new tool for model based testing of embedded real-time systems that automatically generates and executes tests "online" from a state machine model of the implementation under test (IUT) and its assumed environment which combined specify the required and allowed observable (realtime) behavior of the IUT. T-UPPAAL implements a sound and complete randomized testing algorithm, and uses a formally defined notion of correctness (relativized timed input/output conformance) to assign verdicts. Using online testing, events are generated and simultaneously executed.
[1] Nicolae Goga,et al. Formal Test Automation: A Simple Experiment , 1999, IWTCS.
[2] Stavros Tripakis,et al. Conformance testing for real-time systems , 2004, SPIN.
[3] Marius Mikucionis,et al. Online On-the-Fly Testing of Real-time Systems , 2003 .