基于模型检验的需求不一致与冲突消解的研究
摘 要
随着软件规模的增大，软件需求分析也变的越来越重要，使用目前的一些建模和分析方法有一定的效果，但在理论和实践方面还存在着描述的需求不一致、变更困难等问题，本文针对这些问题进行了以下研究：
为了发现需求描述中的不一致问题，首先使用自然语言对需求描述进行相似度计算，为模型检验提供定位策略。然后，通过对自然语言的分解提取，形成自动机模型，自动机模型和属性规约同时交由模型检验工具进行验证，最后，由模型检验工具得出与属性规约一致或者不一致的地方。
为了对发现的需
《基于模型检验的需求不一致研究与消解》-26872字.docx