Login | Register

Custom and model based detection of deficiencies related to Java multithreading


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.

Text (application/pdf)
MR10251.pdf - Accepted Version


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 > Gina Cody School 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
Thesis Supervisor(s):Ait Mohamed, Otmane
ID Code:8484
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:26
Last Modified:18 Jan 2018 17:33
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

Downloads per month over past year

Back to top Back to top