Towards the Generation of Distributed Test Cases Using Petri Nets

Stefan Heymer, Jens Grabowski

Abstract

Test case generation is a means to validate the implementation of a system <em>a posteriori</em> with respect to some given requirements imposed on the system. Current methods for the generation of test cases often rely on an interleaving model of the system, which does not fully cover the situation in reactive and distributed systems. In this paper we present an approach towards the generation of distributed test cases, using Petri nets as the class of models for system, requirements and test case.
Document Type: 
Articles in Conference Proceedings
Booktitle: 
Proceedings of the Neuntes GI/ITG Fachgespräch über Formale Beschreibungstechniken für verteilte Systeme
Series: 
FBT'99
Address: 
München, Germany
Month: 
6
Year: 
1999
File: 
2011 © Software Engineering For Distributed Systems Group

Main menu 2