[發明專利]基于形式分析驅動的需求規格書的演化方法

無效

• 申請號: 201010254931.6
• 申請日: 2010-08-13
• 公開（公告）號: CN101996163A
• 公開（公告）日: 2011-03-30
• 發明（設計）人: P·薩姆帕思;P·V·V·賈內桑;A·A·賈卡里;R·塞圖
• 申請（專利權）人: 通用汽車環球科技運作公司
• 主分類號: G06F17/22
• 分類號: G06F17/22
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 原紹輝

1.一種用于開發規格書的方法，所述方法包括如下步驟：

接收限定了所述規格書功能的多個需求，其中，使用形式模型來表達所述多個需求；

使用形式分析來對所述多個需求進行仿真；

確定所述多個需求是否滿足一組預定準則；

產生所述形式分析的總結；以及

如果所述一組預定準則中的至少一個準則未被滿足，則修改所述多個需求中的至少一個需求。

2.如權利要求1所述的方法，其特征在于，進一步包括修改所述產生的總結，并且使用所述被修改的總結作為規格書條目，由此改進所述規格書。

3.如權利要求2所述的方法，其特征在于，進一步包括使用由所述形式分析提供的反饋來迭代地改進所述規格書。

4.如權利要求3所述的方法，其特征在于，利用所述被修改的總結來重復下述步驟：對所述多個需求進行仿真、確定所述需求是否滿足所述一組準則、以及產生總結。

5.如權利要求1所述的方法，其特征在于，所述形式分析的總結指示了所述多個需求是否滿足所述一組預定準則。

6.如權利要求1所述的方法，其特征在于，使用形式分析來對所述多個需求進行仿真包括使用至少一個算法來分析所述需求。

7.如權利要求1所述的方法，其特征在于，確定所述多個需求是否滿足一組預定準則包括確定所述需求是否具備下列中的至少一個：完整、正確、一致、以及無歧義。

8.如權利要求1所述的方法，其特征在于，進一步包括修改所述需求中不滿足所述一組預定準則的部分。

9.一種方法，包括如下步驟：

接收限定了規格書的功能的多個需求，其中，使用形式模型來表達所述多個需求；

使用形式分析來檢測所述多個需求的缺陷；

產生包括了所述形式分析的結果的總結；以及

通過將所述形式分析的結果作為規格書條目并入所述規格書中來改進所述多個需求。

10.一種用于開發規格書的系統，所述系統包括：

構造成接收多個需求的數據庫；以及

構造成使用形式分析來對所述多個需求進行仿真的分析引擎，其中，所述形式分析識別出所述需求中的缺陷；

其中，所述需求被改進以改正所述缺陷，并且所述被改進的需求被并入所述規格書中。