Testing a Distributed System: Generating Test Sequences without Potential Controllability and Observability Problems.
Kai ChenFan JiangChuan-dong HuangZongyao TangYang QinPublished in: ICN/ICONS/MCL (2006)
Keyphrases
- distributed systems
- test sequences
- test cases
- fault tolerance
- partial observability
- test generation
- fault tolerant
- concurrent systems
- distributed environment
- message passing
- bit rate
- load balancing
- distributed computing
- test set
- temporal logic
- test suite
- geographically distributed
- video sequences
- computer vision
- data sets