RI-Po robustness-testing of BGP through specification mutations
作者： Zhu Peidong Wang Lechun
DOI: 10.1109/ICON.2005.1635631
关键词:
摘要: Robustness testing is a very active research area in protocol testing. This paper starts with the analysis of RI-Pro BGP-4, and then builds scenario model to describe process route update. The new studies from relationship units instead function RI-Pro. Based on this model, we give specification by redefining its unit, expression, predicate, interface, action, behavior. A mutation operator set for BGP presented, addressing: expression interface. Through mutating, conflict relationships which used constructing robustness-testing case can be generated completely. All above compose systematic robustness approach. experiments Cisco 7200 indicates that error handling coverage negative test suite approach increased 48 percent, error-detecting capability enhanced 1.3 times.
sci-hub.se 参考文章(11)
D Richard Kuhn, Fault Classes and Error Detection in Specification Based Testing | NIST - 6140. ,(1998) , 10.6028/NIST.IR.6140
Jianping Wu, Zhongjie Li, Xia Yin, Towards modeling and testing of IP routing protocols Lecture Notes in Computer Science. pp. 49- 62 ,(2003) , 10.1007/3-540-44830-6_5
Lechun Wang, Peidong Zhu, Zhenghu Gong, Systematic Robustness-Testing RI-Pro of BGP Parallel and Distributed Processing and Applications. pp. 463- 468 ,(2004) , 10.1007/978-3-540-30566-8_55
Simone do Rocio Senger de Souza, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza, José Carlos Maldonado, None, Mutation testing applied to Estelle specifications hawaii international conference on system sciences. ,vol. 8, pp. 285- 301 ,(2000) , 10.1023/A:1008978021407
Ratul Mahajan, David Wetherall, Tom Anderson, Understanding BGP misconfiguration Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications - SIGCOMM '02. ,vol. 32, pp. 3- 16 ,(2002) , 10.1145/633025.633027
M.R. Woodward, Mutation testing—its origin and evolution Information & Software Technology. ,vol. 35, pp. 163- 169 ,(1993) , 10.1016/0950-5849(93)90053-6
P.E. Black, V. Okun, Y. Yesha, Mutation operators for specifications automated software engineering. pp. 81- 88 ,(2000) , 10.1109/ASE.2000.873653
C. Labovitz, G.R. Malan, F. Jahanian, Origins of Internet routing instability international conference on computer communications. ,vol. 1, pp. 218- 226 ,(1999) , 10.1109/INFCOM.1999.749286
M.E. Delamaro, J.C. Maidonado, A.P. Mathur, Interface Mutation: an approach for integration testing IEEE Transactions on Software Engineering. ,vol. 27, pp. 228- 247 ,(2001) , 10.1109/32.910859
Tom Anderson, Scott Shenker, Ion Stoica, David Wetherall, Design guidelines for robust Internet protocols acm special interest group on data communication. ,vol. 33, pp. 125- 130 ,(2003) , 10.1145/774763.774783