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

摘要

本发明公开了一种系统需求优先级排序结果的检查方法，包括获取待检查需求优先级序列和系统需求分析结果，根据待检查需求优先级序列和系统需求分析结果构建需求项集和需求优先关系集；验证所述需求优先关系集的非自反性、一致性、全序性，并验证待检查需求优先级序列的有序性，从而完成对系统的需求优先级序列的检查验证。本发明所述方法能实现对复杂大型信息系统需求优先级排序结论的快速自动化验证。

主权项

一种系统需求优先级排序结果的检查方法，其特征在于，包括：获取待检查需求优先级序列和系统需求分析结果，根据所述待检查需求优先级序列和所述系统需求分析结果构建需求项集和需求优先关系集；所述需求项集包括全部的需求项，所述需求优先关系集包括所述需求项中两两之间的需求优先关系；验证所述需求优先关系集的非自反性，判断所述需求优先关系集中具有直接需求优先关系的两个所述的需求项是否存在矛盾；若不存在矛盾，验证所述需求优先关系集的一致性，判断所述需求优先关系集中具有间接需求优先关系的两个所述的需求项是否存在矛盾；若不存在矛盾，验证所述需求优先关系集的全序性，判断所述需求项集中是否存在不具有所述需求优先关系集中需求优先关系的所述需求项；若不存在，验证所述待检查需求优先级序列的有序性，判断所述待检查需求优先级序列中全部的需求项之间的需求优先关系是否与所述需求优先关系集中的需求优先关系吻合。