Dissertation > Excellent graduate degree dissertation topics show

The Design and Implementation of CBFinder Based on JDT

Author: FengZuoJia
Tutor: LuoBin；BeiJia
School: Nanjing University
Course: Software Engineering
Keywords: Multithreaded concurrent program Concurrent error Static Detection Error pattern matching Concurrent error pattern matching
CLC: TP311.11
Type: Master's thesis
Year: 2011
Downloads: 23
Quote: 0
Read: Download Dissertation

Abstract


Multithreaded concurrent program threads as executable program modules, there are a number of threads that can be executed simultaneously. Java language from the outset, to consider the multi-threading technology. With the further development of hardware technology, as well as the widespread use of multicore processors, multithreaded concurrent programs are increasingly being used in a variety of projects to better take advantage of multi-core processors to increase performance and efficiency of the program. However, the concurrent program runs uncertainties inherent error detection for concurrent programs is difficult. Many java programmers for a java thread of misunderstanding concurrency errors abound. There are two main methods for concurrent error detection in concurrent programs, the dynamic detection as well as the static detection. Dynamic detection check concurrent program behavior at runtime, you need to consume more resources. The overhead of monitoring code program execution times, and it is difficult to ensure that all execution paths are covered. The static detection does not require the program to run will be able to detect errors, relatively more comprehensive, but also to identify problems early in the development. Static detection including model checking, static analysis, error pattern matching method. This article provides a static detection methods, use of concurrent error pattern matching method to detect concurrency errors in multithreaded concurrent program. The concurrent error mode is the programmer some bad programming practice in multi-threaded application development or semantic misunderstanding, these errors been shown to cause a concurrency error. The article provides CBFinder summarizes the number of concurrent error mode and provided by JDT AST implemented as a rule these patterns to detect the concurrent program. Contains a total of 22 rules, including Double-Check Lock problem detection. CBFinder the static detection framework using IBM Rational Software Analyzer achieve, and as part of its release run. The error pattern matching method for the detection of the code can quickly locate problems in the code, but the accuracy is not high. This realization of CBFinder is hoping to propose a fast and error pattern matching tools with high accuracy, and it can quickly and relatively accurately locate concurrency errors in multi-threaded concurrent programs. Static detection, there is little work is devoted to this aspect.

Related Dissertations

  1. C static code checking syntax tree Construction Methods,TP311.53
  2. A Static Behavior-Based Method to Detect Malware on Android,TP309
  3. Design and Implementation of Data Service Development Tool,TP311.52
  4. Buffer Overflow Vulnerability Detection Technology,TP393.08
  5. Design and implementation of software security vulnerabilities static detection platform based on comprehensive analysis of data,TP393.08
  6. Research on Detecting Invalid Arithmetic Operations Based on Method Summary,TP311.52
  7. Research on Static and Dynamic Detection Method of ShuangYang Double-Curved Arch Bridge in ChangChun City,U446.1
  8. Research and Implementation of embedded application memory detection technology,TP368.1
  9. A Research on Low Cost Implementing of Runtime Fault Diagnosis in Digital Integrated Circuits,TN407
  10. Study on the Key Technology of Underwater Gravity Gradient Navigation,U666.7
  11. A Self-adaptive Test Framework for Concurrent Programs,TP311.11
  12. Research of Data-driven Vulnerability Detection Technology,TP393.08
  13. Research of Malicious Code Detection Technology Based on Code Book Theory,TP393.08
  14. Research on Malicious Code Detection Technology for E-mail System,TP393.08
  15. Research on the Buffer Overflow Technology Based on GCC,TP393.08
  16. Content-based malicious code detection Research and Implementation,TP393.092
  17. Research and Design of a C++ Codes Defect Detection System,TP311.53
  18. Static Checking Technique for Embedded Software in C Language,TP368.12
  19. Research on Technologies of Attacks and Detections of Buffer Overflow Vulnerabilities,TP393.08
  20. Research on Automatic Detection of Buffer Overflow for C Language,TP311.1

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