Testing real-time systems from compositional symbolic specifications

详细信息    查看全文

• 作者：Adriana C. Damasceno ; Patricia D. L. Machado…
• 关键词：Real ; time systems ; tioco ; Conformance testing ; Transition systems
• 刊名：International Journal on Software Tools for Technology Transfer
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：19
• 期：1
• 页码：53-71
• 全文大小：
• 刊物类别：Computer Science
• 刊物主题：Software Engineering; Software Engineering/Programming and Operating Systems; Theory of Computation;
• 出版者：Springer Berlin Heidelberg
• ISSN：1433-2787
• 卷排序：19

文摘

Symbolic models for testing real-time systems that abstract both data and time have been investigated. The goal is to address the state space explosion problem that may occur during test case generation. In this context, testing is often investigated by abstracting the structure of the system under test and by observing traces of expected outputs. However, since real-time systems are usually composed of a number of communicating subsystems, the next challenge is to take into account how the composition of subsystems is specified, developed and possibly tested separately or as a whole system. This paper addresses this challenge by providing a sequential and a parallel operator for composing symbolic models of real-time systems and an integration testing strategy that makes use of them. Also, we present a case study from the avionics domain and discuss barriers regarding the considered conformance relation.