Mutation Testing of Protocol Messages Based on Extended TTCN-3

Jing, Chuanming; Wang, Zhiliang; Shi, Xingang; Yin, Xin; Wu, Jianping

doi:10.1109/aina.2008.98

Cited by 17 publications

(19 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Invalid inputs include messages with invalid syntax (i.e., messages which disobey protocol specification data formats) and messages with anomalous semantics (i.e., messages which have valid syntax but conflict with protocol state, configuration, parameters and policies). Robustness testing by injecting messages with invalid syntax is called mutation testing of protocol messages [16]. Jing et al [16] claimed that TTCN-3, a standard test specification language, reveals strong excellence in conformance testing, and they applied TTCN-3 to mutation testing and extended it according to test requirements.…”

Section: Related Workmentioning

confidence: 99%

“…Robustness testing by injecting messages with invalid syntax is called mutation testing of protocol messages [16]. Jing et al [16] claimed that TTCN-3, a standard test specification language, reveals strong excellence in conformance testing, and they applied TTCN-3 to mutation testing and extended it according to test requirements. They tested OSPFv2 sufficiently with a test system based on extended TTCN-3.…”

Section: Related Workmentioning

confidence: 99%

“…Furthermore, disturbance, misconfiguration and man-made attacks exist in the Internet. The critical requirement on reliability, fault tolerance and security of network devices highlights the necessity of protocol robustness testing [16].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Protocol-Based Testing of Firewalls

Tuğlular

Belli

2009

2009 Fourth South-East European Workshop on Formal Methods

View full text Add to dashboard Cite

Abstract-A firewall is the most important tool of network security defense. Its proper functioning is critical to the network it protects. Therefore a firewall should be tested rigorously with respect to its implemented network protocols and security policy specification. We propose a combined approach for test case generation to uncover errors both in firewall software and in its configuration. In the proposed approach, abstract test cases are generated by mutating event sequence graph model of chosen network protocol and filled with values from policy specification by using equivalence partitioning and boundary value analysis. A case study is presented to validate the presented approach.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Protocol-Based Testing of Firewalls

Tuğlular

Belli

2009

2009 Fourth South-East European Workshop on Formal Methods

View full text Add to dashboard Cite

show abstract

“…Manually generating these messages will be a huge task, and makes more difficult to the maintenance and extension. Chuanming Jing et al [4][5] [6] extend TTCN-3 for auto-generation anomalous messages. Its hex-based mutation strategy is useful to low-level protocols such as BGP and OSPF, but difficult to be applied in text based application-layer protocol.…”

Section: Overviewmentioning

confidence: 99%

“…But most of their test cases are used to test semantics of protocol specification. Chuanming Jing et al [4][5] [6] build a novel Nondeterministic Parameterized Extended Finite State Machine model for mutation testing, and test OSPFv2 sufficiently based on extended TTCN-3. The main shortage is that their hex-based mutation strategy is difficult to be applied in text based application-layer protocol.…”

Section: Introductionmentioning

confidence: 99%

SIP Robustness Testing Based on TTCN-3

Yang

Wang

Yin

2009

2009 International Conference on Advanced Information Networking and Applications Workshops

Self Cite

View full text Add to dashboard Cite

show abstract

A formal approach to robustness testing of network protocol with time constraints

Yin

Wang

Jing

et al. 2011

Security Comm Networks

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Mutation Testing of Protocol Messages Based on Extended TTCN-3

Cited by 17 publications

References 3 publications

Protocol-Based Testing of Firewalls

Protocol-Based Testing of Firewalls

SIP Robustness Testing Based on TTCN-3

A formal approach to robustness testing of network protocol with time constraints

Contact Info

Product

Resources

About