Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1109/ASE.2004.1342774 | ASE |
Keywords | Field | DocType |
t-uppaal,automated real-time testing,effective automated real-time testing,online model-based testing,test case generation,program testing,implementation under test,test case execution,state machine model,physical computer based system,real-time system,physical computer,great practical value,typical project resource,embedded real-time systems,automatic testing,embedded systems,randomized testing algorithm,program verification,verdict assignment,real-time systems,real time,state machine,real time systems,model based testing,random testing | Black-box testing,Programming language,Integration testing,Computer science,Manual testing,White-box testing,Conformance testing,Non-regression testing,Real-time computing,Model-based testing,Keyword-driven testing | Conference |
ISSN | ISBN | Citations |
1938-4300 | 0-7695-2131-2 | 27 |
PageRank | References | Authors |
1.20 | 2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marius Mikučionis | 1 | 799 | 33.52 |
Kim G. Larsen | 2 | 3922 | 254.03 |
Brian Nielsen | 3 | 564 | 26.34 |