A Test Calculus Framework Applied to Network Security Policies

Free registration required

Executive Summary

The authors 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, they 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 taking into account the test environment constraints.

  • Format: PDF
  • Size: 267.8 KB