Model-based robustness testing for avionics-embedded software

Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approa...

Full description

Saved in:
Bibliographic Details
Published inChinese journal of aeronautics Vol. 26; no. 3; pp. 730 - 740
Main Authors Yang, Shunkun, Liu, Bin, Wang, Shihai, Lu, Minyan
Format Journal Article
LanguageEnglish
Published Elsevier Ltd 01.06.2013
Subjects
Avionics
Computer programs
Embedded computer systems
Embedded software
Faults
Hardware-in-loop
Methodology
Model-based testing
Prototypes
Robustness
Robustness testing
Software
Tasks
Testing environment
健壮性测试
基于模型
嵌入式系统
嵌入式软件系统
测试方法
测试环境
航空电子设备
鲁棒性
Robustness testing
Model-based testing
Testing environment
Hardware-in-loop
Embedded software
Online AccessGet full text

Cover

More Information
Summary:Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.
Bibliography:Embedded software; Hardware-in-loop; Model-based testing; Robustness testing; Testing environment
11-1732/V
Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.
ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:1000-9361
DOI:10.1016/j.cja.2013.05.004