Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

A Requirement Verification Method Based on Process Model

A technology of process model and verification method, which is applied in the computer field, can solve the problems of lack of automatic verification of requirements, etc., and achieve the effects of automatic verification, cost saving and manpower reduction

Active Publication Date: 2019-03-19
BEIHANG UNIV
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0025] In view of the above analysis, the present invention aims to provide a method for verifying software requirements based on a process model to solve the problem of lack of automatic verification of requirements in the prior art

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

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0059] 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.

[0060] This embodiment discloses a method for verifying software requirements based on a process model, which achieves the purpose of automatic verification by invoking a verification engine to perform model traversal, rule loading and execution.

[0061] Step S1, load the rules into the corresponding rule container according to the category of the rule object;

[0062] Wherein, the rules are stored in the rule base in the form of OCL language, specifically as follows:

[0063]The rules are proposed from the perspective of the process model corresponding to the requirements model of embedded software. In the rule-based requirements verification method, ...

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 method for verifying software requirements based on a process model. The method includes the following steps: step S1, loading rules into a rule base according to the category of rule objects; step S2, generating a process model according to requirements; step S3, finding Output the model elements in the process model; step S4, judge the model elements according to the rule constraints. The method has the following technical effects: the definition model in the verification activity based on natural language is omitted, the requirement document is preprocessed, and the activity of parsing the model makes the verification activity simpler; the automatic verification method is not overly formalized for the input requirement requirements, saving the cost of modeling; on the premise of ensuring partial flexibility of natural language description requirements, automatic verification is realized, manpower is reduced, and costs are saved.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to a requirement verification method based on a flow model. Background technique [0002] Requirements describe the behavior, characteristics or attributes of a software system, and 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. [0003] Currently, requirements verification activities are divided into manual review and automated verification. [0004] Manual review Check requirements through manual inspection combined with a list of questions. It can check out the problems in the requirements very well, does not have high requirements for the formalization of the requirements, and can well verify the requirements of ...

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): G06F8/20
CPCG06F8/10
Inventor 吴际赵晶鑫杨海燕刘超
Owner BEIHANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com