Article citationsMore>>

Jing, C., Wang, Z., Shi, X., Yin, X. and Wu, J. (2008) Mutation Testing of Protocol Messages Based on Extended TTCN-3. 22nd International Conference on Advanced Information Networking and Applications (AINA 2008), Ginowan, 25-28 March 2008, 667-674.
https://doi.org/10.1109/AINA.2008.98

has been cited by the following article:

• TITLE: Inmap-t: Leveraging TTCN-3 to Test the Security Impact of Intra Network Elements

  AUTHORS: Antonino Vitale, Marc Dacier

  KEYWORDS: TTCN-3, Network Security, Conformance Testing, Deep Packet Inspection, Firewall

  JOURNAL NAME: Journal of Computer and Communications, Vol.9 No.6, June 29, 2021

  ABSTRACT: This paper rejuvenates the notion of conformance testing in order to assess the security of networks. It leverages the Testing and Test Control Notation Version 3 (TTCN-3) by applying it to a redefined notion of System under Test (SUT). Instead of testing, as it is classically done, a software/firmware/ hardware element, an intangible object, namely the network, is tested in order to infer some of its security properties. After a brief introduction of TTCN-3 and Titan, its compilation and execution environment, a couple of use cases are provided to illustrate the feasibility of the approach. The pros and cons of using TTCN-3 to implement a scalable and flexible network testing environment are discussed.