2026-08-18T16:18:01Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:326 2024-03-06T11:05:52Z ddc:004 open_access

Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work Larsen, Kim G. Mikucionis, Marius Nielsen, Brian Online testing black-box testing real-time systems embedded systems symbolic state representation relativized timed input/output conformance mo We present TUPPAAL --- a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. We describe a sound and complete randomized online testing algorithm, and describe how to implement it 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. A medium size case study shows promising results in terms of error detection capability and computation performance. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Kim G. Larsen and Marius Mikucionis and Brian Nielsen 2005 Is Part Of Dagstuhl Seminar Proceedings, Volume 4371, Perspectives of Model-Based Testing (2005) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.04371.3 urn:nbn:de:0030-drops-3269 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04371.3 eng https://creativecommons.org/licenses/by/4.0/legalcode