Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Automatic generation of test purposes for testing distributed systems

 
: Henniger, O.; Lu, M.; Ural, H.

Petrenko, A.:
Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, Montreal, Quebec, Canada, October 6th, 2003 ; revised papers / FATES 2003
Berlin: Springer, 2004 (Lecture Notes in Computer Science 2931)
ISBN: 3-540-20894-1
ISSN: 0302-9743
S.178-191
International Workshop on Formal Approaches to Testing of Software (FATES) <3, 2003, Montreal>
Englisch
Konferenzbeitrag
Fraunhofer SIT ()

Abstract
In this paper, we present an algorithm for generating test purpose descriptions in form of MSC's from a given labeled event structure that represents the behavior of a system of asynchronously communicating extended finite state machines. The labeled event structure is a non-interleaving behavior model describing the behavior of a system in terms of the partial ordering of events.

: http://publica.fraunhofer.de/dokumente/N-37559.html