Test Case Minimization for Real-Time Systems Using Timed Bound Traces.
Ismail BerradaRichard CastanetPatrick FélixAziz SalahPublished in: TestCom (2006)
Keyphrases
- real time systems
- test cases
- timed automata
- test case selection
- test data
- distributed systems
- real time
- petri net
- test sequences
- software testing
- test case generation
- embedded systems
- regression testing
- timing constraints
- number of test cases
- set of test cases
- test set
- black box
- test generation
- real time database systems
- test suite
- test data generation
- test suite reduction
- object oriented
- real time embedded
- mission critical
- architectural model
- objective function
- anytime algorithms
- testing process
- software systems
- multi agent systems
- decision trees
- object oriented programming language
- databases