For the most recent entries see the Petri Nets Newsletter.

The Derivation of Test Cases from Net Models of OSI Protocols.

Baumgarten, B.; Giessler, A.; Platten, R.

Gesellschaft für Mathematik und Datenverarbeitung mbH, St. Augustin, Arbeitspapiere der GMD, Nr. 386, 1989.

Abstract: In this paper the derivation of test cases from formal specifications of communication protocols and services is investigated in the framework of PROSIT methodology. The formal specification methods used are based on product nets, a special class of high level nets. Design and analysis tools are used in order to derive test cases from formal specifications, which greatly reduces sources of error.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography