Breadcrumb

 
 

Custom and model based detection of deficiencies related to Java multithreading

Title:

Custom and model based detection of deficiencies related to Java multithreading

Singh, Jagmit (2005) Custom and model based detection of deficiencies related to Java multithreading. Masters thesis, Concordia University.

[img]
Preview
PDF - Accepted Version
5Mb

Abstract

Multithreading (MT) has been extensively used for developing Graphical User Interface (GUI) and server side applications, because of the multiple benefits, both concerning program organization and efficiency, offered by it. On the other hand, multithreaded programming is difficult and error prone. It is easy to make a mistake in programming, which could lead to errors and these errors are difficult to detect. Thus automatic bug detection techniques, such as runtime analysis, static analysis, model checking and theorem proving are applied. Runtime analysis is based on the idea of concluding properties of interest from a single run of the program. We implement and compare two runtime analysis approaches, an ad-hoc custom based approach and model checker based approach to detect common bug patterns. Hyades, a plugin of Eclipse Integrated Development Environment (IDE) supplemented with bytecode instrumentation tool---JTrek is used for trace collection. All the relevant events required for analysis are collected using this trace collection approach. The state-of-art model checker Spin is used for trace verification. The comparison of the approaches is based on experiments we performed on three different Java multithreaded applications, and the results indicate that the custom based approach performs better than the model-based approach.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Singh, Jagmit
Pagination:x, 153 leaves : ill ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Date:2005
Thesis Supervisor(s):Ait Mohamed, Otmane
ID Code:8484
Deposited By:Concordia University Libraries
Deposited On:18 Aug 2011 14:26
Last Modified:18 Aug 2011 14:26
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Document Downloads

More statistics for this item...

Concordia University - Footer