A method of test cases generation for real-time systems

被引：1

作者：

Ho, I ^{[1
]}

Lin, JC ^{[1
]}

机构：

[1] Tatung Inst Technol, Dept Comp Sci & Engn, Taipei 10451, Taiwan

来源：

FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98) | 1998年

关键词：

D O I：

10.1109/ISORC.1998.666795

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Real-time software must satisfy not only functional correctness requirements but also timeliness requirements. A lot of real-time researches were focused on analysis rather than testing recently. During the execution of real-time software, sequence of events due to time take place between the concurrent processes. Because of the unpredictable progress of concurrent processes, multiple executions of real-time software with the same test cases may produce different results. This nondeterministic execution behavior always creates problems in software testing. This paper is concerned with test cases generation for real-time systems. It includes (1) a guideline of how to handle the nondeterministic properties of real-time systems, and (2) the way test cases are generated using dual-language based model and path-like testing strategy.

引用

页码：249 / 253

页数：5

共 50 条

[1] Test cases generation for nondeterministic real-time systems
Khoumsi, A
Jéron, T
Marchand, H
[J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 131 - 146
[2] Experimental test generation for real-time systems
Fouchal, H
Rabat, C
Rollet, A
Tarhini, A
[J]. INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 284 - 289
[3] Time-optimal test cases for real-time systems
Hessel, A
Larsen, KG
Nielsen, B
Pettersson, P
Skou, A
[J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 234 - 245
[4] A test generation framework for quiescent real-time systems
Briones, LB
Brinksma, E
[J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 64 - 78
[5] 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
[6] A framework for the specification of test cases for real-time distributed systems
Walter, T
Grabowski, J
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (11-12) : 781 - 798
[7] Test Case Generation for Flexible Real-Time Control Systems
Nilsson, Robert
Henriksson, Dan
[J]. ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2005,
[8] Generating Test Cases for Real-Time Systems Based on Symbolic Models
Andrade, Wilkerson L.
Machado, Patricia D. L.
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (09) : 1216 - 1229
[9] GENERATING TEST CASES FOR REAL-TIME SYSTEMS FROM LOGIC SPECIFICATIONS
MANDRIOLI, D
MORASCA, S
MORZENTI, A
[J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1995, 13 (04): : 365 - 398
[10] Test Cases Generation for Embedded Real-time Software Based on Extended UML
Yin Yongfeng
Liu Bin
Lu Minyan
Li Zhen
[J]. 2009 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND COMPUTER SCIENCE, VOL 1, PROCEEDINGS, 2009, : 69 - 74

← 1 2 3 4 5 →