RESEARCH COMMONS
LIBRARY

A Dynamic Framework For Testing The Synchronization Behavior Of Java Monitors

ResearchCommons/Manakin Repository

A Dynamic Framework For Testing The Synchronization Behavior Of Java Monitors

Show simple item record

dc.contributor.author Yanes, Andres en_US
dc.date.accessioned 2007-08-23T01:56:32Z
dc.date.available 2007-08-23T01:56:32Z
dc.date.issued 2007-08-23T01:56:32Z
dc.date.submitted May 2007 en_US
dc.identifier.other DISS-1717 en_US
dc.identifier.uri http://hdl.handle.net/10106/351
dc.description.abstract A Java monitor is a specialized class that is used to synchronize the behavior of threads in a Java program. The monitors in a Java program must be adequately tested to ensure the correctness of the program. In this thesis we propose a dynamic framework in which a Java monitor is tested by exploring its state space in a depth-first manner. The state exploration procedure consists of dynamically creating method sequences to exercise the possible synchronization behavior of the monitor. During exploration, new threads will be created on the fly to simulate different scenarios that result from threads reaching the monitor at different times. Each state reached is represented by a collection of data members that have been identified as having an affect the synchronization behavior of the monitor as well as an abstraction of the thread states. A prototype tool that implements our framework has been built and has been used to evaluate the effectiveness of our approach in five case studies. In each case study, mutations to the original source code of a Java monitor are introduced to create variants that represent common mistakes made by programmers. The experimental results show that our framework is effective in detecting the synchronization failures in the case studies. en_US
dc.description.sponsorship Lei, Jeff en_US
dc.language.iso EN en_US
dc.publisher Computer Science & Engineering en_US
dc.title A Dynamic Framework For Testing The Synchronization Behavior Of Java Monitors en_US
dc.type M.S. en_US
dc.contributor.committeeChair Lei, Jeff en_US
dc.degree.department Computer Science & Engineering en_US
dc.degree.discipline Computer Science & Engineering en_US
dc.degree.grantor University of Texas at Arlington en_US
dc.degree.level masters en_US
dc.degree.name M.S. en_US

Files in this item

Files Size Format View
umi-uta-1717.pdf 581.7Kb PDF View/Open
581.7Kb PDF View/Open

This item appears in the following Collection(s)

Show simple item record

Browse

My Account

Statistics

About Us