Mapping ACL to JavaMOP: A Feasibility Study

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

Click here to download the PDF file.


Beltramin, Joshua




Model-based testing (MBT) is a quality assurance technique where a test suite is
generated from an abstract model. There are a number of different approaches to
accomplish model-based testing. While state-based techniques dominate, they have
a number of inherent issues. These issues have led to the pursuit of alternatives such
as scenario-based approaches.
ACL/VF is one such scenario-based approach. Developed by Dr. Corriveau
and his students, the ACL/VF system provides both a language to specify an
implementation-independent testable model of a specification and the tool to validate
implementation against this model. However, the current implementation of
ACL/VF has a number of issues that prevent it from being a usable solution. In particular,
the current version of ACL/VF is extremely .NET3.5 specific. Unfortunately,
upgrading it to a more recent version of .NET essentially amounts to a complete
rewrite. Given the widespread use of Java, a most immediate research question is
to determine whether or not it is feasible to reimplement ACL/VF on that platform.
Our claim is that this reimplementation can be accomplished through a mapping from
ACL specifications to JavaMOP
monitor specifications. The following thesis provides
two case studies supporting this claim as well as an element-by-element proposed


Computer Science




Carleton University

Thesis Degree Name: 

Master of Computer Science: 

Thesis Degree Level: 


Thesis Degree Discipline: 

Computer Science

Parent Collection: 

Theses and Dissertations

Items in CURVE are protected by copyright, with all rights reserved, unless otherwise indicated. They are made available with permission from the author(s).