[发明专利]一种基于RUCM的需求验证方法

摘要

本发明涉及一种基于RUCM的需求验证方法，具体包括以下步骤输入需求，采用RUCM方法生成半形式化的需求表达方式；对需验证的内容进行定义；解析需求的自然语言描述文字，在元模型中定义RUCM模型中的元素，将需求以RUCM元模型实例的方式表现出来；自动化验证引擎基于需验证的内容，对RUCM元模型实例进行自动化验证；对自动化验证结果进行评估，如果评估结果不满足，则对应修改需求，重复上述步骤。所述方法在保证自然语言描述需求的部分灵活性的前提下，实现自动化验证，减少人力，节约成本；同时，可定制可扩展的自动化验证引擎能够满足用户针对特定项目的部分验证需求，并且能够随着RUCM方法或更多的验证需求进行扩展。

主权项

一种基于RUCM的需求验证方法，具体包括以下步骤：步骤1、需求描述服务器根据输入的需求，采用RUCM方法生成半形式化的需求表达方式，进一步包括：对RUCM中的表示条件和状态的句式进行句子模式和条件状态表达式的形式化定义，为用户提供表达该类句型的方法；在模式和形式化定义时，结合条件状态表达的词库，提出多种可自动解析的句子模式和多个形式化定义的用词；步骤2、验证内容定义服务器对需验证的内容进行定义，即定义要验证的目标；步骤3、解析服务器解析需求描述服务器生成的需求表达方式的自然语言描述文字，在元模型中定义RUCM模型中的元素，将需求以RUCM元模型实例的方式表现出来；步骤4、自动化验证引擎基于验证内容定义服务器定义的需验证的内容，对解析服务器生成的RUCM元模型实例进行自动化验证；步骤5、评估服务器对步骤4的自动化验证结果进行评估，如果评估结果不满足要求，则对应修改需求，重复上述步骤。