|
||||||
|
||||||
| Undergraduate Honours Projects | ||||||
|
Carleton University - School of Computer Science Undergraduate Honours Project Winter 2012 A Case Study of Model-Based Testing Using Microsoft Spec Explorer and Validation Framework Andrew Wylie 
ABSTRACT Model-based testing is a method of software testing which uses a specification of the behavior of an implementation for the creation of test cases. This report will focus on two different model-based testing tools used for software testing. They are Microsoft Spec Explorer and Validation Framework. The tools will be examined through the use of a case study of a stopwatch system. The stopwatch program was first implemented, followed by the development of model programs for both Spec Explorer and Validation Framework. Following this, test cases were created and run for both of the MBT tools. This allowed a comparison of the operability of the tools with respect to testing of the implementation. The report includes a description of the problems encountered during development as well as a comparison of the MBT tools. Overall, Spec Explorer allows for the automatic generation and running of test cases, however it does not allow for as comprehensive testing as Validation Framework. In either case, the testing of a software system should not be limited to a single tool, as this does not guarantee full coverage. |
||||||
|
