Formal modeling and test generation automation with Use Case Maps and LOTOS.
This thesis addresses the problem of formal modelling and test generation, from system requirements represented in the form of Use Case Maps. In the first part of our thesis, we present an existent development methodology based on Use Case Maps for the design of the requirements and on LOTOS and SDL...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Published: |
University of Ottawa (Canada)
2009
|
Subjects: | |
Online Access: | http://hdl.handle.net/10393/9138 http://dx.doi.org/10.20381/ruor-16166 |