A formal approach to robustness testing of network protocol with time constraints
Article first published online: 5 FEB 2010
Copyright © 2010 John Wiley & Sons, Ltd.
Security and Communication Networks
Volume 4, Issue 6, pages 622–632, June 2011
How to Cite
Yin, X., Wang, Z., Jing, C. and Wu, J. (2011), A formal approach to robustness testing of network protocol with time constraints. Security Comm. Networks, 4: 622–632. doi: 10.1002/sec.193
- Issue published online: 5 FEB 2010
- Article first published online: 5 FEB 2010
- National Natural Science Foundation of China. Grant Number: 60572082
- Young Faculty Research Funding of Ministry of Education of China. Grant Number: 200800031063
- National Key Technology R&D Program of China. Grant Number: 2008BAH37B04
- protocol testing;
- robustness testing;
- timed testing;
Network protocols often have time constraints. Robustness testing of network protocol with time constraints aims to detect vulnerabilities of its implementation. However, related theory is not well developed. This paper proposes a novel Timed NPEFSM model containing sufficient inputs with various time values and their processing rules to formalize complex protocol with time constraints. In order to test delay transitions, Grid Timed NPEFSM is proposed and it can be generated by state characterization of Timed NPEFSM based on time sampling. Thus, these two models jointly guide robustness testing of protocol with time constraints. For test generation, we propose timed anomalous test case in which only state under test is characterized by time sampling and this method can simplify test sequences largely without compromising test coverage. We also propose several strategies to construct test sequences for timed transitions. To inject test data efficiently and effectively, three types of timed compound anomalous test cases are proposed and the algorithm of generating timed compound anomalous test cases considering both single-field and multi-field mutations is then presented. Standard test specification language TTCN-3 is extended to describe timed compound anomalous test case. We illustrate our test method using an intra-domain routing protocol OSPFv2. Copyright © 2010 John Wiley & Sons, Ltd.