Identification and annotation of concurrency design patterns in Java source code using static analysis.

Concurrent software is quickly becoming a very important facet in Software Engineering due to numerous advantages, one of which is increased processing speed. Despite it's importance, concurrent software is fraught with very difficult to detect bugs, for example deadlocks and data races. Concurrency design patterns were created to o er successfully tried and tested means to design and develop concurrent software to, amongst other things, minimize the occurrence of these hard to detect bugs. In this thesis we discuss our novel static analysis technique to detect these concurrency design patterns in Java source code and identify them using commented Java annotations. Using our technique the commented Java annotations are inserted above Java constructs that are not only part of the Java source code but also make up the various roles that comprise the concurrency design pattern. The identifying of the concurrency design patterns in the Java source code can aid in their maintenance later on, by matching the inserted Java annotations to the various Java constructs they are annotating. Maintaining the concurrency design patterns within the Java source code in effect aids in maintaining the Java source code error free.

Name thesis:degree_name

Master of Science (MSc)

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Ontario Institute of Technology

Year dc:date.issued

2011

Author dc:creator

• Mwebesa, Martin

Advisor dc:contributor.advisor

• Bradbury, Jeremy S.

• Design patterns
• Concurrent software
• Annotations
• Static analysis
• Java

Language dc:language.iso

en

Handle dc:identifier.uri

https://hdl.handle.net/10155/214

OAI identifier oai:identifier

oai:ontariotechu.scholaris.ca:10155/214