Model based test generation for validati on of parallel and concurrent software

摘要: An execution engine synchronizes test suite to run multiple independent operations concurrently or in parallel. The operates by stepping through the suite. At each step it runs required number of and waits for their completion. It then checks results, continues next If at any step, actual results are different from expected exact sequence that triggered fault is known. can be repeated when a correction provided fault. Furthermore, allows user interactively case debugging A synchronization pattern generator may incorporated system generate minimal numbers repetitions cases guarantee varying degrees interaction coverage.