Mutation testing of protocol messages based on extended TTCN-3

Proceedings - International Conference on Advanced Information Networking and Applications, AINA

Volumn , Issue , 2008, Pages 667-674

  Jing, Chuanming ^a,b   Wang, Zhiliang ^a,b   Shi, Xingang ^a,b   Yin, Xia ^a,b   Wu, Jianping ^a,b  

^a TSINGHUA NATIONAL LABORATORY FOR INFORMATION SCIENCE AND TECHNOLOGY   (China)

^b TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ARSENIC COMPOUNDS; CHLORINE COMPOUNDS; FAULT TOLERANCE; LAWS AND LEGISLATION; NETWORK PROTOCOLS; QUALITY ASSURANCE; RELIABILITY; STANDARDS; TESTING;

CONFORMANCE TESTING; INFORMATION NETWORKING; INTERNATIONAL CONFERENCES; MUTATION TESTING; NETWORK DEVICES; PROTOCOL MESSAGES; ROBUSTNESS TESTING; STANDARD TESTING; TEST CASES; TEST REQUIREMENTS; TEST SEQUENCES; TEST SYSTEMS; TWO TYPES;

WELL TESTING;

EID: 50249114674     PISSN: 1550445X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AINA.2008.98     Document Type: Conference Paper

References (21)

1. IEEE Standard Glossary of Software Engineering Terminology. IEEE Std 610.12-1990, Page 64. 1990.
2. Venkat Pothamsetty,Bora Akyol. A Vulnerability Taxonomy for Network Protocols: Corresponding Engineering Best Practice Countermeasures. IASTED Internet and Communications conference, US Virgin Islands, November 2004.
3. Oulu University Secure Programming Group. PROTOS. Available: http://www.ee.oulu.fi/research/ouspg/protos/index.html. 2002.
4. Kaksonen, R. A Functional Method for Assessing Protocol Implementation Security (Licentiate thesis). Technical Research Centre of Finland, VTT Publications. ISBN 951-38-5873-1.2001.
5. Shu Xiao, Sheng Li, Xiangrong Wang, Lijun Deng.ARF, Cisco Systems, Inc. Fault-oriented Software Robustness Assessment for Multicast Protocols. Proceedings of the Second IEEE International Symposium on Network Computing and Applications (NCA'03)
6. Shu Xiao, Lijun Deng, Sheng Li, Xiangrong Wang, ARF, Cisco Systems, Inc. Integrated TCP/IP Protocol Software Testing for Vulnerability Detection. Proceedings of the 2003 International Conference on Computer Networks and Mobile Computing (ICCNMC'03).
7. Turcotte, Y., Tal, O., Knight S., "Security Vulnerabilities Assessment of the X.509 Protocol by Syntax-Based Testing", accepted for publication MILCOM 2004, Monteray, CA. Oct 30-Nov 3 2004.
8. Tal, O., Knight, S., Dean, T., "Syntax-based Vulnerability Testing of Frame-based Network Protocols", accepted for publication Privacy, Security and Trust 2004 Fredericton, N.B., 13-15 Oct 2004.
9. G. Banks, M. Cova, V. Felmetsger, K. Almeroth, R. Kemmerer and G. Vigna, "SNOOZE: toward a Stateful NetwOrk protocol fuzZEr", Information Security Conference (ISC), Samos Island, GREECE, September 2006.
10. FuzzingTools: http://www.scadasec.net/secwiki/FuzzingTools
11. Jean-Claude Fernandez, Laurent Mounter, and Cyril Pachon. A Model-Based Approach for Robustness Testing. The 17th IFIP International Conference on Testing of Communicating Systems -TestCom 2005, Concordia, Canada, May 30-.lun. 2 2005.
12. Wang Le-Chun. Robustness-testing Technologies of Inter-domain Routing Protocol BGP-4(In Chinese). PhD thesis, National University of Defense Technology, P.R. China, 2005.
13. D. Lee and M. Yannakakis. Principles and Methods of Testing Finite-State Machines-A Survey. Proceedings of IEEE, 1996, 84(8): 1089-1123.
14. R. Alur, C. Courcoubetis, and M. Yannakakis. "Distinguishing tests for nondetenninistic and probabilistic machines," in Proc.27th Annu. ACM Symp. on Theory of Computing, 1995, pp.363-372.
15. ETSI: ETSI Standard ES 201 873-1 V3.2.1(2007-03): The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France. 2007.
16. Beihang, Tian. The design and implement of compile module of PITSv3 based on TTCN-3(In Chinese). Master thesis, Tsinghua University, P.R. China, 2006.
17. Moy, J., "OSPF Version 2", RFC 2328, April 1998.
18. E. Jones, O. Le Moigne, Alcatel. OSPF Security Vulnerabilities Analysis, draft-ietf-rpsec-ospf-vuln-02.txt. June 16, 2006.
19. Antlr. Available: http://www.antlr.org/.
20. StringTemplate. Available: http://www.stringtemplate.org/
21. Zebra. Available: http://www.zebra.org/