Testing temporal and behavior events on timed systems with timed test purposes.
Sébastien SalvaPublished in: OPODIS (2002)
Keyphrases
- temporal information
- test cases
- petri net
- temporal data
- timed automata
- test sequences
- temporal patterns
- finite state machines
- spatio temporal
- distributed systems
- temporal relationships
- temporal relations
- management system
- physical systems
- test data
- complex systems
- computer systems
- software engineering
- motion trajectories
- temporal constraints
- discrete event
- test generation
- time stamped
- temporal events
- temporal aspects
- test data generation
- test case selection