The derivation of test cases from SDL specifications.
Zhu Yun GuKong Eng ChengPublished in: ACM Southeast Regional Conference (1992)
Keyphrases
- test cases
- unit testing
- test data
- software testing
- test case generation
- number of test cases
- test sequences
- test generation
- black box
- test suite
- regression testing
- object oriented
- test data generation
- formal specification
- test set
- model based testing
- test case selection
- testing process
- covering arrays
- set of test cases
- finite state machines
- integration testing
- data sets
- test suite reduction