An anomaly detection method based on data stream analysis

A data flow analysis and anomaly detection technology, which is applied in the direction of electrical digital data processing, error detection/correction, software testing/debugging, etc., can solve problems such as interference of data flow test results, and achieve the effect of solving quality assurance and ensuring correctness

Inactive Publication Date: 2019-03-29
HOHAI UNIV
View PDF5 Cites 30 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Data flow testing is a necessary and effective quality assurance technique, and if there are basic -u (variable use undefined) and d- (definition unused) data flow exceptions in the definition of BPEL process, the result of data flow testing will be disturbed by these anomalies

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
  • An anomaly detection method based on data stream analysis
  • An anomaly detection method based on data stream analysis
  • An anomaly detection method based on data stream analysis

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0020] Such as figure 1 As shown, an anomaly detection method based on data flow analysis includes the following steps:

[0021] (1) Using the extended control flow graph XCFG to abstractly describe the BPEL process;

[0022] (2) Analyze the data flow of the BPEL process based on XCFG;

[0023] (3) Detect whether there is -u abnormality in the BPEL process based on the data flow analysis result;

[0024] (4) Detect whether there is d-abnormality in the BPEL process based on the data flow analysis results.

[0025] Such as figure 2 As shown, in step (1), the specific method of using the extended control flow graph XCFG to abstractly describe the BPEL process is as follows: parse BPEL into a BPEL object model BOM; based on the BOM, use XCFG elements PL and V to describe partner links and variables in BPEL; Traverse the active objects in the BOM model, create XCFG nodes to represent BPEL activities, and create XCFG edges E according to the semantics of BPEL structured activi...

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 an anomaly detection method based on data flow analysis, comprising the following steps: (1) describing a BPEL process abstractly by using an extended control flow graph XCFG;(2) analyzing the data flow of BPEL process based on XCFG; (3) detecting whether there is a -u exception in the BPEL process based on the data stream analysis result (variable use is undefined);; (4)detecting whether there is a d- exception in the BPEL process based on the data flow analysis result (variable definition is not used). The invention has the advantages that the data flow of the BPELprocess is analyzed based on the extended control flow graph XCFG, and the -u anomalies and d- anomalies existing in the process are detected to ensure the correctness of the BPEL combined service andsolve the problem of quality assurance;; Compared with the traditional data stream anomaly detection method, the invention aims at the novel BPEL software paradigm, and considers the language characteristics that the traditional software does not have. In addition, the results of data flow analysis in this process can also serve for the use case design of BPEL composite service data flow test.

Description

technical field [0001] The invention relates to the field of software analysis, in particular to an abnormal detection method based on data flow analysis. Background technique [0002] BPEL is an XML-based service orchestration description language. Based on the BPEL specification, the interaction between Web services and the execution sequence of the interaction can be defined. Service integrators can combine existing services to achieve more complex and powerful functions. . BPEL technology realizes the value-added and consumption of services, and is highly valued in both industry and academia. [0003] Like traditional software, the definition of BPEL programs is error-prone. Based on the complex characteristics of the BPEL language, how to ensure the correctness of the BPEL process to improve the quality of composite services is very important. Considering that the definition of control flow in program design is to realize correct data flow, the correctness of data fl...

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 Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3692
Inventor 吉顺慧马魏张鹏程
Owner HOHAI 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