A Test Calculus Framework Applied to Network Security Policies

Yliès Falcone (1) , Jean-Claude Fernandez (1) , Laurent Mounier (1) , Jean-Luc Richier (2)

1 VERIMAG - IMAG - VERIMAG
2 LIG - Laboratoire d'Informatique de Grenoble

We propose a syntax-driven test generation technique to automatically derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an elementary test case (called a “tile”) is associated to each basic predicate of the formula, we show how to generate a set of test controllers associated to each logical operator, and able to coordinate the whole test execution. The test cases produced are expressed in a process algebraic style, allowing to take into account the test environment constraints. We illustrate this approach in the context of network security testing, for which more classical model-based techniques are not always suitable.

Domains: Networking and Internet Architecture [cs.NI]; Symbolic Computation [cs.SC]; Embedded Systems

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Test Calculus Framework Applied to Network Security Policies. FATES/RV'06: Formal Approaches to TESting/Runtime Verification, 2006, pp.55-69. ⟨hal-00346032⟩