Model-based robustness testing for avionics-embedded software  

作　　者：Yang Shunkun Liu Bin Wang Shihai Lu Minyan 

机构地区：[1]School of Reliability and Systems Engineering, Beihang University [2]Science & Technology on Reliability & Environmental Engineering Laboratory

出　　处：《Chinese Journal of Aeronautics》2013年第3期730-740,共11页中国航空学报（英文版）

基　　金：the Aeronautics Science Foundation of China(No.2011ZD51055);Science and Technology on Reliability&Environmental Engineering Laboratory(No.302367);the National Pre-Research Foundation of China(No.51319080201)

摘　　要：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.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.

关 键 词：Embedded software HARDWARE-IN-LOOP Model-based testing Robustness testing Testing environment 

分 类 号：TP368.1[自动化与计算机技术—计算机系统结构] V243[自动化与计算机技术—计算机科学与技术]