j-POST: a Java Toolchain for Property-Oriented Software Testing

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

1 VERIMAG - IMAG - VERIMAG
2 LIG - Laboratoire d'Informatique de Grenoble
3 LSR - IMAG - Laboratoire Logiciels Systèmes Réseaux

j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test generation is based on an original approach which consists of deriving a set of communicating test processes obtained both from a requirement formula (expressed in a trace-based logic) and a behavioral specification of some specific parts of the software under test. The test execution engine is then able to coordinate the execution of these test processes against a distributed Java program. j-POST was applied to check the correct deployment of a security policy for a travel management application.

Domaines: Systèmes embarqués; Réseaux et télécommunications [cs.NI]

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. MBT'08: Model-Based Testing, 2008, pp.29-41. ⟨hal-00346061⟩