Title :
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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.633178
