Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System

被引：0

作者：

Chen, Yong ^{[1
]}

He, Yanxiang ^{[1
]}

Xu, Chao ^{[1
]}

Wu, Wei ^{[1
]}

Liu, Jianbo ^{[1
]}

机构：

[1] Wuhan Univ, Sch Comp, Wuhan 430072, Peoples R China

来源：

BUSINESS, ECONOMICS, FINANCIAL SCIENCES, AND MANAGEMENT | 2012年 / 143卷

关键词：

Testing Requirements Specification; RCBL; Automatically Test; Embedded System;

D O I：

暂无

中图分类号：

F [经济];

学科分类号：

02 ;

摘要：

Testing is an essential part of the development of embedded real-time system and it is necessity to generate the test case automatically. However, there is no good language to bridge the gap between the testing requirements and source codes. In this paper, we propose a compiler based automatically test case generation framework firstly, and then introduce a novel language call RCBL to specify the testing requirements that describe the relationship of source code and testing requirements for the embedded real-time system. From a simple but comprehensive testing requirement of an embedded system, we can see that the RCBL is powerful and flexible, and also can be learned and used easily.

引用

页码：643 / 650

页数：8

共 50 条

[1] The specification of the embedded system of real-time IR
Zhu, Yong
[J]. DCABES 2007 Proceedings, Vols I and II, 2007, : 1242 - 1244
[2] Formal specification of a real-time lift dispatching system
Wang, YX
Ngolah, FC
[J]. IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 669 - 674
[3] Formal Specification Based Automatic Test Generation for Embedded Network Systems
Choi, Eun Hye
Nishihara, Hideaki
Ando, Takahiro
Nguyen Van Tang
Aoki, Masahiro
Yoshisaka, Keiichi
Mizuno, Osamu
Ohsaki, Hitoshi
[J]. JOURNAL OF APPLIED MATHEMATICS, 2014,
[4] Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS
Andrade, Wilkerson L.
Machado, Patricia D. L.
Alves, Everton L. G.
Almeida, Diego R.
[J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 54 - 69
[5] Real-Time Animation for Formal Specification
Mery, Dominique
Singh, Neeraj Kumar
[J]. COMPLEX SYSTEMS DESIGN AND MANAGEMENT, 2010, : 49 - 60
[6] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
GORSKI, J
[J]. COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
[7] Formal synthesis and code generation of embedded real-time software
Hsiung, PA
[J]. PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2001, : 208 - 213
[8] Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java']Java
Wehrmeister, Marco Aurelio
Pereira, Carlos Eduardo
Becker, Leandro Buss
[J]. 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 804 - +
[9] Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems
Barbosa, Raul
Karlsson, Johan
[J]. 2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 192 - 199
[10] Creditability Modeling of Distributed Embedded System based on Real-time Interaction Specification
Zhang, Jing
Rong, Hui
Zhang, Chunhong
Xiang, Fenghong
Zhang, Yunsheng
[J]. SECOND INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 2, PROCEEDINGS, 2009, : 543 - +

← 1 2 3 4 5 →