A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
External Conformance Requirements: Concepts, Methods and Tools
[chapter]
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