External Conformance Requirements: Concepts, Methods and Tools [chapter]

Rafał Artych, Krzysztof M. Brzeziński
1999 IFIP Advances in Information and Communication Technology  
In this paper we propose to re-use and extend the elements of standard conformance testing methodology, in order to cover particular needs of a telecommunications Network Operator. In this way we intend to contribute to the "industrial relevance" of formal techniques. We present the idea and formal notation of external requirements imposed by a Network Operator on protocol implementations. We also report on the support tool ORB.
doi:10.1007/978-0-387-35567-2_23 fatcat:stttg6wg6ngabilnunfej6xxam