基于模型检验的需求不一致研究

摘要：

为在软件需求分析阶段获得易于理解且一致性需求,在现有的研究基础上,提出一种基于自然语言与模型检验相结合的方法.将自然语言描述的需求按照子句的相似度进行划分,提取关键词转换成自动机模型,对转换后的模型使用SM V语言描述并用模型检验工具和方法对模型进行分析和验证,通过乘坐电梯的案例对此方法进行实验验证.实验结果表明,该方法能够高效验证系统需求并能根据反例修正可能出现的错误,为系统需求模型的一致性验证提供一种思路.

关键词：需求不一致、自然语言处理、需求相似度、自动机、模型检验

所属期刊栏目：42

分类号：TP301(计算技术、计算机技术)

在线出版日期：2021-01-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：127-135