RUCM based demand verification method

A verification method and a required technology, applied in the computer field, can solve problems such as inability to discover individual items, changes in verification tools, and insufficient formalization, and achieve the effects of reducing manpower, reducing ambiguity, and saving costs

Active Publication Date: 2015-10-07
BEIHANG UNIV
View PDF3 Cites 12 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 requi

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
  • RUCM based demand verification method

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

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

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