基于功能需求的航空电子自动化测试
软件工程
2017-07-06 v1
摘要
我们提出并演示了一种利用 DO-178 指南减少安全关键软件开发中测试工作的方法。我们通过将有限模型检测（BMC）应用于形式化低层需求来实现这一点，从而自动生成足以替代现有劳动密集型测试编写过程且保持与实现产物独立性的测试。鉴于现有手动过程通常具有经验性和主观性，我们首先形式化定义一个度量，该度量将代码覆盖分析策略中公认的最佳实践扩展至生成充分覆盖需求的测试。随后我们阐述了自动化测试生成过程，并在与工业合作伙伴的案例研究中应用了其原型。综上所述，此处开发的方法被证明能显著减少 DO-178 指南下软件产品合格鉴定的人力投入。
引用
@article{arxiv.1707.01466,
title = {Functional Requirements-Based Automated Testing for Avionics},
author = {Youcheng Sun and Martin Brain and Daniel Kroening and Andrew Hawthorn and Thomas Wilson and Florian Schanda and Francisco Javier Guzman Jimenez and Simon Daniel and Chris Bryan and Ian Broster},
journal= {arXiv preprint arXiv:1707.01466},
year = {2017}
}