Generation of tests from labeled event structures
In this thesis, we present an algorithm for generating test cases for both control flow and data flow oriented testing from a given labeled event structure. A labeled event structure represents the behavior of a distributed system given as a system of asynchronously communicating EFSMs. Labeled even...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
University of Ottawa (Canada)
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10393/26417 http://dx.doi.org/10.20381/ruor-9618 |