Validation of information system models: Petri nets and test case generation

Author

Desel, Jörg ; Oberweis, Andreas ; Zimmer, Torsten ; Zimmermann, Gabriele

Author_Institution

Inst. fur Angewandte Inf. und Formale Beschreibungsverfahren, Karlsruhe Univ., Germany

Volume

4

fYear

1997

fDate

12-15 Oct 1997

Firstpage

3401

Abstract

High-level Petri nets provide a graphical language for the modeling of distributed information systems. Petri nets can be validated by simulation. In this paper, a technique is proposed which generates test cases for the simulation of high-level Petri nets in a systematic way. The approach is called cause-effect-net-concept and is derived from a program code testing concept, the so-called cause-effect graphing. As an extension of the concept, a method for test data generation is demonstrated

Keywords

Petri nets; distributed databases; formal specification; program testing; program verification; Petri nets; cause-effect graphing; cause-effect-net-concept; distributed information systems; graphical language; information system model validation; program code testing; simulation; test case generation; test data generation; Computer aided software engineering; Data structures; Distributed information systems; Electronic mail; Information systems; Petri nets; Software testing; Specification languages; System testing; Terminology;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on

Conference_Location

Orlando, FL

ISSN

1062-922X

Print_ISBN

0-7803-4053-1

Type

conf

DOI

10.1109/ICSMC.1997.633178

Filename

633178