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 test and maintain the system in the face of physical equipment as thin as a spider web.

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

Embodiment

[0027] refer to figure 1 , a method for testing a cyber-physical fusion system and checking the satisfaction of requirements, comprising the following steps:

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

[0029] 2) Modeling according to user needs: use the problem frame to model the user needs, and the model diagram drawn by the problem frame modeling is also called the problem map, which is composed of a group of machine domains, problem domains and requirements, clearly Express the interaction between computing components and physical components;

[0030]3) Extend the problem graph: add causality attributes and constraint attributes to the problem graph, expand the designed problem graph, and show the causal relationship between the shared phenomena in the problem graph, and at the same ti...

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