Abstract | ||
---|---|---|
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifica- tions. It is based on a sound and complete randomized online testing algorithm and is im- plemented using symbolic state representation and manipulation techniques. We propose the notion of relativized timed input/output conformance as the formal implementation relation. A novelty of this relation and our testing algorithm is that they explicitly take environment assumptions into account, generate, execute and verify the result online using the UPPAAL on-the-fly model-checking tool engine. This paper introduces the principles behind the tool, describes the present implementation status, and future work directions. |
Year | Venue | Keywords |
---|---|---|
2004 | Perspectives of Model-Based Testing | model checking,black box testing,real time systems,input output |
Field | DocType | Citations |
Programming language,State representation,Orthogonal array testing,Computer science,Automaton,Real-time computing,Novelty | Conference | 13 |
PageRank | References | Authors |
0.82 | 30 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kim Guldstrand Larsen | 1 | 4434 | 346.88 |
Marius Mikučionis | 2 | 799 | 33.52 |
Brian Nielsen | 3 | 564 | 26.34 |