Software system fault detection method based on dynamic description logic and case-based reasoning

A technology of dynamic description logic and fault detection, applied in the field of software systems, can solve problems such as insufficient consideration of semantic information, and achieve the effect of reducing redundancy, improving matching efficiency, and reducing complexity

Inactive Publication Date: 2015-04-08
GUILIN UNIV OF ELECTRONIC TECH
View PDF2 Cites 11 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] What the present invention aims to solve is the problem that the fault detection method of the existing software system does not consider enough semantic information in the dynamic software system, and provides a software system fault detection method based on dynamic description logic and case reasoning

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
  • Software system fault detection method based on dynamic description logic and case-based reasoning
  • Software system fault detection method based on dynamic description logic and case-based reasoning
  • Software system fault detection method based on dynamic description logic and case-based reasoning

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0019] A software system fault detection method based on dynamic description logic and case reasoning, comprising the following steps:

[0020] Step 1, use the dynamic description logic of the dynamic dimension to describe the problems encountered in the process of program operation, that is, the execution of the program is regarded as the action of state transition, the state transition is regarded as caused by the action, and the state transition Add semantic information;

[0021] Step 2, use the problems encountered during the running of the current program as a new case, and use the state and action sequence of the new case as the input of this case retrieval;

[0022] Step 3: Calculate the similarity between the state of the new case and the cases in the case base, and select the case from the case base whose similarity with the new case reaches the state similarity matching threshold, and store it in the preliminary result set; if the case If the similarity between all ...

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 software system fault detection method based on dynamic description logic and case-based reasoning. Based on states, an action theory of the dynamic description logic is adopted to describe the problem, execution of a program function module is regarded as an action changing the states, state conversion is regarded as change caused by the action, semantic information between the states is added, and the modeling complex is reduced. Fault cases are managed by combining the description capacity and reasoning capacity of the dynamic description logic and a case-based reasoning technology, and experience support for the method is provided for solution of new faults to be occurred of a system. Case retrieval matched with action sequences is added to improve the precision ratio of the case retrieval of the system faults. After faults occur in the operation process of the system and by means of the software system fault detection method, similar fault cases are found out through state switching sequences operated by software and corresponding repair measures are provided.

Description

technical field [0001] The invention relates to the technical field of software systems, in particular to a software system fault detection method based on dynamic description logic and case reasoning. Background technique [0002] With the improvement of software technology and the continuous expansion of software application fields, more complex technical systems need to be controlled by software. In today's software applications, it is necessary to pay more attention to the correctness, reliability, performance, privacy, usability, confidentiality and security of software systems and other trusted properties. The trusted software system proposed in the software field refers to a stable software system with fault tolerance. That is, in the case of system errors, the system can still provide correct services. If the fault-tolerant function is realized in the development stage of the system, the reliability of the system can be improved. In the process of realizing a trus...

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
Inventor 常亮谷宇奇李凤英徐周波古天龙
Owner GUILIN UNIV OF ELECTRONIC TECH
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