[发明专利]一种基于流程模型的需求验证方法

摘要

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

主权项

1.一种基于流程模型的软件需求验证方法，其特征在于，具体包括以下步骤：步骤S1、根据规则对象的类别将规则加载进规则库中；所述规则从嵌入式软件的功能性、安全性和实时性三个角度进行限定；功能性限定针对系统的功能或者系统的组成部分，关注的功能性问题是需求功能性描述是否规范；安全性限定针对保障系统的安全性，关注的安全性问题是数据使用的安全性；实时性限定针对系统对于时间约束的满足，关注的实时性问题是时长和时间点的约束；步骤S2、根据需求生成流程模型；步骤S3、找出流程模型中的模型元素；步骤S4、依据规则约束对模型元素进行判定。