[發(fā)明專利]軟件規(guī)范開(kāi)發(fā)輔助方法以及軟件規(guī)范開(kāi)發(fā)輔助裝置

有效

• 申請(qǐng)?zhí)枺?/td>: 201310304712.8
• 申請(qǐng)日: 2013-07-19
• 公開(kāi)（公告）號(hào): CN103631710A
• 公開(kāi)（公告）日: 2014-03-12
• 發(fā)明（設(shè)計(jì)）人: 佐藤直人;石川貞裕;伊藤信治;宮崎邦彥;山口潔
• 申請(qǐng)（專利權(quán)）人: 株式會(huì)社日立制作所
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36;G06F9/44
• 代理公司: 北京銀龍知識(shí)產(chǎn)權(quán)代理有限公司 11243
• 代理人: 曾賢偉;曹鑫

1.一種輔助軟件規(guī)范開(kāi)發(fā)的軟件規(guī)范開(kāi)發(fā)輔助裝置，其特征在于，

具備：命題規(guī)范接受部，其經(jīng)由輸入部接受由具有多個(gè)條件的條件部以及具有多個(gè)結(jié)果的結(jié)果部組成的多個(gè)命題形式的規(guī)范；第1保存部，其保存多個(gè)命題形式的規(guī)范；規(guī)范檢查部，其根據(jù)所述第1保存部的命題規(guī)范判定所述多個(gè)命題形式的規(guī)范的各個(gè)規(guī)范是否相互矛盾或者重復(fù)，將其結(jié)果保存在第2保存部中；決定表生成部，其根據(jù)所述檢查的結(jié)果生成以表形式表示的決定表，所述表形式由各行表示所述多個(gè)條件之一或者所述多個(gè)結(jié)果之一，各列表示所述多個(gè)命題形式的規(guī)范的各個(gè)規(guī)范，

所述規(guī)范檢查部，對(duì)于從所述第1保存部取得的任意的作為檢查對(duì)象的命題形式的規(guī)范和其任意的作為比較對(duì)象的命題形式的規(guī)范，判定所述2個(gè)命題形式的規(guī)范是否矛盾或者重復(fù)，如果矛盾或者重復(fù)，則將所述作為檢查對(duì)象的命題形式的規(guī)范分解為與作為比較對(duì)象的命題形式的規(guī)范矛盾或者重復(fù)的命題形式的規(guī)范、以及與作為比較對(duì)象的命題形式的規(guī)范不矛盾且不重復(fù)的命題形式的規(guī)范，登錄在所述第2保存部中，

所述決定表生成部從所述第2保存部取得所述命題形式的規(guī)范的任意一方或者雙方，關(guān)于各個(gè)所述命題形式的規(guī)范，取出該命題形式的規(guī)范的條件部和結(jié)果部來(lái)生成所述決定表的行，將顯示范圍表示在與該命題形式的規(guī)范對(duì)應(yīng)的列的相應(yīng)行的欄中。

2.根據(jù)權(quán)利要求1所述的軟件規(guī)范開(kāi)發(fā)輔助裝置，其特征在于，

所述規(guī)范檢查部在作為檢查對(duì)象的命題形式的規(guī)范和成為其比較對(duì)象的命題形式的規(guī)范矛盾或者重復(fù)時(shí)，通過(guò)在所述作為檢查對(duì)象的命題形式的規(guī)范的所述條件部邏輯積結(jié)合在所述作為比較對(duì)象的命題形式的規(guī)范的所述條件部中出現(xiàn)的條件或者該條件的否定，來(lái)分解所述作為檢查對(duì)象的命題形式的規(guī)范。

3.根據(jù)權(quán)利要求1所述的軟件規(guī)范開(kāi)發(fā)輔助裝置，其特征在于，

還具備未定義規(guī)范檢查部，其針對(duì)接受的所述多個(gè)命題形式的規(guī)范檢查結(jié)果未定義的條件，

所述未定義規(guī)范檢查部通過(guò)將邏輯積結(jié)合了所述多個(gè)命題形式的規(guī)范的條件部的否定所得的規(guī)范變換為積和標(biāo)準(zhǔn)形，生成表示結(jié)果未定義的條件的命題形式的規(guī)范，

所述決定表生成部取得所述命題形式的規(guī)范的一部分或者全部，關(guān)于各個(gè)所述命題形式的規(guī)范，取出該命題形式的規(guī)范的條件部和結(jié)果部，生成所述決定表的行，將顯示范圍表示在與該命題形式的規(guī)范對(duì)應(yīng)的列的相應(yīng)行的欄中。

4.根據(jù)權(quán)利要求1所述的軟件規(guī)范開(kāi)發(fā)輔助裝置，其特征在于，

還具備：

制約接受部，其接受由具有1個(gè)或多個(gè)條件的前項(xiàng)和具有1個(gè)或多個(gè)條件的后項(xiàng)所組成的、表示多個(gè)條件間的制約關(guān)系的制約；以及

制約檢查部，其檢查是否有所述多個(gè)命題形式的規(guī)范不滿足所述制約的情況，

所述制約檢查部，當(dāng)從所述制約接受部取得所述制約時(shí)，判定是否有任意的作為檢查對(duì)象的命題形式的規(guī)范不滿足所述制約的情況，如果有不滿足的情況，則將所述作為檢查對(duì)象的命題形式的規(guī)范分解為不滿足制約的命題形式的規(guī)范和滿足制約的命題形式的規(guī)范。

5.根據(jù)權(quán)利要求4所述的軟件規(guī)范開(kāi)發(fā)輔助裝置，其特征在于，

所述制約檢查部，在作為檢查對(duì)象的命題形式的規(guī)范不滿足制約時(shí)，通過(guò)在所述作為檢查對(duì)象的命題形式的規(guī)范的所述條件部邏輯積結(jié)合在所述制約的前項(xiàng)或后項(xiàng)中出現(xiàn)的條件或者該條件的否定，來(lái)分解所述作為檢查對(duì)象的命題形式的規(guī)范。

6.根據(jù)權(quán)利要求2或5所述的軟件規(guī)范開(kāi)發(fā)輔助裝置，其特征在于，

所述決定表生成部在生成的決定表中，將追加到所述作為檢查對(duì)象的命題形式的規(guī)范中的條件與其它條件進(jìn)行區(qū)別顯示。

7.根據(jù)權(quán)利要求1所述的軟件規(guī)范開(kāi)發(fā)輔助裝置，其特征在于，

還具備策略保存部，其保存表示在所述命題形式的規(guī)范中成為決定表生成對(duì)象的命題形式的規(guī)范的條件和基于該決定表進(jìn)行的顯示方法的策略，

所述決定表生成部按照所述策略決定作為顯示對(duì)象的命題形式的規(guī)范和其顯示方法，并根據(jù)該決定的規(guī)范和顯示方法進(jìn)行所述決定表的顯示。

8.根據(jù)權(quán)利要求1所述的軟件規(guī)范開(kāi)發(fā)輔助裝置，其特征在于，

所述決定表生成部接受所述決定表的顯示范圍的修正輸入，生成修正完畢的決定表，

還具備規(guī)范置換部，其從所述修正完畢的決定表取出修正完畢的命題形式的規(guī)范，將成為修正前的決定表的基礎(chǔ)的修正前的命題形式的規(guī)范和所述修正完畢的命題形式的規(guī)范進(jìn)行置換。