Protocol Integrated Test System Based on Formal Technology——pits

Jiahai Yang
1998-01-01
Abstract:The usage of the formal technology in protocol testing will make protocol testing more accurate and efficient. This paper proposes a protocol conformance testing strategy with formal technology, and based on the strategy introduces the design and implementation of a protocol integrated test system, call as PITS. The system not only used for protocol conformance testing, but also for both interoperability and performance testing. The paper also given its architecture design, testing procedure, and description of every components. Finally, this paper illustrates several real applications of the PITS in OSI, TCP/IP and ATM protocol testing.
What problem does this paper attempt to address?