Discovering method for defect mode in concurrent program

A defect mode and discovery method technology, applied in the field of software fault diagnosis, can solve problems such as false positives, inability to further judge whether the software execution is in the correct trajectory, poor mode quality, etc., to achieve the effect of improving execution efficiency

Active Publication Date: 2015-09-09
HUAZHONG NORMAL UNIV
View PDF4 Cites 9 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0002] It is difficult to find concurrent program defects. Generally, the cause of the fault can only be judged according to the log information, while the ordinary monitoring system only detects the software behavior and cannot further judge whether the execution of the software is on the correct track

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
  • Discovering method for defect mode in concurrent program
  • Discovering method for defect mode in concurrent program
  • Discovering method for defect mode in concurrent program

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0060] This implementation uses a PC equipped with Windows 7 operating system as a platform to develop a concurrent program defect detection program through MyEclipse. When the present invention is implemented, the user must install JDK above version 1.7 to obtain the new features provided by Java.

[0061] In addition, the following terms need to be defined:

[0062] (1) Monitoring site: refers to the status information when the monitored target program is running.

[0063] (2) Notification: Refers to the code that should be executed when a clearly defined point (access point) in program execution is triggered by program execution.

[0064] (3) The state of a concurrent program: refers to the state composed of the global state of all shared variables and the local state of each thread.

[0065] (4) Migration of concurrent programs: Refers to a visible operation performed by a thread to transfer the program from one state to the next.

[0066] (5) Vertical successful exec...

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 belongs to the field of software fault diagnosis and provides an autonomously discovering method for a defect mode in a concurrent program, particularly a defect mode discovering method for mining system execution traces by using sequential patterns. According to the technical scheme provided by the invention, based on a plugged concurrent program, the execution of threads are dynamically scheduled during the operation of the plugged concurrent program; program execution information is collected in real time; a program trace sequence is stored as required; the execution sequence is mined; and the program defect pattern is autonomously discovered.

Description

technical field [0001] The invention belongs to the field of software fault diagnosis, and is a method for autonomously discovering defect patterns of concurrent programs, in particular a method for discovering defect patterns using sequence pattern mining for system execution tracks. Background technique [0002] It is difficult to find concurrent program defects. Generally, the cause of the fault can only be judged according to the log information, while the ordinary monitoring system only detects the software behavior and cannot further judge whether the execution of the software is on the correct track (correct behavior). above. [0003] The monitoring program based on aspect-oriented programming can separate monitoring logic and business logic, and can easily obtain the execution track of a parallel program system. Based on the acquired execution trajectories of concurrent program systems, sequential pattern mining technology can be used to mine these trajectories, whi...

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): G06F11/36
Inventor 叶俊民李超曹洋洋叶竹君李蓉杨艳
Owner HUAZHONG 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