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

Ylìès Falcone | Zendy; Laurent Mounier | Zendy; Jean-Claude Fernandez | Zendy; Jean-Luc Richier | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Ylìès Falcone,

Laurent Mounier,

Jean-Claude Fernandez,

Jean-Luc Richier

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.11.004

Subject(s) - toolchain , computer science , programming language , java , software deployment , trace (psycholinguistics) , system under test , test case , property (philosophy) , software engineering , software , operating system , embedded system , linguistics , philosophy , regression analysis , machine learning , epistemology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research