文章基本信息

标题：Online On-the-Fly Testing of Real-time Systems
本地全文：下载
作者：Marius Mikucionis ; Kim G. Larsen ; Brian Nielsen 等
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：2003
卷号：10
期号：49
出版社：Aarhus University
摘要：In this paper we present a framework, an algorithm and a new tool for online testing of real-time systems based on symbolic techniques used in UPPAAL model checker. We extend UPPAAL timed automata network model to a test specification which is used to generate test primitives and to check the correctness of system responses including the timing aspects. We use timed trace inclusion as a conformance relation between system and specification to draw a test verdict. The test generation and execution algorithm is implemented as an extension to UPPAAL and experiments carried out to examine the correctness and performance of the tool. The experiment results are promising.