Loading...
Please wait, while we are loading the content...
Similar Documents
Generation of test requirements from aspectual use cases
| Content Provider | ACM Digital Library |
|---|---|
| Author | Xu, Dianxiang He, Xudong |
| Abstract | To effectively uncover aspect defects, system (or subsystem) testing is of importance because aspects crosscut multiple system components. This paper presents an approach for generating system test requirements from aspect-oriented use cases. Central to this approach is the formalization of a testable system model from aspect-oriented use cases. We explicitly capture various constraints among base and aspectual use cases. Specifically, we transform aspect-oriented use case diagrams and descriptions into aspect-oriented Petri nets. This makes it possible to generate meaningful use case sequences with respect to various coverage criteria (such as use case coverage, transition coverage and state coverage). When scenario tests for individual use cases are available, they can be composed into system tests according to the generated use case sequences. |
| Starting Page | 17 |
| Ending Page | 22 |
| Page Count | 6 |
| File Format | |
| ISBN | 9781595936639 |
| DOI | 10.1145/1229384.1229388 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2007-03-12 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Software testing Validation Use case Coverage criterion Formal methods Aspect-oriented software development Petri net Test generation |
| Content Type | Text |
| Resource Type | Article |
