Research On The Method Of Resolving Requirement Inconsistency And Conflict Based On Model Checking

With the increase of the scale and complexity of software systems,the analysis and description of software requirements become more and more difficult.How to use effective technology and engineering methods to perform requirements description analysis and obtain high-quality software requirements has become An important research topic;this article discusses and studies how to eliminate the inconsistencies and conflicts in the process of software requirements analysis and description:For the problem of inconsistent demand,a similarity model of demand clause is proposed,and the problem of inconsistent positioning is solved using natural language similarity method.A complete set of methods for extracting and transforming natural language is proposed,which realizes the process of transforming from informal natural language description to semi-formal requirement description.For the extracted model,the tools and methods of model verification were used to verify,and the counterexamples generated by the verification were analyzed.For the problem of demand conflict resolution,this paper analyzes from different demand categories to solve the problem of single resolution method in the demand analysis.Propose a method based on demand correlation to eliminate functional requirements.The cost trade-off method is improved.The effect of different cost strategies on dissolving nonfunctional requirements is discussed and verified.An empirical method is proposed to solve non-measurable non-functional requirements.The optimal cost strategy method is used to solve measurable non-functional requirements.This paper verifies the inconsistency verification and eliminates the conflict of requirements through an example of an elevator model,and illustrates the reliability of the method.The results show that this paper has certain theoretical significance and practical value for finding software inconsistencies,eliminating conflicts in requirements,and improving the quality of software requirements.