一种基于流程模型的需求验证方法

摘要

本发明涉及一种基于流程模型的软件需求验证方法，所述方法包括以下步骤：步骤S1、根据规则对象的类别将规则加载进规则库中；步骤S2、根据需求生成流程模型；步骤S3、找出流程模型中的模型元素；步骤S4、依据规则约束对模型元素进行判定。所述方法具有以下技术效果:省略了基于自然语言验证活动中的定义模型，预处理需求文档，解析出模型的活动，使得验证活动更简单；使得自动化验证方法对于输入需求的形式化程度没有过分的要求，节约了建模的成本；在保证自然语言描述需求的部分灵活性的前提下，实现自动化验证，减少人力，节约成本。

主权项

一种基于流程模型的软件需求验证方法，其特征在于，具体包括以下步骤：步骤S1、根据规则对象的类别将规则加载进规则库中；步骤S2、根据需求生成流程模型；步骤S3、找出流程模型中的模型元素；步骤S4、依据规则约束对模型元素进行判定。