By Topic

A Formal Approach to Robustness Testing of Network Protocol with Time Constraints

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Chuanming Jing ; Tsinghua Nat. Lab. for Inf. Sci. & Technol., Beijing ; Xia Yin ; Zhiliang Wang ; Jianping Wu

Network protocols often have time constraints. Robustness testing of 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 protocol with time constraints. In order to test delay transitions, Grid Timed NPEFSM is proposed which can be generated by state characterization of Timed NPEFSM using 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 timed test sequences. To inject test data efficiently and effectively, three types of timed compound anomalous test cases are proposed. Standard test specification language TTCN-3 is extended to describe test generation. We illustrate our method using a routing protocol: OSPFv2.

Published in:

Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for

Date of Conference:

18-21 Nov. 2008