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 an 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 mapping.ii Acknowledgments I wish to thank my supervisor, Professor Jean-Pierre Corriveau, for his help in suggesting a topic, guiding me through it and editing this dissertation. I also want to thank my co-supervisor, Professor Wei Shi, for involving me in her Engage research project with Blueprint, as well as for her input and funding for this research.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.