Dissertation > Excellent graduate degree dissertation topics show

Research on Software Fault Detection and Repair Based on Invariants

Author: WangYanNi
Tutor: MaoXiaoGuang
School: National University of Defense Science and Technology
Course: Computer Science and Technology
Keywords: software dependability software failure fault detection fault recover
CLC: TP311.52
Type: Master's thesis
Year: 2010
Downloads: 46
Quote: 0
Read: Download Dissertation

Abstract


With the explosion of software size and complexity, the traditional methods to enhance the software dependability are not sufficient. The researchers pay more attention on the health management of runtime software, the aim of which is to assure the state of software runtime complaint with the anticipation of users. Fault detection and recover is an efficient way in the scope of software health management.This dissertation surveys the research about fault detection and fault recover and discusses the relative merits of every method. A new framework of fault detection and recover is proposed in this dissertation. The main idea of the framework is that we first choose a specification language to define the properties of runtime software, second generate the fault detection code based on the specification, then intrude the detection code in the original program to monitor the software execution, and call the recover module to recover the faults being detected.The program invariants which are a typical specification have been successfully used in static checking, program verification, software testing, assertion checking et al. Because of the development of program analysis, some tools have been invented to generate program invariants automatically. So this dissertation researches the fault detection and recover based on invariants.This dissertation discusses the techniques about the generation of invariants, the generation of fault detection code, and the fault recover method. Based on these techniques, the tool of fault detection and recover is realized. The experiments show the effectiveness of the tool.Researchers keep on pursuing the reducing of software failure, and fault detection and recover is an effective way to reduce the software failure. The tools of fault detection and recover based on invariants will make positive influence on enhancing the software dependability.

Related Dissertations

  1. Research on the Technology of Fault Detection under the Mobile Computing Environment,TP338.8
  2. Design of Solar Water Hearter Heating Control System,TP273
  3. Simulation Research on Fault Detection Methods of Networked Control Systems,TP273
  4. WAN-based disaster recovery storage system fault detection technology Research and Design,TP333
  5. Robust Fault Estimation and Active Fault Tolerant Control for Uncertain System,TP13
  6. Protection of 20kV line to ground,TM862
  7. Helicopter transmission chain fault diagnosis and health management system design and key technology research,V267
  8. Auto pedal control mechanism assembly test rig design and its key technologies,U467.5
  9. Research on Automatic Online Specification Mining,TP311.52
  10. Research on the Detection Methods of Wind Farm Grid Voltage Faults,TM614
  11. The Development of Teaching Software on DF5D Internal-Combustion Locomotive’s Electric-Drive System,U262.33-4
  12. The Design and Implementation of Fault Tolerance System in the Distributed Storage System,TP302.8
  13. Research on the Inverter High Fault Tolerance Control Method,TM921.51
  14. PLC-based mine local ventilation monitoring and alarm systems research,TP277
  15. Redundant Configuration and Fault Management Scheme of Strapdown System,V241.5
  16. Detection of Broken Rotor Bar Fault in Inverter Fed Induction Motors,TM343
  17. Fault Diagnosis System Design and Implementation,TP277
  18. Research and Design on the Malfunctional Monitor of the Servosystem of CN Tool Based on ARM7,TG659
  19. A new type of power system fault current limiter research,TM46
  20. Network-based fault detection of intelligent flow meter,TH165.3

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile