|
||||||
|
||||||
| Undergraduate Honours Projects | ||||||
|
Carleton University - School of Computer Science Undergraduate Honours Project Winter 2011 Path Generation for ACL Contracts Katie McClean 
ABSTRACT Software development is driven by user requirements. Ensuring these requirements is met is an important step in the software development process. Software testing attempts to ensure these requirements have been met through test cases based on the requirements. Model based testing creates models from the requirements and extracts test cases from these models. Another Contract Language, ACL, a language developed by D. Arnold allows a user to define these models in contracts. These contracts can then be fed to the Validation Framework, a tool developed by D. Arnold to validate user requirements have been met by an implementation. This projects seeks to extract a tractable number of test Cases from the contracts written in ACL. |
||||||
|
