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

Active Publication Date: 2017-11-21
BEIHANG UNIV
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

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.

Method used

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
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A Requirement Verification Method Based on rucm

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0049] Preferred embodiments of the present invention will be specifically described below in conjunction with the accompanying drawings, wherein the accompanying drawings constitute a part of the application and are used together with the embodiments of the present invention to explain the principle of the present invention.

[0050] A requirement verification method based on RUCM, specifically comprising the following steps:

[0051] Step 1. Input the requirement in the requirement description server, and the requirement description server uses the RUCM method to generate a semi-formal requirement expression.

[0052]The verification process omits the activities of preprocessing requirement documents and parsing construction models in the general verification process. By using the structured use case templates and restriction rules already defined by RUCM, the requirements have become a regular form during modeling without redefining the style, format language, and processin...

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

PUM

No PUM Login to view more

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.

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

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F17/50
Inventor 吴际张莹杨海燕任健
Owner BEIHANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap