RUCM based demand verification method

Abstract

The invention relates to an RUCM based demand verification method. The demand verification method specifically comprises the following steps of: inputting a demand, and generating a semi-formal demand expression mode by adopting an RUCM method; defining the content needed to be to be verified; parsing natural language description characters of the demand, defining elements in an RUCM model in a meta model, and showing the demand in a mode of an RUCM meta model example; based on the content needed to be to be verified, carrying out automatic verification on the RUCM meta model example by virtue of an automatic verification engine; and estimating an automatic verification result, correspondingly modifying the demand if the estimation result does not meet the demand, and repeating the steps. According to the demand verification method, on the premise of ensuring the partial flexibility of natural language description demand, the automatic verification is realized, the manpower is reduced, and the cost is lowered; and meanwhile, the customizable and extensible automatic verification engine can meet partial verification demand, aiming at a specific item, of a user and also can be extended along with the RUCM method or more verification demands.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to a requirement verification method based on RUCM. Background technique [0002] Requirements describing the behavior, characteristics or attributes of a software system are the bridge between users and developers. Accurate and complete requirements are the fundamental basis for guiding the subsequent modeling, analysis, development and testing of the system. In requirements engineering, requirements verification It is an important activity to ensure the quality of requirements, and it can help demanders find problems in requirements. [0003] Currently, requirements verification activities include manual review and automated verification. Manual review is to check requirements through manual inspection combined with a list of questions, and automated verification is to verify requirements through automatic verification tools corresponding to the requirements description method....

AI Technical Summary

Problems solved by technology

[0019] In view of the above analysis, the present invention aims to provide a requirement verification method based on RUCM to solve the problem that RUCM in the prior art is insufficiently formalized for automated verification methods, and strict formalization is required for personnel modeling It brings challenges; at the same time, the general verification method cannot find the problem of individual projects, and the partial modification of the requirement description method makes the verification tool need to be greatly modified.

Images