[發(fā)明專(zhuān)利]一種系統(tǒng)需求優(yōu)先級(jí)排序結(jié)果的檢查方法和裝置

有效

• 申請(qǐng)?zhí)枺?/td>: 201711332604.6
• 申請(qǐng)日: 2017-12-13
• 公開(kāi)（公告）號(hào): CN107992287B
• 公開(kāi)（公告）日: 2020-10-13
• 發(fā)明（設(shè)計(jì)）人: 舒振;陳洪輝;劉俊先;羅雪山;羅愛(ài)民;蔡飛;陳濤
• 申請(qǐng)（專(zhuān)利權(quán)）人: 中國(guó)人民解放軍國(guó)防科技大學(xué)
• 主分類(lèi)號(hào): G06F8/10
• 分類(lèi)號(hào): G06F8/10
• 代理公司: 北京派特恩知識(shí)產(chǎn)權(quán)代理有限公司 11270
• 代理人: 蔣雅潔;張穎玲

1.一種系統(tǒng)需求優(yōu)先級(jí)排序結(jié)果的檢查方法，其特征在于，包括：

獲取待檢查需求優(yōu)先級(jí)序列和系統(tǒng)需求分析結(jié)果，根據(jù)所述待檢查需求優(yōu)先級(jí)序列和所述系統(tǒng)需求分析結(jié)果構(gòu)建需求項(xiàng)集和需求優(yōu)先關(guān)系集；所述需求項(xiàng)集包括全部的需求項(xiàng)，所述需求優(yōu)先關(guān)系集包括所述需求項(xiàng)中兩兩之間的需求優(yōu)先關(guān)系；

驗(yàn)證所述需求優(yōu)先關(guān)系集的非自反性，判斷所述需求優(yōu)先關(guān)系集中具有直接需求優(yōu)先關(guān)系的兩個(gè)所述的需求項(xiàng)是否存在矛盾；

若不存在矛盾，驗(yàn)證所述需求優(yōu)先關(guān)系集的一致性，判斷所述需求優(yōu)先關(guān)系集中具有間接需求優(yōu)先關(guān)系的兩個(gè)所述的需求項(xiàng)是否存在矛盾；

若不存在矛盾，驗(yàn)證所述需求優(yōu)先關(guān)系集的全序性，判斷所述需求項(xiàng)集中是否存在不具有所述需求優(yōu)先關(guān)系集中需求優(yōu)先關(guān)系的所述需求項(xiàng)；

若不存在，驗(yàn)證所述待檢查需求優(yōu)先級(jí)序列的有序性，判斷所述待檢查需求優(yōu)先級(jí)序列中全部的需求項(xiàng)之間的需求優(yōu)先關(guān)系是否與所述需求優(yōu)先關(guān)系集中的需求優(yōu)先關(guān)系吻合；

若是，則需求優(yōu)先級(jí)序列正確可行，基于該需求優(yōu)先級(jí)序列中各需求項(xiàng)的優(yōu)先級(jí)排序結(jié)果進(jìn)行信息系統(tǒng)開(kāi)發(fā)。

2.根據(jù)權(quán)利要求1所述的系統(tǒng)需求優(yōu)先級(jí)排序結(jié)果的檢查方法，其特征在于，所述驗(yàn)證所述需求優(yōu)先關(guān)系集的非自反性，判斷所述需求優(yōu)先關(guān)系集中具有直接需求優(yōu)先關(guān)系的兩個(gè)所述的需求項(xiàng)是否存在矛盾，包括：

若在所述需求優(yōu)先關(guān)系集中存在第一需求項(xiàng)優(yōu)先于第二需求項(xiàng)，則所述第一需求項(xiàng)與所述第二需求項(xiàng)為具有直接需求優(yōu)先關(guān)系的兩個(gè)所述的需求項(xiàng)；判斷在所述需求優(yōu)先關(guān)系集中是否存在所述第二需求項(xiàng)優(yōu)先于所述第一需求項(xiàng)的需求優(yōu)先關(guān)系；若存在，則所述第一需求項(xiàng)與所述第二需求項(xiàng)存在矛盾，修改所述需求優(yōu)先關(guān)系集。

3.根據(jù)權(quán)利要求1所述的系統(tǒng)需求優(yōu)先級(jí)排序結(jié)果的檢查方法，其特征在于，所述驗(yàn)證所述需求優(yōu)先關(guān)系集的一致性，判斷所述需求優(yōu)先關(guān)系集中具有間接需求優(yōu)先關(guān)系的兩個(gè)所述的需求項(xiàng)是否存在矛盾，包括：

若在所述需求優(yōu)先關(guān)系集中存在第三需求項(xiàng)優(yōu)先于第四需求項(xiàng)，所述第四需求項(xiàng)優(yōu)先于第五需求項(xiàng)，則所述第三需求項(xiàng)與所述第五需求項(xiàng)為具有間接需求優(yōu)先關(guān)系的兩個(gè)所述的需求項(xiàng)；判斷在所述需求優(yōu)先關(guān)系集中是否存在所述第五需求項(xiàng)優(yōu)先于所述第三需求項(xiàng)的需求優(yōu)先關(guān)系；若存在，則所述第三需求項(xiàng)與所述第五需求項(xiàng)存在矛盾，修改所述需求優(yōu)先關(guān)系集。

4.根據(jù)權(quán)利要求1所述的系統(tǒng)需求優(yōu)先級(jí)排序結(jié)果的檢查方法，其特征在于，在所述根據(jù)所述待檢查需求優(yōu)先級(jí)序列和所述系統(tǒng)需求分析結(jié)果構(gòu)建需求項(xiàng)集和需求優(yōu)先關(guān)系集之后，還包括：

根據(jù)所述需求項(xiàng)集和所述需求優(yōu)先關(guān)系集建立系統(tǒng)需求優(yōu)先關(guān)系矩陣D，所述系統(tǒng)需求優(yōu)先關(guān)系矩陣D的行和列為所述需求項(xiàng)集中全部的所述需求項(xiàng)，所述需求項(xiàng)集中的所述需求項(xiàng)的總數(shù)為M個(gè)；

在所述需求優(yōu)先關(guān)系集中，若所述系統(tǒng)需求優(yōu)先關(guān)系矩陣D的行對(duì)應(yīng)的所述需求項(xiàng)優(yōu)先于所述系統(tǒng)需求優(yōu)先關(guān)系矩陣D的列對(duì)應(yīng)的所述需求項(xiàng)，則所述系統(tǒng)需求優(yōu)先關(guān)系矩陣對(duì)應(yīng)的值為1，否則為0。

5.根據(jù)權(quán)利要求4所述的系統(tǒng)需求優(yōu)先級(jí)排序結(jié)果的檢查方法，其特征在于，所述驗(yàn)證所述需求優(yōu)先關(guān)系集的非自反性，判斷所述需求優(yōu)先關(guān)系集中具有直接需求優(yōu)先關(guān)系的兩個(gè)所述的需求項(xiàng)是否存在矛盾，還包括：

依次取出所述系統(tǒng)需求優(yōu)先關(guān)系矩陣D的每個(gè)元素d_ij，1≤i,j≤M；

若d_ij＝1，判斷所述系統(tǒng)需求優(yōu)先關(guān)系矩陣D中元素d_ji的值是否為0，若d_ji≠0，則元素d_ij對(duì)應(yīng)的兩個(gè)所述的需求項(xiàng)存在矛盾，不滿足非自反性要求；反之，不存在矛盾。