Testmethoden für sequentielle und nebenläufige Software-Systeme