Test Cases Generation for Nondeterministic Real-Time Systems.
Ahmed KhoumsiThierry JéronHervé MarchandPublished in: FATES (2003)
Keyphrases
- test cases
- real time systems
- test data
- software testing
- real time
- test generation
- distributed systems
- regression testing
- test sequences
- test suite
- test case generation
- test suite reduction
- embedded systems
- test data generation
- black box
- number of test cases
- test set
- object oriented programming language
- test case selection
- real time database systems
- architectural model
- uml models
- unit testing
- real time embedded
- timing constraints
- set of test cases
- generation algorithm
- object oriented