|
||||||
|
||||||
| Undergraduate Honours Projects | ||||||
|
Carleton University - School of Computer Science Undergraduate Honours Project Winter 2012 Case study of Microsoft SpecExplorer and Visual Framework (ACL) Jean-Robert Ouellette 
ABSTRACT Microsoft Spec Explorer and the Validation Framework are both model-based testing tools. However, they are extremely different tools with major differences in capability. Spec Explorer is a model-based testing tool that extends Microsoft Visual Studio and addresses system-level testing and adopts a black-box view of the system-under-test (SUT). The Validation Framework (and its associated contract language, ACL) is an experimental tool developed by Dr. Dave Arnold that not only addresses black-box system-level testing but is also capable of monitoring specific details on an execution, particularly at the function level. The focus of this project is to develop a comprehensive case study that illustrates the similarities and differences between these two tools and their application to the test-driven development method. These tools will be examined by using a case study of a simplified game of the board game of Backgammon. The report will detail the process of creating the development of these testing suites, problems encountered, and a comparison of the two tools. |
||||||
|
