航电系统需求合理性分析（初步版本）
软件工程
2015-10-12 v1
摘要
在过去的十年中，将软件需求形式化以提高用户期望的清晰度已成为一种常见做法。本工作基于功能需求可用时序逻辑表达这一事实，提出了新的合理性检查技术，可自动检测缺陷并改进给定需求。具体而言，我们描述并实验评估了一致性和冗余检查方法，这些方法能识别所有不一致性并精确定位其源头（最小不一致集）。我们进一步报告了在工业环境中应用一致性和冗余检查的经验。为完善合理性检查，我们还描述了一种半自动的完整性评估，能够评估用户需求的覆盖度并建议用户可能希望表述的缺失属性。我们的完整性评估的实用性在一个飞机控制系统的案例研究中得到了展示。
引用
@article{arxiv.1510.02669,
title = {Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)},
author = {Jiří Barnat and Petr Bauch and Nikola Beneš and Luboš Brim and Jan Beran and Tomáš Kratochvíla},
journal= {arXiv preprint arXiv:1510.02669},
year = {2015}
}