Test and demand satisfiability check method for information physical fusion system

A technology of cyber-physical fusion and demand satisfaction, applied in the field of cyber-physical fusion system testing, demand satisfaction inspection, and demand analysis, it can solve problems such as system testing and maintenance difficulties, achieve simple test work, facilitate maintenance, and improve efficiency. Effect

Inactive Publication Date: 2018-04-06
GUANGXI NORMAL UNIV
View PDF4 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, after the implementation of the CPS system, it becomes very difficult to te

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
  • Test and demand satisfiability check method for information physical fusion system
  • Test and demand satisfiability check method for information physical fusion system
  • Test and demand satisfiability check method for information physical fusion system

Examples

Experimental program
Comparison scheme
Effect test

Example Embodiment

[0026] Examples:

[0027] Reference figure 1 , A method for testing and requirement satisfaction testing of cyber-physical fusion system, including the following steps:

[0028] 1) Clarify user needs: analyze the sharing phenomenon between user needs and the causal relationship between sharing phenomena, combine the real scenes behind the needs, and understand the business process of the system;

[0029] 2) Modeling according to user needs: Use the problem framework to model user needs, and the model diagram drawn by the problem framework modeling is also called problem diagram. It is composed of a set of machine domains, problem domains and requirements, clearly Expresses the interaction between computing components and physical components;

[0030] 3) Expand the problem diagram: add causal relationship attributes and constraint attributes to the problem diagram, expand the designed problem diagram, and show the causal relationship between the shared phenomena in the problem diagram,...

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 discloses a test and demand satisfiability check method for an information physical fusion system. The method is characterized by comprising the following steps of 1) clearly determininga user demand; 2) according to the user demand, performing modeling; 3) expanding a problem graph; 4) according to a casual relationship, generating causal relationship chains; 5) generating a test sequence; and 6) generating a CSP script. According to the method, the causal relationship chains are found in demand modeling by adopting the causal relationship, and the complex demand can be split into multiple sub-demands, so that the problem scale is reduced; and the demand satisfiability is verified through a mathematic formula, so that the preciseness is achieved and the automation level isimproved.

Description

technical field [0001] The invention relates to a requirement analysis technology in the field of software engineering, in particular to a method for testing a cyber-physical fusion system and checking the satisfaction of requirements. Background technique [0002] Cyber-Physical System (CPS for short) is a tight integration of a series of computing processes and physical processes. It realizes deep fusion and real-time interaction through the feedback loop of the mutual influence of computing processes and physical processes to monitor the physical entity. The physical entity realizes the perception and control of the environment with the help of network and computing components. According to different functions and domains, the CSP system integration model can be divided into three parts: physical entity, computing entity and interactive entity. Since we are now in the era of big data, cyber-physical fusion systems are becoming more and more complex, and modeling and simu...

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): G06F8/10G06F11/36
CPCG06F8/10G06F11/3684
Inventor 李智付昌兰张晓赵子岩禹月昆王超
Owner GUANGXI NORMAL 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