基于形式分析驱动的需求规格书的演化方法

摘要

本发明涉及基于形式分析驱动的需求规格书的演化方法。具体地，提供了一种用于开发规格书的方法，其包括接收限定了规格书的功能的多个需求，其中，使用形式模型表达多个需求。该方法还包括使用算法分析多个需求并且确定多个需求是否满足一组预定准则。该方法还包括产生形式分析的总结并且通过并入被改正的分析结果来改进需求。

主权项

一种用于开发规格书的方法，所述方法包括如下步骤：接收限定了所述规格书功能的多个需求，其中，使用形式模型来表达所述多个需求；使用形式分析来对所述多个需求进行仿真；确定所述多个需求是否满足一组预定准则；产生所述形式分析的总结；以及如果所述一组预定准则中的至少一个准则未被满足，则修改所述多个需求中的至少一个需求。