Particullary important during regression testing and debugging
Non-determinstic testing -- studies performed in 1995 – 15 of 420 execution orders was observed in 50 000 runs… but if timing or synchronization behavior change in some threads, or if the scheduler behaves differently, the new orders may occur
Even if worst case w.r.t. timeliness is easy to find – timeliness needs to be verified
Behavior when assumptions about the environment are broken/changed..
Software Testing A Crash Course in SW testing Techniques and Concepts
Examples on different test strategies has been presented
Concurrency and Real-time issues
Mutant Generator Model Checker Test Specs. Generator Test coordinator State Enforcer Test Driver Testing Criteria Formal modeling Task unit Testing RTS Spec. Mutated Specs. Counter Example Traces Test Specs Input Data to Tasks Parameterized event sequences Pre-State description