IPv6协议一致性测试研究及测试系统实现
|
摘要
IPv6由于其近乎无限的地址空间、层次化的地址结构、高速的路由、更强的安全性、对移动性和服务质量的更好支持等特性,被认为是替代IPv4协议、解决目前Internet面临的困境、为下一代Internet提供更好的服务和发展的最佳协议。随着支持IPv6的网络产品的日渐增多,各IPv6协议实现与协议标准的一致性问题也越来越重要,对IPv6协议进行一致性测试的需求也越来越强烈。开展IPv6协议一致性测试研究具有重要的理论和现实意义。
本论文在这种强烈需求的驱动下,对IPv6协议和协议一致性测试技术进行了全面深入的分析,对IPv6协议一致性测试技术开展了深入的研究。本文设计了针对IPv6协议的一种简洁高效的测试集描述语言TSS,提出了虚拟测试和底层汇聚测试的新的测试方法,基于这两种方法设计了IPv6测试系统的完整体系结构,实现了一个完整的IPv6协议一致性测试系统V6PTS,设计了9个TSS抽象测试集200多个测试例,涵盖24个IPv6 RFC协议标准,并对三种Unix IPv6实现(Linux, FreeBSD, Solaris)及一种路由器的IPv6实现进行了一致性测试。
本文的创造性工作体现在以下几各方面:
1.针对IPv6协议设计了一种测试集描述语言TSS。该描述语言克服了国际标准测试集描述语言TTCN在生成IPv6协议一致性测试集时的测试集描述复杂、测试集产生效率低、测试执行速度慢等问题,可以针对IPv6协议进行简洁高效的描述和测试执行,并可以扩展应用到其它协议测试集的描述。
2.提出了虚拟测试的新方法。目前国际上对通讯协议的测试,特别是在对路由协议的测试中,一般要采用多台测试器对被测实现进行测试。多台测试器存在于不同的系统中,在物理上是分离的,因此对同一测试事件的观察在时间上存在差异,另外各测试器之间必须有良好的同步和控制协调过程,使测试过程过于复杂。本文中提出的虚拟测试方
The Internet Protocol (IP) has been the foundation of the Internet and virtually all multivendor private internetworks. This protocol is reaching the end of its useful life, and a new protocol, known as IPv6 (IP version 6), has been defined to ultimately replace IPv4. IPv6 includes functional and formatting enhancements over IPv4. With most of the technical details of these enhancements frozen, vendors have begun to move these capabilities into their products. However, due to human errors, a protocol implementation may not behave as specified. Thus, conformance testing is used to ensure the consistency between a protocol specification and its implementation.
This dissertation first surveys the recent development in the state-of-the-art of IPv6 and protocol conformance testing. Then a test suite specification language (TSS) is designed specifically to describe the IPv6 test suite. Two new test methods called virtual test method and lower-layer congregation test method are proposed respectively. Based on the two test methods, the architecture of a system called V6PTS is designed and the system is implemented. With the IPv6 conformance testing system, 9 IPv6 test suites (including more than 200 test cases) are designed in TSS. The test suites can test the functions of 24 IPv6 RFC protocol standards, and were applied to testing four IPv6 protocol implementations on Linux, FreeBSD, Solaris and a router.
The main creativities of this dissertation are explained as follows:
1.A test suite specification language (TSS) is designed specifically to describe the IPv6 test suite.
2.A new test method called virtual test method is proposed. Virtual test method makes use of the address field and other flag fields of a
本论文在这种强烈需求的驱动下,对IPv6协议和协议一致性测试技术进行了全面深入的分析,对IPv6协议一致性测试技术开展了深入的研究。本文设计了针对IPv6协议的一种简洁高效的测试集描述语言TSS,提出了虚拟测试和底层汇聚测试的新的测试方法,基于这两种方法设计了IPv6测试系统的完整体系结构,实现了一个完整的IPv6协议一致性测试系统V6PTS,设计了9个TSS抽象测试集200多个测试例,涵盖24个IPv6 RFC协议标准,并对三种Unix IPv6实现(Linux, FreeBSD, Solaris)及一种路由器的IPv6实现进行了一致性测试。
本文的创造性工作体现在以下几各方面:
1.针对IPv6协议设计了一种测试集描述语言TSS。该描述语言克服了国际标准测试集描述语言TTCN在生成IPv6协议一致性测试集时的测试集描述复杂、测试集产生效率低、测试执行速度慢等问题,可以针对IPv6协议进行简洁高效的描述和测试执行,并可以扩展应用到其它协议测试集的描述。
2.提出了虚拟测试的新方法。目前国际上对通讯协议的测试,特别是在对路由协议的测试中,一般要采用多台测试器对被测实现进行测试。多台测试器存在于不同的系统中,在物理上是分离的,因此对同一测试事件的观察在时间上存在差异,另外各测试器之间必须有良好的同步和控制协调过程,使测试过程过于复杂。本文中提出的虚拟测试方
The Internet Protocol (IP) has been the foundation of the Internet and virtually all multivendor private internetworks. This protocol is reaching the end of its useful life, and a new protocol, known as IPv6 (IP version 6), has been defined to ultimately replace IPv4. IPv6 includes functional and formatting enhancements over IPv4. With most of the technical details of these enhancements frozen, vendors have begun to move these capabilities into their products. However, due to human errors, a protocol implementation may not behave as specified. Thus, conformance testing is used to ensure the consistency between a protocol specification and its implementation.
This dissertation first surveys the recent development in the state-of-the-art of IPv6 and protocol conformance testing. Then a test suite specification language (TSS) is designed specifically to describe the IPv6 test suite. Two new test methods called virtual test method and lower-layer congregation test method are proposed respectively. Based on the two test methods, the architecture of a system called V6PTS is designed and the system is implemented. With the IPv6 conformance testing system, 9 IPv6 test suites (including more than 200 test cases) are designed in TSS. The test suites can test the functions of 24 IPv6 RFC protocol standards, and were applied to testing four IPv6 protocol implementations on Linux, FreeBSD, Solaris and a router.
The main creativities of this dissertation are explained as follows:
1.A test suite specification language (TSS) is designed specifically to describe the IPv6 test suite.
2.A new test method called virtual test method is proposed. Virtual test method makes use of the address field and other flag fields of a
引文
[1] Christion Huitema. IPv6-The New Internet Protocol(Second Edition). Prentice Hall. 1998.
[2] S. Deering, R.Hinden. Internet Protocol, Version 6 (IPv6) Specification. RFC 2460, December 1998.
[3] G. J. Holzmann. Design and validation of computer protocols. Prentice-Hall, 1991.
[4] ISO/IEC 9646,Information Processing System, Open System Interconnection, OSI Conformance Testing Methodology and Framework. 1991.
[5] D. Hogrefe. Report on the FMCT project. Proceedings of IFIP the 8th International Workshop on Protocol Test Systems. Norht-Holland: Chapman&Hall, 1994, 165-180
[6] ISO/IEC JTC1/SC21 WG7. Information retrieval, transfer and management for OSI, framework: formal methods in conformance testing. Committee Draft CD13245-1, 1995.
[7] ISO/IEC JTC1/SC21 WG7. Information retrieval, transfer and management for OSI, FMCT guidelines on test generation methods from formal descriptions. Committee Draft CD13245-1, 1995.
[8] D. Hogrefe, S. Heymer and J. Tretmans. Report on the standardization project, Formal Methods in Conformance Testing, Proceedings of IFIP the 9th Interneational Workshop on Testing of Communicating System. North-Holland: Chapman&Hall, 1996, 289-298
[9] Tretmans, J., Conformance testing with labeled transition systems: Implementation relations and test generation, Computer Networks and ISDN Systems 29, 49-79.
[10] D.Rayner. Future directions for protocl testing, learning the lessons from the past. Proceedings of IFIP the 10th International Workshop on Testing of Communication Systems.North-Holland, Chapman&Hall, 1997, 25-32.
[11] R. Hinden, S. Deering. IP Version 6 Addressing Architecture. RFC2373 July 1998.
[12] R. Hinden. Proposed TLA and NLA Assignment Rules. RFC 2450, December 1998.
[13] R. Hinden, S. Deering. IP Version 6 Addressing Architecture, Internet Draft, draft-ietf-ipngwg-addr-arch-v3-03.txt. March 2001.
[14] M. Broy. Formal Description Techniques- How Formal and Descriptive are They? R. Gotzhence on Formal Description Techniques. North-Holland: Chapman&Hall, 1996. 95-110.
[15] R. Hinden, S. Deering, R. Fink, T. Hain. Initial IPv6 Sub-TLA ID Assignments. RFC2928 , September 2000.
[16] S. Deering, W. Fenner, B. Haberman. Multicast Listener Discovery (MLD) for IPv6. RFC2710 , October 1999.
[17] Ivano GUARDINI, Paolo FASANO, Guglielmo GIRARDI. IPv6 Operational Experience Within the 6bone. INET 2000, Japan, July, 2000, p147
[18] R. Hinden, R. Fink, J. Postel. IPv6 Testing Address Allocation. RFC2471 ,December 1998.
[19] K. Egevang, P. Francis. The IP Network Address Translator (NAT). RFC1631, May 1994
[20] E. Nordmark. Stateless IP/ICMP Translation Algorithm (SIIT). RFC2765, February 2000
[21] M.T.Liu. Protocol Engineering, Advances in Computers. 1989, 28(1).
[22] ITU-T Recommendation Z.500. Framework: Formal Method in Conformance Testing. 1995.
[23] M.A.S. Smith. Formal Verification of Communication Protocols. Proceedings of IFIP the 9th International Conference on Formal Description Techniques, North-Holland: Chapman&Hall,1996.129-144
[24] T.F.Piatkowski. An engineering Discipline for Distributed Protocol Systems. Proceedings of IFIP Workshop on Protocol Testing- Towards Proof, 1981. p32-40
[25] B. Sarikaya. Principles of Protocol Engineering and Conformance Testing. Ellis Horwood, 1993.
[26] R. Gotzhein and J. Bredereke. Trends in formal description Techniques. Computer Networks&ISDN System. 1998. 30(1): 1-10.
[27] F.Kristoffersen, M.Phalippou and J. Tretmans. Formal Methods in Conformance Testing. Proceedings of IFIP the 9th Internationa Conference on Formal Description Techniques. North-Holland: Chapman&Hall, 1996. 3-10.
[28] D. Kang, s. Kang, M.Kim and S.yoo. A weighted random walk approach for conformance testing of a system secified as communicating finite state machines, Formal Descriptin Techniques and Protocol Specification, Testing and Verification, Osaka, Japan, Nov. 1997, 267-282.
[29] Kotaro Katsuyama, Strategic Testing Environment with Formal Description Techniques. IEEE Transaction on Computers, Vol 40, No.4, Apr 1991.
[30] CCITT Recommendation z.100. Functional Specification and Description Language. 1988.
[31] G.Csopaki and K. J. Turner. Modlling difital logic in SDL, Formal Descriptin Techniques and Protocol Specification, Testing and Verification, Osaka, Japan, Nov. 1997,367-382.
[32] ISO 8807. Information processing systems. Open systems interconnection-Lotos-A formal description technique based on the temporal ordering of observational behavior. 1988.
[33] M.W.A. Steen, H. Bowman, J. Derrick and E.A. Boiten. Disjunction of LOTOS Specification. Formal Descriptin Techniques and Protocol Specification, Testing andVerification, Osaka, Japan, Nov. 1997, 177-192.
[34] ISO 9074. Information processing systems. Open systems interconnection-Estelle-a formal descripion technique based on an extended state transition model. 1988.
[35] R.Henke, A. Mitschele-Thiel and H. Konig. On the influence of semantc constraints on the code generation form Estelle specifications. Formal Descriptin Techniques and Protocol Specification, Testing and Verification, Osaka, Japan, Nov. 1997,399-414.
[36] X.680: ITU-T Recommendation X.680 (1997) | ISO/IEC 8824-1: 1998, Information Technology - Abstract Syntax Notation One (ASN.1): Specification of Basic Notation
[37] X.683: ITU-T Recommendation X.683 (1997) | ISO/IEC 8824-4: 1998, Information Technology - Abstract Syntax Notation One (ASN.1): Parameterization of ASN.1 Specifications
[38] D.R. Avresky, Formal verification and testing of protocol, Computer Communications 22, 1999, p681-690.
[39] J. Tretmans, P. Kars, and E.Brinksma. Protocol conformance testing: a formal perspective on ISO IS-9646. Proceedings of IFIP the 4th International Workshop on Protocol Test System. North-Holland: Chapman&Hall, 1991. 131-142.
[40] G. Myers. The art of software testing. John Wiley&Sons, 1979
[41] D. Sidhu and T.Leung. Formal method for protocol testing: A detailed stud, IEEE Trans. On software Engineering, Vol.15, No.4, April 1989.
[42] Rafiq, O. and Castanet, R., From Conformance Testing to Interoperability Testing, the 3rd International Workshop on Protocol Test Systems. 1990.
[43] Marc Diefenbruch, Jorg Hintelmann and Bruno Muller-Clostermann. The QUEST-Approach for the Performance Evaluation of SDL-System. Proceedings of IFIP TC6International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI. Kaiserslaqutern, Germany, October 1996, 229-244.
[44] ISO/IEC 9646-1:IT-OSI-Conformance testing methodology and framework : Part 1 : General concepts. 1996.
[45] ISO/IEC 9646-2 : IT-OSI-Conformance testing methodology and framework: Part 2: Abstract test suite specification. 1996.
[46] ISO/IEC 9646-3 : IT-OSI-Conformance testing methodology and framework: Part 3: The tree and combined notation (TTCN). 1996
[47] ISO/IEC 9646-4 : IT-OSI-Conformance testing methodology and framework : Part 4 : Test realization. 1996
[48] ISO/IEC 9646-5 : IT-OSI-Conformance testing methodology and framework : Part 5 : Requirements on test laboratories and clients for the conformance assessment process. 1996
[50] ISO/IEC 9646-6 : IT-OSI-Conformance testing methodology and framework : Part 6 : Protocol profile test specification. 1996
[51] ISO/IEC 9646-7 : IT-OSI-Conformance testing methodology and framework : Part 7 : Implementation Conformance Statements. 1996
[52] Hasan Ural, Bo Yang, A Test Sequence Selection Method for Protocol Testing. IEEE Transaction on Communication, Vol. 39. NO. 4, April 1991.
[53] L.J.Wiles. Experiences of computer aided derivation of executable test suites from abstract test suites. Proceedings of IFIP the 4th International Workshop on Protocol test Systems. North-holland: Chapman&Hall, 1991. 121-139.
[54] G.V.Bochmann. Test result analysis and validation of test verdicts. Proceedings of IFIP the 4th International Workshop on Protocol Test Systems. North-holland: Chapman&Hall, 1991. 131-145
[55] Andrew S. Tanenebaum,Computer Networks(Third Edition),1998,Prentice Hall Intenational,Inc. ISBN 7-03035-9.
[56] Cavalli, A., Favreau, J.&Phalippou, M., standardization of formal methods in conformance testing of communication protocols, Computer Networks and ISDN Systems 29, 2-4.
[57] David Lee, Krishan K.Sabnani, David M. Kristol, Sanjoy Paul. Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach, IEEE Trans. On Communications. Vol. 44. No.5 May 1996, 631-639.
[58] Kuo-Chung Tai, Yu-Chiou Young, Synchronizable Test Sequences of Finite State Machines. Computer Networks and ISDN System 30, 1998, p1111-1134
[59] Chung-Ming Huang, Meng-Shu Chiang, Ming-Yuhe Jang, UIO: a protocol test sequence generation method using the transition executability analysis(TEA). Computer Communications 1998, 1462-1475
[60] B.S.Bosik and M.U.Oyar, Formal Methods in Protocol Conformance Testing: From Theory To Implementation, Computer Networks and ISDN Systems, Vol.23, 1991.
[61] Aho, A. V. Dahbura, A. T, Lee, David and Uyar, M.U. An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. Protocol Specification, Testing and Verification’88, Atlantic City, USA, 75-86.
[62] Wen-Huei Chen, Hasan Ural, Synchronizable Test Sequences Based on Multiple UIO Sequences. IEEE/ASM Transactions on Networking, VOL. 3 NO. 2, April 1995
[63] Wen-Huei CHEN, Obtaining Unique Input/Output Sequences of Communication Protocols. IEEE Transaction on Communication, Vol.E80-b, NO. 10 October 1997
[64] Jianguo Wang, Ruibing Hao and Jianping Wu, TUGEN: An automatic test case generator integrating data-flow an control-flow testmethods, Session 8 paper 7, in IEEE International Conference on Communications, v1, 1998. IEEE, Piscataway, NJ, USA, p286-290
[65] Lee, Do-young and Lee, Jai-yong. A well-defined Estelle specification for the automatic test generation. IEEE Trans. On Computer, Com-40(4), 526-542
[66] P. Tripathy and K. Naik. Generation of adaptive test cases from nondeterministic finite state models. Proceedings of FIPTC6 5th International Workshop on Protocol test Systems. 1992.
[67] T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer network and ISDN systems, 1987,14(3): 55-70.
[68] Jan Tretman. Test case derivation form LOTOS specification, Proceedings of IFIP TC6 International Conference on Formal Description Techniques II, 1989.
[69] Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim. An Algebraic Semantics for Message Sequence Chart Documents. Formal Description Techniques and Protocol Specification, Testing and Verification. Paris, France, Nov.1998, 3-18
[70] J.Grabowski, D. Hogrefe and R. Nahm. Test case generation with test purpose specification bye MSCs. Proceedings of SDL’93 – Using Objects. North-Holland, Chapman&Hall, 1993. 1-13.
[71] Tae-hyong Kim, lk-soon Hwang, Chan-min Park, Jai-yong Lee, sang-bae Lee, Automatic test case generation of real protocols: Framework and Methodology. FORTE XI/PSTV XVIII’98 P127-140
[72] E. Brinksma. A framework for test selection. Proceedings of IFIP the 11th International Workshop on Protocol Specification, Testing and Verification. North-holland: Chapman&Hall, 1991. 67-80.
[73] R.Hao and J.Wu. Test execution based on TTCN’s operational semantics. Journal of Communications, 1995, 20(2),89-124.
[74] D. Cypher, et al, "Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI," proceedings of FORTE/PSTV'98, Case Studies in Protocols, November 3-6, 1998, Paris France.
[75] Y. Song, D. Cypher, and D. Su, "Simulation and Performance of PNNI ATM Networks," Proceedings of the 7th International Conference on Telecommunication Systems Modeling and Analysis, pp 387-401, March 18-21, 1999, Nashville, TN.
[76] O. Elloumi, N. Golmie, H. Afifi, and D. Su, "A Study of TCP Dynamics over HFC Networks, Proceedings of Globecom'98, pp 545-550, November, 1998, Sydney, Australia.
[77] O. Elloumi, N. Golmie, H. Afifi, and D. Su, "A Simulation- based Study of TCP Dynamics over HFC Networks", Computer Networks, Vol. 32, No. 3, pp. 301-317, 2000.
[78] R.Gecse, Conformance Testing Methodology of Internet Protocols, Testing of Communicating Systems, Tomsk, Russia, Sep.1998
[79] R.Gecse, P.Kremer, Automated Test of TCP Congestion Control Algorithms, Testing of Communicating Systems, Budapest, Hungary, Sep.1999.
[80] T.Kato, T. Ogishi, A. Idoue and K. Suzuki, Design of Protocol Moniter Emulating Behaviors of TCP/IP Protocols, Testing of Communicating Systems, Cheju Island, Korea, Sep. 1997.
[81] T.Kato, T. Ogishi, Intelligent protocol analyzer with TCP behavior emulation for interoperability testing of TCP.IP protocols. Formal Description Techniques and Protocol Specification, Testing and Verification. Osaka, Japan, 1997, 434-449.
[82] T.Ogishi, A. Idoue, T.Kato and K.Suzuki, Intelligent Protocol Analyzer for WWW server Accesses with Exception Handle Function, Testing of Communicating Systems, Tomsk, Russia, Sep.1998.
[83] Janos Mohacsi, Szabolcs Szigeti, Tamas Maray, Testing IPv6 implementations, Computer Network and ISDN Systems 30(1998),1617-1625.
[84] Tibor Csondes, Sarolta Dibuz, Peter Kremer, Experiments on IPv6 Teseting. Proceedings of IFIP the 13th International Conference on Testing of Communication Systems, Aug.29 2000, Ottawa, Canada 113-126
[85] University of New Hampshire, InterOperability Lab: IP Consortium Test Suite, Internet Protocol Version6, Technical Document, Jan. 2000.
[86] Okabe, Nobuo, TAHI Project: Verification technologies for IPv6. Jul.1999.
[87] Hiroshi MIYATA, 2nd TAHI IPv6 Interoperability Test Event Report. 48th IETF Pittsburgh.
[88] J,Tian, Z.Li, The Next Generation Internet Protocol and Its Test, (to appear) IEEE International Conforence of Communication, Helsinki, Finland, Jun. 2001.
[89] A. Conta, S. Deering. Internet Control Message Protocol (ICMPv6) for the Internet Protocol Version 6 (IPv6) Specification. December 1998.
[90] ETSI Technical Report, Advanced Testing Methods (ATM); Vocabulary of terms used in communication protocols conformance testing, ETR 022, Jan,1993
[91] Bi Jun,Wu Jian-ping. Towards abstarct test method for relay system testing. Proceedings of the IFIP 10th International Workshop on Protocol Test Systems. Amsterdam:Elsevier Science Publishers,1997
[92] J. McCann, S. Deering, J. Mogul, Path MTU Discovery for IP version 6, RFC1981, August 1996.
[93] P. Metzger, W. Simpson, IP Authentication using Keyed MD5 ,RFC 1828, August 1995.
[94] P. Karn, P. Metzger, W. Simpson, The ESP DES-CBC Transform , RFC 1829 , August 1995.
[95] S. Kent, R. Atkinson, Security Architecture for the Internet Protocol , RFC 2401 , November 1998.
[96] S. Kent, R. Atkinson, IP Authentication Header , RFC 2402 , November 1998.
[97] S. Kent, R. Atkinson, IP Encapsulating Security Payload (ESP), RFC 2406, November 1998.
[98] D. Johnson, C. Perkins, Mobility Support in IPv6 , Internet Draft, draft-ietf-mobileip-ipv6-13.txt , November 2000.
[99] S. Thompson, T. Narten, IPv6 Stateless Address Autoconfiguration , RFC2462, December 1998.
[100] V.V.Ostapenko, Test selection based on implementation specification. IEEE.1998, 1089-6503.
[101] W.Richard Stevens TCP/IP Illustrated, Volume 1 The Porotocols,1999,Addison Wesley Longman, Inc. ISBN 7-301-04233-7.
[102] T. Narten, E. Nordmark, W. Simpson, Neighbor Discovery for IP Version 6 (IPv6), December 1998.
[103] IAB, IESG, IPv6 Address Allocation Management , RFC 1881, December 1995.
[104] Y. Rekhter, T. Li, An Architecture for IPv6 Unicast Address Allocation , RFC 1887, December 1995.
[105] R. Hinden, B. Carpenter, L. Masinter, Format for Literal IPv6 Addresses in URL's, RFC 2732, December 1999.
[106] R. Hinden, M. O'Dell, S. Deering, An IPv6 Aggregatable Global Unicast Address Format , RFC 2374 , July 1998.
[107] R. Hinden, S. Deering, IPv6 Multicast Address Assignments , RFC 2375, July 1998.
[108] D. Johnson, S. Deering, Reserved IPv6 Subnet Anycast Addresses, RFC2526, March 1999.
[109] A. Conta, S. Deering, Generic Packet Tunneling in IPv6 Specification , RFC2473, December 1998.
[110] B. Carpenter, C. Jung, Transmission of IPv6 Packets over IPv4 Domains without Explicit Tunnels , RFC2529 , March 1999.
[111] R. Gilligan, E. Nordmark, Transition Mechanisms for IPv6 Hosts and Routers, RFC2893, August 2000
[112] D. Haskin, R. Callon, Routing Aspects Of IPv6 Transition , RFC 2185, September 1997.
[113] Chanson S T,Zhu Jin-song. A unified approach to protocol test sequence generation. Proceedings of the IEEE INFORCOM Conference.New York:IEEE Press,1993
[114] Huang C M,Lin Y C,Jang M Y.An executable protocol test sequence generation method for EFSM-specified protocols. Proceedings of the IFIP 5th International Workshop on Protocol Test Systems. Amsterdam: Elsevier Science Publishers, 1995.
[115] Bourhfir C,Dssouli R, Aboulhamid E, Automatic executable test case generation for extended finite state machine protocols. Proceedings of the IFIP 10th International Workshop on Protocol Test Systems. Amsterdam:Elsevier Science Publishers,1997
[116] Anders Ek, Telelogic AB, Malmo, “Automatic Debugging of Communicating Systems Using the Tau SDL Validator” Technical paper, Sweden, 2000
[117] 田军 李忠诚,IPv6 协议一致性测试系统,已录用,计算机辅助设计与图形学报。
[118] 田军,李忠诚,“基于 TTCN 描述的 Ipv6 协议测试”CTC’2000, 全国测试会议,p296-300。
[119] 田军,李忠诚,下一代 Internet 协议 Ipv6 及其测试, 第六届计算机科学与技术会议 p288-295。
[120] 田军,李忠诚,邻居发现协议的形式化测试, 已录用,计算机研究与发展。
[121] 张玉军,田军,李忠诚,Ipv6 中邻居发现协议及其测试, 已录用,计算机工程与应用。
[122] 田军,IPv6 协议一致性测试集描述语言 TSS 语法/语义定义。技术报告,2000 年 12 月。
[2] S. Deering, R.Hinden. Internet Protocol, Version 6 (IPv6) Specification. RFC 2460, December 1998.
[3] G. J. Holzmann. Design and validation of computer protocols. Prentice-Hall, 1991.
[4] ISO/IEC 9646,Information Processing System, Open System Interconnection, OSI Conformance Testing Methodology and Framework. 1991.
[5] D. Hogrefe. Report on the FMCT project. Proceedings of IFIP the 8th International Workshop on Protocol Test Systems. Norht-Holland: Chapman&Hall, 1994, 165-180
[6] ISO/IEC JTC1/SC21 WG7. Information retrieval, transfer and management for OSI, framework: formal methods in conformance testing. Committee Draft CD13245-1, 1995.
[7] ISO/IEC JTC1/SC21 WG7. Information retrieval, transfer and management for OSI, FMCT guidelines on test generation methods from formal descriptions. Committee Draft CD13245-1, 1995.
[8] D. Hogrefe, S. Heymer and J. Tretmans. Report on the standardization project, Formal Methods in Conformance Testing, Proceedings of IFIP the 9th Interneational Workshop on Testing of Communicating System. North-Holland: Chapman&Hall, 1996, 289-298
[9] Tretmans, J., Conformance testing with labeled transition systems: Implementation relations and test generation, Computer Networks and ISDN Systems 29, 49-79.
[10] D.Rayner. Future directions for protocl testing, learning the lessons from the past. Proceedings of IFIP the 10th International Workshop on Testing of Communication Systems.North-Holland, Chapman&Hall, 1997, 25-32.
[11] R. Hinden, S. Deering. IP Version 6 Addressing Architecture. RFC2373 July 1998.
[12] R. Hinden. Proposed TLA and NLA Assignment Rules. RFC 2450, December 1998.
[13] R. Hinden, S. Deering. IP Version 6 Addressing Architecture, Internet Draft, draft-ietf-ipngwg-addr-arch-v3-03.txt. March 2001.
[14] M. Broy. Formal Description Techniques- How Formal and Descriptive are They? R. Gotzhence on Formal Description Techniques. North-Holland: Chapman&Hall, 1996. 95-110.
[15] R. Hinden, S. Deering, R. Fink, T. Hain. Initial IPv6 Sub-TLA ID Assignments. RFC2928 , September 2000.
[16] S. Deering, W. Fenner, B. Haberman. Multicast Listener Discovery (MLD) for IPv6. RFC2710 , October 1999.
[17] Ivano GUARDINI, Paolo FASANO, Guglielmo GIRARDI. IPv6 Operational Experience Within the 6bone. INET 2000, Japan, July, 2000, p147
[18] R. Hinden, R. Fink, J. Postel. IPv6 Testing Address Allocation. RFC2471 ,December 1998.
[19] K. Egevang, P. Francis. The IP Network Address Translator (NAT). RFC1631, May 1994
[20] E. Nordmark. Stateless IP/ICMP Translation Algorithm (SIIT). RFC2765, February 2000
[21] M.T.Liu. Protocol Engineering, Advances in Computers. 1989, 28(1).
[22] ITU-T Recommendation Z.500. Framework: Formal Method in Conformance Testing. 1995.
[23] M.A.S. Smith. Formal Verification of Communication Protocols. Proceedings of IFIP the 9th International Conference on Formal Description Techniques, North-Holland: Chapman&Hall,1996.129-144
[24] T.F.Piatkowski. An engineering Discipline for Distributed Protocol Systems. Proceedings of IFIP Workshop on Protocol Testing- Towards Proof, 1981. p32-40
[25] B. Sarikaya. Principles of Protocol Engineering and Conformance Testing. Ellis Horwood, 1993.
[26] R. Gotzhein and J. Bredereke. Trends in formal description Techniques. Computer Networks&ISDN System. 1998. 30(1): 1-10.
[27] F.Kristoffersen, M.Phalippou and J. Tretmans. Formal Methods in Conformance Testing. Proceedings of IFIP the 9th Internationa Conference on Formal Description Techniques. North-Holland: Chapman&Hall, 1996. 3-10.
[28] D. Kang, s. Kang, M.Kim and S.yoo. A weighted random walk approach for conformance testing of a system secified as communicating finite state machines, Formal Descriptin Techniques and Protocol Specification, Testing and Verification, Osaka, Japan, Nov. 1997, 267-282.
[29] Kotaro Katsuyama, Strategic Testing Environment with Formal Description Techniques. IEEE Transaction on Computers, Vol 40, No.4, Apr 1991.
[30] CCITT Recommendation z.100. Functional Specification and Description Language. 1988.
[31] G.Csopaki and K. J. Turner. Modlling difital logic in SDL, Formal Descriptin Techniques and Protocol Specification, Testing and Verification, Osaka, Japan, Nov. 1997,367-382.
[32] ISO 8807. Information processing systems. Open systems interconnection-Lotos-A formal description technique based on the temporal ordering of observational behavior. 1988.
[33] M.W.A. Steen, H. Bowman, J. Derrick and E.A. Boiten. Disjunction of LOTOS Specification. Formal Descriptin Techniques and Protocol Specification, Testing andVerification, Osaka, Japan, Nov. 1997, 177-192.
[34] ISO 9074. Information processing systems. Open systems interconnection-Estelle-a formal descripion technique based on an extended state transition model. 1988.
[35] R.Henke, A. Mitschele-Thiel and H. Konig. On the influence of semantc constraints on the code generation form Estelle specifications. Formal Descriptin Techniques and Protocol Specification, Testing and Verification, Osaka, Japan, Nov. 1997,399-414.
[36] X.680: ITU-T Recommendation X.680 (1997) | ISO/IEC 8824-1: 1998, Information Technology - Abstract Syntax Notation One (ASN.1): Specification of Basic Notation
[37] X.683: ITU-T Recommendation X.683 (1997) | ISO/IEC 8824-4: 1998, Information Technology - Abstract Syntax Notation One (ASN.1): Parameterization of ASN.1 Specifications
[38] D.R. Avresky, Formal verification and testing of protocol, Computer Communications 22, 1999, p681-690.
[39] J. Tretmans, P. Kars, and E.Brinksma. Protocol conformance testing: a formal perspective on ISO IS-9646. Proceedings of IFIP the 4th International Workshop on Protocol Test System. North-Holland: Chapman&Hall, 1991. 131-142.
[40] G. Myers. The art of software testing. John Wiley&Sons, 1979
[41] D. Sidhu and T.Leung. Formal method for protocol testing: A detailed stud, IEEE Trans. On software Engineering, Vol.15, No.4, April 1989.
[42] Rafiq, O. and Castanet, R., From Conformance Testing to Interoperability Testing, the 3rd International Workshop on Protocol Test Systems. 1990.
[43] Marc Diefenbruch, Jorg Hintelmann and Bruno Muller-Clostermann. The QUEST-Approach for the Performance Evaluation of SDL-System. Proceedings of IFIP TC6International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI. Kaiserslaqutern, Germany, October 1996, 229-244.
[44] ISO/IEC 9646-1:IT-OSI-Conformance testing methodology and framework : Part 1 : General concepts. 1996.
[45] ISO/IEC 9646-2 : IT-OSI-Conformance testing methodology and framework: Part 2: Abstract test suite specification. 1996.
[46] ISO/IEC 9646-3 : IT-OSI-Conformance testing methodology and framework: Part 3: The tree and combined notation (TTCN). 1996
[47] ISO/IEC 9646-4 : IT-OSI-Conformance testing methodology and framework : Part 4 : Test realization. 1996
[48] ISO/IEC 9646-5 : IT-OSI-Conformance testing methodology and framework : Part 5 : Requirements on test laboratories and clients for the conformance assessment process. 1996
[50] ISO/IEC 9646-6 : IT-OSI-Conformance testing methodology and framework : Part 6 : Protocol profile test specification. 1996
[51] ISO/IEC 9646-7 : IT-OSI-Conformance testing methodology and framework : Part 7 : Implementation Conformance Statements. 1996
[52] Hasan Ural, Bo Yang, A Test Sequence Selection Method for Protocol Testing. IEEE Transaction on Communication, Vol. 39. NO. 4, April 1991.
[53] L.J.Wiles. Experiences of computer aided derivation of executable test suites from abstract test suites. Proceedings of IFIP the 4th International Workshop on Protocol test Systems. North-holland: Chapman&Hall, 1991. 121-139.
[54] G.V.Bochmann. Test result analysis and validation of test verdicts. Proceedings of IFIP the 4th International Workshop on Protocol Test Systems. North-holland: Chapman&Hall, 1991. 131-145
[55] Andrew S. Tanenebaum,Computer Networks(Third Edition),1998,Prentice Hall Intenational,Inc. ISBN 7-03035-9.
[56] Cavalli, A., Favreau, J.&Phalippou, M., standardization of formal methods in conformance testing of communication protocols, Computer Networks and ISDN Systems 29, 2-4.
[57] David Lee, Krishan K.Sabnani, David M. Kristol, Sanjoy Paul. Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach, IEEE Trans. On Communications. Vol. 44. No.5 May 1996, 631-639.
[58] Kuo-Chung Tai, Yu-Chiou Young, Synchronizable Test Sequences of Finite State Machines. Computer Networks and ISDN System 30, 1998, p1111-1134
[59] Chung-Ming Huang, Meng-Shu Chiang, Ming-Yuhe Jang, UIO: a protocol test sequence generation method using the transition executability analysis(TEA). Computer Communications 1998, 1462-1475
[60] B.S.Bosik and M.U.Oyar, Formal Methods in Protocol Conformance Testing: From Theory To Implementation, Computer Networks and ISDN Systems, Vol.23, 1991.
[61] Aho, A. V. Dahbura, A. T, Lee, David and Uyar, M.U. An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. Protocol Specification, Testing and Verification’88, Atlantic City, USA, 75-86.
[62] Wen-Huei Chen, Hasan Ural, Synchronizable Test Sequences Based on Multiple UIO Sequences. IEEE/ASM Transactions on Networking, VOL. 3 NO. 2, April 1995
[63] Wen-Huei CHEN, Obtaining Unique Input/Output Sequences of Communication Protocols. IEEE Transaction on Communication, Vol.E80-b, NO. 10 October 1997
[64] Jianguo Wang, Ruibing Hao and Jianping Wu, TUGEN: An automatic test case generator integrating data-flow an control-flow testmethods, Session 8 paper 7, in IEEE International Conference on Communications, v1, 1998. IEEE, Piscataway, NJ, USA, p286-290
[65] Lee, Do-young and Lee, Jai-yong. A well-defined Estelle specification for the automatic test generation. IEEE Trans. On Computer, Com-40(4), 526-542
[66] P. Tripathy and K. Naik. Generation of adaptive test cases from nondeterministic finite state models. Proceedings of FIPTC6 5th International Workshop on Protocol test Systems. 1992.
[67] T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer network and ISDN systems, 1987,14(3): 55-70.
[68] Jan Tretman. Test case derivation form LOTOS specification, Proceedings of IFIP TC6 International Conference on Formal Description Techniques II, 1989.
[69] Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim. An Algebraic Semantics for Message Sequence Chart Documents. Formal Description Techniques and Protocol Specification, Testing and Verification. Paris, France, Nov.1998, 3-18
[70] J.Grabowski, D. Hogrefe and R. Nahm. Test case generation with test purpose specification bye MSCs. Proceedings of SDL’93 – Using Objects. North-Holland, Chapman&Hall, 1993. 1-13.
[71] Tae-hyong Kim, lk-soon Hwang, Chan-min Park, Jai-yong Lee, sang-bae Lee, Automatic test case generation of real protocols: Framework and Methodology. FORTE XI/PSTV XVIII’98 P127-140
[72] E. Brinksma. A framework for test selection. Proceedings of IFIP the 11th International Workshop on Protocol Specification, Testing and Verification. North-holland: Chapman&Hall, 1991. 67-80.
[73] R.Hao and J.Wu. Test execution based on TTCN’s operational semantics. Journal of Communications, 1995, 20(2),89-124.
[74] D. Cypher, et al, "Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI," proceedings of FORTE/PSTV'98, Case Studies in Protocols, November 3-6, 1998, Paris France.
[75] Y. Song, D. Cypher, and D. Su, "Simulation and Performance of PNNI ATM Networks," Proceedings of the 7th International Conference on Telecommunication Systems Modeling and Analysis, pp 387-401, March 18-21, 1999, Nashville, TN.
[76] O. Elloumi, N. Golmie, H. Afifi, and D. Su, "A Study of TCP Dynamics over HFC Networks, Proceedings of Globecom'98, pp 545-550, November, 1998, Sydney, Australia.
[77] O. Elloumi, N. Golmie, H. Afifi, and D. Su, "A Simulation- based Study of TCP Dynamics over HFC Networks", Computer Networks, Vol. 32, No. 3, pp. 301-317, 2000.
[78] R.Gecse, Conformance Testing Methodology of Internet Protocols, Testing of Communicating Systems, Tomsk, Russia, Sep.1998
[79] R.Gecse, P.Kremer, Automated Test of TCP Congestion Control Algorithms, Testing of Communicating Systems, Budapest, Hungary, Sep.1999.
[80] T.Kato, T. Ogishi, A. Idoue and K. Suzuki, Design of Protocol Moniter Emulating Behaviors of TCP/IP Protocols, Testing of Communicating Systems, Cheju Island, Korea, Sep. 1997.
[81] T.Kato, T. Ogishi, Intelligent protocol analyzer with TCP behavior emulation for interoperability testing of TCP.IP protocols. Formal Description Techniques and Protocol Specification, Testing and Verification. Osaka, Japan, 1997, 434-449.
[82] T.Ogishi, A. Idoue, T.Kato and K.Suzuki, Intelligent Protocol Analyzer for WWW server Accesses with Exception Handle Function, Testing of Communicating Systems, Tomsk, Russia, Sep.1998.
[83] Janos Mohacsi, Szabolcs Szigeti, Tamas Maray, Testing IPv6 implementations, Computer Network and ISDN Systems 30(1998),1617-1625.
[84] Tibor Csondes, Sarolta Dibuz, Peter Kremer, Experiments on IPv6 Teseting. Proceedings of IFIP the 13th International Conference on Testing of Communication Systems, Aug.29 2000, Ottawa, Canada 113-126
[85] University of New Hampshire, InterOperability Lab: IP Consortium Test Suite, Internet Protocol Version6, Technical Document, Jan. 2000.
[86] Okabe, Nobuo, TAHI Project: Verification technologies for IPv6. Jul.1999.
[87] Hiroshi MIYATA, 2nd TAHI IPv6 Interoperability Test Event Report. 48th IETF Pittsburgh.
[88] J,Tian, Z.Li, The Next Generation Internet Protocol and Its Test, (to appear) IEEE International Conforence of Communication, Helsinki, Finland, Jun. 2001.
[89] A. Conta, S. Deering. Internet Control Message Protocol (ICMPv6) for the Internet Protocol Version 6 (IPv6) Specification. December 1998.
[90] ETSI Technical Report, Advanced Testing Methods (ATM); Vocabulary of terms used in communication protocols conformance testing, ETR 022, Jan,1993
[91] Bi Jun,Wu Jian-ping. Towards abstarct test method for relay system testing. Proceedings of the IFIP 10th International Workshop on Protocol Test Systems. Amsterdam:Elsevier Science Publishers,1997
[92] J. McCann, S. Deering, J. Mogul, Path MTU Discovery for IP version 6, RFC1981, August 1996.
[93] P. Metzger, W. Simpson, IP Authentication using Keyed MD5 ,RFC 1828, August 1995.
[94] P. Karn, P. Metzger, W. Simpson, The ESP DES-CBC Transform , RFC 1829 , August 1995.
[95] S. Kent, R. Atkinson, Security Architecture for the Internet Protocol , RFC 2401 , November 1998.
[96] S. Kent, R. Atkinson, IP Authentication Header , RFC 2402 , November 1998.
[97] S. Kent, R. Atkinson, IP Encapsulating Security Payload (ESP), RFC 2406, November 1998.
[98] D. Johnson, C. Perkins, Mobility Support in IPv6 , Internet Draft, draft-ietf-mobileip-ipv6-13.txt , November 2000.
[99] S. Thompson, T. Narten, IPv6 Stateless Address Autoconfiguration , RFC2462, December 1998.
[100] V.V.Ostapenko, Test selection based on implementation specification. IEEE.1998, 1089-6503.
[101] W.Richard Stevens TCP/IP Illustrated, Volume 1 The Porotocols,1999,Addison Wesley Longman, Inc. ISBN 7-301-04233-7.
[102] T. Narten, E. Nordmark, W. Simpson, Neighbor Discovery for IP Version 6 (IPv6), December 1998.
[103] IAB, IESG, IPv6 Address Allocation Management , RFC 1881, December 1995.
[104] Y. Rekhter, T. Li, An Architecture for IPv6 Unicast Address Allocation , RFC 1887, December 1995.
[105] R. Hinden, B. Carpenter, L. Masinter, Format for Literal IPv6 Addresses in URL's, RFC 2732, December 1999.
[106] R. Hinden, M. O'Dell, S. Deering, An IPv6 Aggregatable Global Unicast Address Format , RFC 2374 , July 1998.
[107] R. Hinden, S. Deering, IPv6 Multicast Address Assignments , RFC 2375, July 1998.
[108] D. Johnson, S. Deering, Reserved IPv6 Subnet Anycast Addresses, RFC2526, March 1999.
[109] A. Conta, S. Deering, Generic Packet Tunneling in IPv6 Specification , RFC2473, December 1998.
[110] B. Carpenter, C. Jung, Transmission of IPv6 Packets over IPv4 Domains without Explicit Tunnels , RFC2529 , March 1999.
[111] R. Gilligan, E. Nordmark, Transition Mechanisms for IPv6 Hosts and Routers, RFC2893, August 2000
[112] D. Haskin, R. Callon, Routing Aspects Of IPv6 Transition , RFC 2185, September 1997.
[113] Chanson S T,Zhu Jin-song. A unified approach to protocol test sequence generation. Proceedings of the IEEE INFORCOM Conference.New York:IEEE Press,1993
[114] Huang C M,Lin Y C,Jang M Y.An executable protocol test sequence generation method for EFSM-specified protocols. Proceedings of the IFIP 5th International Workshop on Protocol Test Systems. Amsterdam: Elsevier Science Publishers, 1995.
[115] Bourhfir C,Dssouli R, Aboulhamid E, Automatic executable test case generation for extended finite state machine protocols. Proceedings of the IFIP 10th International Workshop on Protocol Test Systems. Amsterdam:Elsevier Science Publishers,1997
[116] Anders Ek, Telelogic AB, Malmo, “Automatic Debugging of Communicating Systems Using the Tau SDL Validator” Technical paper, Sweden, 2000
[117] 田军 李忠诚,IPv6 协议一致性测试系统,已录用,计算机辅助设计与图形学报。
[118] 田军,李忠诚,“基于 TTCN 描述的 Ipv6 协议测试”CTC’2000, 全国测试会议,p296-300。
[119] 田军,李忠诚,下一代 Internet 协议 Ipv6 及其测试, 第六届计算机科学与技术会议 p288-295。
[120] 田军,李忠诚,邻居发现协议的形式化测试, 已录用,计算机研究与发展。
[121] 张玉军,田军,李忠诚,Ipv6 中邻居发现协议及其测试, 已录用,计算机工程与应用。
[122] 田军,IPv6 协议一致性测试集描述语言 TSS 语法/语义定义。技术报告,2000 年 12 月。