Dissertation > Excellent graduate degree dissertation topics show

Static Testing for Bad Behavior of Resource Based on Fault Pattern Detection

Author: PeiZhiQiang
Tutor: GongYunZhan
School: Beijing University of Posts and Telecommunications
Course: Computer Science and Technology
Keywords: software testing static analysis defection pattern interprocedural analysis function summary bad behavior
CLC: TP311.52
Type: Master's thesis
Year: 2011
Downloads: 19
Quote: 1
Read: Download Dissertation

Abstract


With modern society becoming increasingly dependent on software, high confidence software testing is needed in a wide range. The sudden emergence of software testing based on defect pattern detection, as an important guarantee for high assurance software, can greatly reduce the defect density of software and improve its reliability. In this paper, we will use the theory of resource-related static defects based on defection pattern to detect bad behavior of resource.This paper introduces the basic conception of software testing firstly, and then analyzes the theory of software defection pattern and static testing. Using basic theory of static testing, it will do interprocedural analysis with function summary, reduce the limitations to interval arithmetic with constraint solving and perform defect detection with defection pattern state machine based on the framework of DTSJava. Finally, we put emphasis on analyzing bad behavior detection of resource about resource leaked and expired resources recalled and give the corresponding solution to improve DTSJava detection based on DTSJava framework.In this paper, we change the DTSJava resource detection from existing resource detection in order to improve detection accuracy of DTSJava. We verify the detection effectiveness and detection accuracy of bad behavior through more than two hundred typical test cases and ten open-source projects, which indicates that static testing system has more contribution to high confidence software testing.

Related Dissertations

  1. Research on Object-Oriented Integration Testing Method,TP311.53
  2. Study on Performance System for CP Software Testing Centre,F272.92
  3. An automated software testing system design and implementation,TP311.53
  4. Based on Multi-granularity dependency graph change impact analysis method,TP311.53
  5. Minors bad behavior and Delinquency Prevention Strategies,C913.5
  6. Research on Automatic Test Applied in CBTC System,TP274
  7. Formalization-based Methed to Generate Test Sequence of UML,TP311.53
  8. The Ultimate Strength Analysis and Research of Semi-submersible Platform,U674.941
  9. Research on Test Data Generation Based on Simulated Annealing Genetic Algorithm,TP311.52
  10. The Design and Realization of General Testing Process in Software Industry,TP311.52
  11. The Create of Pairwise Test Data Base on Combination Matching,TP311.52
  12. The Design and Implementation of Symbol Table for Software Safety Checking Tools,TP311.53
  13. Methodology and Technology for Testing Communication Network Management System,TP311.52
  14. The Research of Protocol Software Testing Method Based on Abstract State Machine,TP311.52
  15. The Current Situation of University Students’ Network Misconducts and Countermeasures,G641
  16. Design and Implementation of ATM Equipment Testing System Base on WOSA/XFS Standard,TP311.52
  17. Design and Implementation of Paperless Examination for Higher Education,TP311.52
  18. Research and Implement of Software Stress Testing and Testing Tools,TP311.52
  19. Detection and Behavior Analysis of Malicious Code,TP393.08
  20. The Analysis of Model Checking and Verification System of Network Security Protocol,TP393.08
  21. Research on Key Technology of Experimental Prototype of New Underwater Flange Connecting Tool,TH131

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