Combining sequential test cases into an equivalent set of adaptive test cases
When testing a state-based system one might use a set of (negative) test cases in which each test case is a sequence of events that should not occur. Testing then involves executing the system under test (SUT) in order to check whether any of these disallowed sequences can occur. While testing using...
Saved in:
| Published in: | Journal of logical and algebraic methods in programming Vol. 148; p. 101092 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier Inc
01.01.2026
|
| ISSN: | 2352-2208 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!