Item – Theses Canada

​
OCLC number
56752038
Link(s) to full text
LAC copy
LAC copy
Author
Crane, Michelle Love,1971-
Title
Runtime conformance checking of objects using Alloy.
Degree
M. Sc. -- Queen's University at Kingston, 2003
Publisher
Ottawa : National Library of Canada = Bibliothèque nationale du Canada, [2004]
Description
3 microfiches.
Notes
Includes bibliographical references.
Abstract
Object model specifications are an important part of most object-oriented software development methodologies, where they play a central role during the specification and design phases. However, their usefulness is much more limited during the implementation phase. We demonstrate how confidence in source code can be increased by using runtime conformance checking to analyze the code with respect to an object model specification. More precisely, we use the Alloy Analyzer, developed at MIT, to determine automatically whether the runtime state of a program at certain user-specified locations conforms to a given specification. The design, implementation and analysis of Embee, a prototype runtime conformance checker for Java programs against Alloy object models, is presented.
ISBN
0612860930
9780612860933