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

Authors:
Yliès Falcone;Laurent Mounier;Jean-Claude Fernandez;Jean-Luc Richier
Affiliations:
Verimag, Université Grenoble I, INPG, CNRS, Grenoble, France;Verimag, Université Grenoble I, INPG, CNRS, Grenoble, France;Verimag, Université Grenoble I, INPG, CNRS, Grenoble, France;LIG Laboratory, Université Grenoble I, INPG, CNRS, Grenoble, France
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 5
Cited 1

Temporal verification of reactive systems: safety

Temporal verification of reactive systems: safety
Testing Processes from Formal Specifications with Inputs, Outputs and Data Types

ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
A test calculus framework applied to network security policies

FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
A compositional testing framework driven by partial specifications

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems

Scenario-based testing using symbolic animation of B models

Software Testing, Verification & Reliability

Quantified Score

Hi-index	0.04

Visualization

Abstract

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.