Dissertation > Excellent graduate degree dissertation topics show

Fault Location Research Based on Model Checking

Author: LiMing
Tutor: YeJunMin
School: Central China Normal University
Course: Computer Software and Theory
Keywords: Bytecode Model validation Abstract interpretation Reverse Mapping
CLC: TP311.52
Type: Master's thesis
Year: 2010
Downloads: 125
Quote: 0
Read: Download Dissertation

Abstract


The failure of the software to run the software fault localization is very difficult. Traditional software localization method is a combination of testing techniques, the use of targeted testing, found that specific defects in the software re-use other assistive technology to identify the cause of the fault and locate the fault, these the positioning methods mainly depends on the developer's experience, complex process, dependence and versatility is not higher defect exist, can not meet the requirements of software failure automatic positioning. Formal Methods research software automatic fault localization method based on formal methods, model validation with its high efficiency, automation advantages of it being used in more and more areas. Model validation is an important method to verify its temporal logic properties of finite-state migration system, model validation process is fully automated, it is very suitable for the requirements of the verification of complex systems in nature. To model validation techniques used in fault location technology can support software fault to some extent, automatic positioning research, so as to become an important means to improve software reliability. The need for software fault automatic positioning of a software fault localization method based on model validation, and the basis of this method gives a fault locator prototype system framework and partially automated. Experimental results show that this method can greatly reduce the scope of the review of the code in the fault location process, able to quickly and efficiently locate software failure, and thus provides a new approach for software fault localization. The main work of this article includes the following sections: 1) the establishment of the support in the form of software fault localization model. The software model validation process to complete the detailed design of data structures and algorithms involved in the modeling process from the software source code to the form of software model and algorithm performance. 2) fault locating method based on model validation study. Established a framework of fault location system modeling - validation - positioning process, the basis of modeling, model validation tool semantic conversion, write verification procedures for model validation tools to verify the nature of the construct to be formalized formula the the counterexample path to the application model validation tool test model, combined with the abstract model analysis counterexample path information, correspondence between the abstract model and system status, counter-examples to explain reverse mapping modeling process, and ultimately the fault location. 3) model validation method for fault location test. Access to shared resources on a multi-threaded Java source code, 2) model validation method for fault location test, and analyze the advantages and disadvantages of using the method of fault location.

Related Dissertations

  1. Application Research of Feed Balance and Animal Precision Management Model on Sheep Production in Sunan County,S826
  2. Research on Classified Validation of Complex Structure Model,TB115
  3. Context of information technology quality of rural life empirical research,F224;F320
  4. Validation Methods and Assistant Tools Based on Coherence of Data,N945.13
  5. Effects of Infilled Wall on RC Frame Structural Collapse and Anti-Collpse Measures,TU375.4
  6. Of small and medium banks internal credit risk rating of,F832.3
  7. Studies on Status and Pathway between Marital Conflict and the School Aged Children’s Psychological Behavioral Problem,B844.1
  8. Lane Change Microscopic Model and Simulation Research on Urban Road,U491.223
  9. Research on Model Validation of Aircraft Aeroelastic System with Uncertainties,V215.3
  10. Research on the Methods and Tool of Simulated Data Intelligent Analysis,TP391.9
  11. Geological Modeling on Complex Reservoir and Validation,P618.13
  12. MIC theory based security model for embedded systems design and research,TP368.1
  13. Application and Design of Hardware Testing Platform Based on WBSN System,TP212.9
  14. Cold regions Solar - ground source heat pump heating systems optimize critical equipment,TU832
  15. Coupling structure complex nonlinear finite element method for accurate modeling and model validation study,TH131.3
  16. The Research of Embedded System Design Method Base on OOTCPN Model,TP368.1
  17. Research on IRFPA Nonuniformity Correction System Modeling Based on OO-TDPN,TN215
  18. Portable Antiaircraft Missile Trajectory Simulation Technology Research,TP391.9
  19. Research on Workflow Model Based on Fuzzy-Timing Petri Net,TP311.52
  20. Zhuangxi pile 52 fault block oilfield geological modeling and model validation study,P618.13
  21. Research on the Predicting Method of Bus Travel Time,U491.14

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