Model-based robustness testing for avionics-embedded software

来源 :Chinese Journal of Aeronautics | 被引量 : 0次 | 上传用户:wubaishan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
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 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.
其他文献
叙述了双循环流化床锅炉与链条锅炉在各方面的性能比较,存在问题和解决方法.
查完房,我正在办公室里整理资料。从病区走廊里传来一阵对话声。“我叔叔血压已经180/105毫米汞柱了,你们为什么还不给降压?”像是病人家属在发问。“刚刚查过房,医生不用降
“为政之要,惟在得人。”坚决防止和克服用人上的不正之风,历来是我们党高度重视并着力解决的一个重大问题。《廉政准则》第四条对党员领导干部在行使用人权力方面提出了明确
一、选题的背景:   1978年以来,伴随中国经济的持续高增长,对外贸易也取得了长足的进展,货物贸易额从1978年位居世界第29位,到2004年提升到第3位并保持至今,出口额已经位居世界
我是一名外科医生,在与癌症病人打交道中,出于职业的需要,无论面临何种险境均能保持着应有的冷静。然而,当你得知自己或是亲人也身患癌症时,又是用怎样的心情去面对它呢?我
假日里,我回乡下看望父母,邻居王大婶听说我回来了,就来问我:“我贫血1年多了,血压还有些高,这儿的大夫说是营养性贫血,给我开了叶酸、硫酸亚铁片,以及一些补血的口服液,已
股票市场与经济增长之间的关系是经济学界中极富争议性的一个话题,而股票价格是否能反映国民经济状况,也是当前研究的热点问题。为了在一定程度上认识股票价格指数是否反映了国
“拉着农民兄弟的手,跟着市场走”,电视农村栏目特色鲜明,对象性强,易于农村观众接受.尤其是地市级电视媒体,与中央、省级电视台相比,更容易把节目做深做细,更容易贴近农民观
借你一双慧眼,识别“强调句型”
一般来说,图书馆的管理工作涉及到很多方面,但无论哪方面的运行都需要以读者为中心,为读者服务.可以说,图书馆的最基本智能是以“读者”为本.这样看来,在图书馆的管理流程方