Conformance evaluation methodology and protocol testing

摘要

A survey of recent developments in conformance evaluation methodology is presented, including test architectures and a test language which are destined to become international standards, test generation methodology, and application of formal description techniques to several facets of testing. Gaps between theory and current practice are noted. Unresolved problems and some opportunities for additional research are identified.