A Requirement Verification Method Based on rucm

A verification method and a required technology, applied in the computer field, can solve problems such as insufficient formalization, verification tool changes, and inability to discover individual items, etc., to achieve the effects of reducing manpower, reducing ambiguity problems, and saving costs
CN104965956BActive Publication Date: 2017-11-21BEIHANG UNIV
3 Cites 0 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Patents(China)
Current Assignee / Owner
BEIHANG UNIV
Publication Date
2017-11-21

Smart Images

  • Figure 1
    Figure 1
Patent Text Reader

Abstract

The present invention relates to a demand verification method based on RUCM, which specifically includes the following steps: inputting the demand, using the RUCM method to generate a semi-formal demand expression; defining the content to be verified; analyzing the natural language description text of the demand, in the element The elements in the RUCM model are defined in the model, and the requirements are expressed in the form of RUCM meta-model instances; the automatic verification engine automatically verifies the RUCM meta-model instances based on the content to be verified; evaluates the results of the automated verification, if the evaluation results are not If it is satisfied, then modify the requirements correspondingly and repeat the above steps. On the premise of ensuring partial flexibility of natural language description requirements, the method realizes automatic verification, reduces manpower, and saves costs; at the same time, the customizable and scalable automatic verification engine can meet users' partial verification requirements for specific projects, and can Scale with RUCM method or more validation needs.
Need to check novelty before this filing date? Find Prior Art

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....

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More