Generating Test Cases for Real-Time Systems Based on Symbolic Models

被引：7

作者：

Andrade, Wilkerson L. ^{[1
]}

Machado, Patricia D. L. ^{[1
]}

机构：

[1] Bairro Univ, Fed Univ Campina Grande UFCG, BR-58429900 Campina Grande, PB, Brazil

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 2013年 / 39卷 / 09期

关键词：

Real-time systems and embedded systems; formal methods; symbolic execution; testing strategies; INTERRUPTIONS; CHECKING;

D O I：

10.1109/TSE.2013.13

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The state space explosion problem is one of the challenges to be faced by test case generation techniques, particularly when data values need to be enumerated. This problem gets even worse for real-time systems (RTS) that also have time constraints. The usual solution in this context, based on finite state machines or time automata, consists of enumerating data values (restricted to finite domains) while treating time symbolically. In this paper, a symbolic model for conformance testing of real-time systems software named TIOSTS that addresses both data and time symbolically is presented. Moreover, a test case generation process is defined to select more general test cases with variables and parameters that can be instantiated at testing execution time. Generation is based on a combination of symbolic execution and constraint solving for the data part and symbolic analysis for timed aspects. Furthermore, the practical application of the process is investigated through a case study.

引用

页码：1216 / 1229

页数：14

共 50 条

[41] Analysis and verification of real-time systems using quantitative symbolic algorithms
Campos S.V.A.
Clarke E.
[J]. International Journal on Software Tools for Technology Transfer, 1999, 2 (3) : 260 - 269
[42] Real-time colour recognition in symbolic programming for machine vision systems
Batchelor, BG
Whelan, PF
[J]. MACHINE VISION AND APPLICATIONS, 1995, 8 (06) : 385 - 398
[43] Utilization-based Schedulability Test of Real-time Systems on Virtual Multiprocessors
Niyizamwiyitira, Christine
Lundberg, Lars
Lennerstad, Hakan
[J]. 2015 44TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS, 2015, : 267 - 276
[44] A test generation framework for quiescent real-time systems
Briones, LB
Brinksma, E
[J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 64 - 78
[45] Real-time operating systems on the test-bench
Mächtel, M
Rzehak, H
[J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 195 - 201
[46] A METHODOLOGY FOR DESIGN, TEST, AND EVALUATION OF REAL-TIME SYSTEMS
SHERE, KD
CARLSON, RA
[J]. COMPUTER, 1994, 27 (02) : 35 - 48
[47] Real-time on-line test for MDOF systems
Nakashima, M
Masaoka, N
[J]. EARTHQUAKE ENGINEERING & STRUCTURAL DYNAMICS, 1999, 28 (04): : 393 - 420
[48] Use of runtime enforcement for the test of real-time systems
Givel, Louis-Marie
Brun, Matthias
Constant, Camille
Faucou, Sebastien
Roux, Olivier H.
[J]. 2015 IEEE 17TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2015 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CYBERSPACE SAFETY AND SECURITY, AND 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS), 2015, : 984 - 990
[49] A test case generation algorithm for real-time systems
Hessel, A
Pettersson, P
[J]. QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 268 - 273
[50] A real-time test
不详
[J]. LIBRARY JOURNAL, 2001, 126 (02) : 50 - 50

← 1 2 3 4 5 →