[发明专利]一种信息系统需求优先级排序结果的检查方法

权利要求书

1.一种信息系统需求优先级排序结果的检查方法，其特征在于，包括以下步骤：

构建系统S的表达矩阵；

检查所述系统S表达矩阵中反对称规范程度；

检查可达矩阵全零行和全零列的个数；

检查所述系统S表达矩阵R(S)中序列的k次幂的循环性；

遍历需求优先级集合G中的需求优先关系(R_i,R_j)，判断在需求优先级排序结果中需求项R_i和需求项R_j的位置关系；

退出所述系统S。

2.根据权利要求1所述的一种信息系统需求优先级排序结果的检查方法，其特征在于，所述构建系统S的表达矩阵的步骤包括以下步骤：

依据系统需求项集T，获取所述系统S需求项的个数；

依据需求优先关系集G，判断需求项R的优先级关系。

3.根据权利要求1所述的一种信息系统需求优先级排序结果的检查方法，其特征在于，所述检查系统表达矩阵中反对称规范程度的步骤包括以下步骤：

遍历整个表达矩阵，寻找除对角线元素外元素值为1的元素；

交换下标位置，检查对称元素的值；

判断对称元素的值或矩阵中所有值；

得出结论，退出二歧性检验。

4.根据权利要求1所述的一种信息系统需求优先级排序结果的检查方法，其特征在于，所述检查可达矩阵全零行和全零列的个数的步骤包括以下步骤：

写出系统的表达矩阵，计算、获取可达矩阵；

按照行遍历方式遍历可达矩阵，获取可达矩阵中全零行个数；

按照列遍历方式遍历可达矩阵，获取可达矩阵中全零列个数；

判断全零行或全零列中个数为1的情况；

退出全序性检查。

5.根据权利要求1所述的一种信息系统需求优先级排序结果的检查方法，其特征在于，所述检查系统的表达矩阵R(S)中序列的k次幂的循环性的步骤包括以下步骤：

依据需求项和需求优先级关系写出该系统的表达矩阵R(S)；

计算R(S)²、R(S)³、…、R(S)^k的值；

判断R(S)²、R(S)³、…、R(S)^k中元素的值或者循环情况；

结束一致性检查。