基于有限谓词追踪的民机系统需求一致性检查方法

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘 要：

针对民机安全关键系统在正向研发过程中，系统级需求的正确性难以在设计早期全部完成确认的问题，提出一种基于有限谓词追踪的功能需求一致性检查体系。首先，引入一阶逻辑中的谓词追踪，建立系统内部功能需求与交互功能需求形式化规约方法。其次，针对单条、多条需求内容正确性以及需求关系一致性，构建需求一致性检查形式化规约，开展需求自冲突、集冲突与需求关系一致性检验，并生成可解释的检查反例进行需求迭代。（剩余20588字）

试读结束

目录
monitor