.png){kind=icon}
返回
Model-based robustness testing for avionics-embedded software
.png){kind=icon}
OA
AI
DOI：10.1016/j.cja.2013.05.004.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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 model-based 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. (C) 2013 Production and hosting by Elsevier Ltd. on behalf of CSAA & BUAA.
Keyword:
Embedded software
Hardware-in-loop
Model-based testing
Robustness testing
Testing environment
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.7
论文数:
4.7K
被引数:
1.4W
机构
引用论文
.png){kind=icon}
分享收藏分享收藏Visual attention and speeds of pedestrians, cyclists, and electric scooter riders when using shared road – a field eye tracker experiment使用共享道路时行人，骑自行车者和电动踏板车骑手的视觉注意力和速度-现场眼动仪实验
PREAI
分享收藏
查看更多内容