Process model-based demand verification method
A process model and verification method technology, applied in the computer field, can solve the problems of lack of automatic verification of requirements, etc., and achieve the effect of automatic verification, simple verification activities, and reduced manpower
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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, ...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
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