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.