[發(fā)明專利]表形式軟件規(guī)格制作支援方法及裝置

有效

• 申請?zhí)枺?/td>: 201210018995.5
• 申請日: 2012-01-20
• 公開（公告）號: CN102707938A
• 公開（公告）日: 2012-10-03
• 發(fā)明（設計）人: 佐藤直人;來間啟伸;三部良太;石川貞裕;只野完二;齋藤浩
• 申請（專利權(quán)）人: 株式會社日立制作所
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 永新專利商標代理有限公司 72002
• 代理人: 陳萍;高迪

1.一種支援軟件規(guī)格的開發(fā)的裝置，其特征在于，具備：

命題規(guī)格接受單元，接受由具有多個條件的條件部以及具有多個結(jié)果的結(jié)果部構(gòu)成的多個命題形式的規(guī)格；

決定表制作單元，根據(jù)上述多個命題形式的規(guī)格，制作決定表，該決定表由如下的表形式來表示：各行表示上述多個條件中的一個或上述多個結(jié)果中的一個，各列表示上述多個命題形式中的各個命題形式；以及

相容性驗證單元，判斷上述多個命題形式的規(guī)格中的各個命題形式的規(guī)格是否相互不矛盾；

上述決定表制作單元若從上述命題規(guī)格接受單元取得上述多個命題形式的規(guī)格，則對于上述多個命題形式的規(guī)格中的各個命題形式的規(guī)格，取出該命題形式的規(guī)格的條件部和結(jié)果部并制作上述決定表的行，對與該命題形式的規(guī)格對應的列中該行的欄附加標記；

上述相容性驗證單元從上述決定表中取出多個命題形式的規(guī)格中的任意兩個命題形式的規(guī)格，判斷上述兩個命題形式的規(guī)格的條件部的邏輯積是否為可滿足，若為可滿足，則輸出上述多個命題形式的規(guī)格中的各個命題形式的規(guī)格相互矛盾。

2.如權(quán)利要求1記載的裝置，其特征在于，

若上述命題規(guī)格接受單元接受新的命題形式的規(guī)格，并且上述決定表制作單元從上述命題規(guī)格接受單元取得上述新的命題形式的規(guī)格，則上述決定表制作單元取出上述新的命題形式的規(guī)格的條件部和結(jié)果部，并插入上述決定表的行。

3.如權(quán)利要求1記載的裝置，其特征在于，還具備：

條件限制接受單元，接受表示多個條件間的限制關(guān)系的條件限制，該條件限制由具有一個或多個條件的必要條件部和具有一個或多個條件的充分條件部構(gòu)成；以及

條件限制檢查單元，檢查上述多個命題形式的規(guī)格是否滿足上述條件限制；

上述條件限制檢查單元若從上述條件限制接受單元取得上述條件限制，則對于上述決定表的各列，在該列的命題規(guī)格具有構(gòu)成上述條件限制的充分條件部的多個條件中的全部條件、且該命題規(guī)格的結(jié)果部和上述條件限制的必要條件部不可能同時成立的情況下，從上述決定表中刪除該列。

4.如權(quán)利要求1至3中任一項記載的裝置，其中，

還具備任意值記號置換單元，該任意值記號置換單元對于上述決定表的多個列中的、僅條件部的一部分不同且結(jié)果部相同的多個列，將該多個列綜合為一個列，并用表示任意值的記號置換上述條件部的上述一部分。

5.如權(quán)利要求1至3中任一項記載的裝置，其特征在于，

根據(jù)上述決定表，生成滿足該決定表的規(guī)格的軟件程序。

6.如權(quán)利要求1記載的裝置，其特征在于，

上述相容性驗證單元利用可滿足性問題解決器，判斷上述邏輯積是否為可滿足。

7.一種支援軟件規(guī)格的開發(fā)的裝置中的軟件規(guī)格開發(fā)支援方法，其特征在于，

上述裝置具備：

命題規(guī)格接受單元，接受由具有多個條件的條件部以及具有多個結(jié)果的結(jié)果部構(gòu)成的多個命題形式的規(guī)格；

決定表制作單元，根據(jù)上述多個命題形式的規(guī)格，制作決定表，該決定表由如下的表形式來表示：各行表示上述多個條件中的一個或上述多個結(jié)果中的一個，各列表示上述多個命題形式中的各個命題形式；以及

相容性驗證單元，判斷上述多個命題形式的規(guī)格中的各個命題形式的規(guī)格是否相互不矛盾；

上述方法包括如下步驟：

上述決定表制作單元若從上述命題規(guī)格接受單元取得上述多個命題形式的規(guī)格，則對于上述多個命題形式的規(guī)格中的各個命題形式的規(guī)格，取出該命題形式的規(guī)格的條件部和結(jié)果部并制作上述決定表的行，對與該命題形式的規(guī)格對應的列中該行的欄附加標記；以及

上述相容性驗證單元從上述決定表取出多個命題形式的規(guī)格中的任意兩個命題形式的規(guī)格，判斷上述兩個命題形式的規(guī)格的條件部的邏輯積是否為可滿足，若為可滿足，則輸出上述多個命題形式的規(guī)格中的各個命題形式的規(guī)格相互矛盾。

8.如權(quán)利要求7記載的方法，其特征在于，

若上述命題規(guī)格接受單元接受新的命題形式的規(guī)格，并且上述決定表制作單元從上述命題規(guī)格接受單元取得上述新的命題形式的規(guī)格，則上述決定表制作單元取出上述新的命題形式的規(guī)格的條件部和結(jié)果部，并插入上述決定表的行。