Model-based robustness testing for avionics-embedded software
摘要
为安全批评的嵌入的软件测试的坚韧性仍然是在它的初生的阶段的挑战。在这份报纸，我们建议实际方法论并且由采用为嵌入的软件系统测试的基于模型的坚韧性实现环境。它是嵌入的软件的差错行为被测试环境的可执行的模型驱动的 hardware-in-loop (HIL ) 的支持在基于模型的差错注射的帮助下在触发的一条系统级的黑盒子的测试途径。基于建议途径测试环境的坚韧性的原型实现被工业案例研究试验性地基于几个嵌入电子设备的软件系统讨论并且说明。我们测试方法和环境的建议并且实现的坚韧性是有效的发现更多的臭虫，并且减少测试的负担的结果表演设计提高严峻的任务的效率，特别为测试复杂嵌入的系统。
引用本文（GB/T 7714）
Yang Yang, Shunkun, Liu, 等. Model-based robustness testing for avionics-embedded software[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2013.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。