[发明专利]基于形式分析驱动的需求规格书的演化方法

权利要求书

1.一种用于开发规格书的方法，所述方法包括如下步骤：

接收限定了所述规格书功能的多个需求，其中，使用形式模型来表达所述多个需求；

使用形式分析来对所述多个需求进行仿真；

确定所述多个需求是否满足一组预定准则；

产生所述形式分析的总结；以及

如果所述一组预定准则中的至少一个准则未被满足，则修改所述多个需求中的至少一个需求。

2.如权利要求1所述的方法，其特征在于，进一步包括修改所述产生的总结，并且使用所述被修改的总结作为规格书条目，由此改进所述规格书。

3.如权利要求2所述的方法，其特征在于，进一步包括使用由所述形式分析提供的反馈来迭代地改进所述规格书。

4.如权利要求3所述的方法，其特征在于，利用所述被修改的总结来重复下述步骤：对所述多个需求进行仿真、确定所述需求是否满足所述一组准则、以及产生总结。

5.如权利要求1所述的方法，其特征在于，所述形式分析的总结指示了所述多个需求是否满足所述一组预定准则。

6.如权利要求1所述的方法，其特征在于，使用形式分析来对所述多个需求进行仿真包括使用至少一个算法来分析所述需求。

7.如权利要求1所述的方法，其特征在于，确定所述多个需求是否满足一组预定准则包括确定所述需求是否具备下列中的至少一个：完整、正确、一致、以及无歧义。

8.如权利要求1所述的方法，其特征在于，进一步包括修改所述需求中不满足所述一组预定准则的部分。

9.一种方法，包括如下步骤：

接收限定了规格书的功能的多个需求，其中，使用形式模型来表达所述多个需求；

使用形式分析来检测所述多个需求的缺陷；

产生包括了所述形式分析的结果的总结；以及

通过将所述形式分析的结果作为规格书条目并入所述规格书中来改进所述多个需求。

10.一种用于开发规格书的系统，所述系统包括：

构造成接收多个需求的数据库；以及

构造成使用形式分析来对所述多个需求进行仿真的分析引擎，其中，所述形式分析识别出所述需求中的缺陷；

其中，所述需求被改进以改正所述缺陷，并且所述被改进的需求被并入所述规格书中。