Dissertation > Excellent graduate degree dissertation topics show

Automatic extraction of implicit rules and counter case detection method

Author: YuZhen
Tutor: SuXiaoHong
School: Harbin Institute of Technology
Course: Computer Science and Technology
Keywords: Static analysis Software defect detection Anti case detection Procedural rules extraction Frequent closed itemsets
CLC: TP311.13
Type: Master's thesis
Year: 2011
Downloads: 9
Quote: 0
Read: Download Dissertation

Abstract


There are many large-scale program implicit programming rules , they express the inherent characteristics of the program and the specific requirements ; if the programmer forgot or did not realize that these rules , then it is easy to introduce procedural defect . Implicit programming rules varied shapes , may contain more than one type of program elements , scattered locations across the various components may function , cross- document distribution , manual review is very difficult to find these rules. Therefore it is necessary to study how to automatically extract from the program and the formation of the implicit rules of documentation . However, the existing research results can only be extracted based on a simple function of procedural rules , but not excavated contain functions, variables and data types , and other program elements implicit rules ; And for the realization of rule extraction , they also need to program members provide rules template, require a higher degree of human involvement . To extract more from the program different types of rules , while reducing the extent of human involvement , we propose a general and efficient procedure implicit rules to automatically extract and anti case detection methods. This method uses the frequent closed itemsets mining techniques from large software source code contains a variety of program elements digging programming mode, and then generate the programming mode programming rules ; introducing positive sequence rules (PSDRule) concept , in order to avoid from the same generation programming mode multiple redundant rules . On this basis , also proposed an efficient counter-example detection algorithm to detect violations of the rules of program fragments , which is likely to contain bugs . Entire rule extraction and counter-example is automated detection process , the programmer does not need to provide any preset information , do not need to have any prior knowledge of the target program . In a number of large open -source projects on the experimental results show that the proposed rule extraction and detection model counter-example exists in the program can automatically extract implicit programming rules , and based on the rules extracted quickly and efficiently detect program code in violation of these rules clips. Through analysis of the experimental results and confirmation by artificial found this method to extract meaningful multiple rules and detected some real flaws.

Related Dissertations

  1. Generate Security-relevant Behavior Model of Java Source Code Based on Extended Push Down Automaton,TP311.52
  2. AVIC International Plaza Building, structural stability analysis,TU973.2
  3. Based on Multi-granularity dependency graph change impact analysis method,TP311.53
  4. Based on the finite element analysis to improve the design of medium-duty truck chassis and Test Research,U463.32
  5. Research into Key Structural Problems of the Shanghai PICC Financial Building,TU973.14
  6. The Analysis of Structural Strength of the Micro-Car Drive Axle Housing,U463.218.5
  7. The Research of Japanese Primary Music Textbooks,G623.71
  8. Research & Application of CAE on the Nc Boring & Milling Machine & the Optimization Design of Spindle Box,TG548
  9. The Finite Element Analysis of Solid Carbide End Mill,TG714
  10. Research on Mechanical Property for the Bottom Upward Press Machine of the Copper Automatic Packaging Production Line,TG96
  11. Analysis and Research on FEM for the Frame of Balanced Impact Roller,U415.521
  12. Multifunctional rotary drilling rig luffing mechanism and optimization of static mechanical characteristics,P634.31
  13. Transaction-based data table technology research association rule mining,TP311.13
  14. Combined with dynamic testing and static analysis of programming that automatic scoring method,TP311.52
  15. Structural Finite Element and Modal Analysis of Plate Shearing Machine,TG333.21
  16. The Design and Implementation of Student Information Management System Applied to the University for Aged,TP311.52
  17. Research on Structure Static Behavior of Channel Girder & Arch Composite Bridge in Rail Transit,U441
  18. The Main Longitudinal Frame of a Semi-Trailer Static and Dynamic Analysis and Lightweight Design Based on Finite Element Method,U463.32
  19. Dynamic Strength Properties Analysis for Semi-trailer Frame Based on Virtual Prototyping Test Platform,U463.32
  20. Short - leg Shear Wall Structure Research,TU398.2

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Programming > Database theory and systems
© 2012 www.DissertationTopic.Net  Mobile