Distributed and Complex Systems Group : Homepage

:Vérimag Distributed and Complex Systems Group

j-POST -- Property Oriented Software Testing

Tool-chain download

The GUI version of j-POST is available for linux. Versions for Windows and Mac OS X are upcoming.

In command line, j-POST has been tested and works on Linux and Mac OS X. Please contact us to retrieve a command-line version of j-POST

Version History

May 9, 2008: j-POST is now distributed as a unique graphic tool.

Test Designer

  • Apr 8, 2008: GUI version available
  • Nov 2, 2007: TestDesigner 0.2
    • Full inclusion of the test case editor as an Eclipse EMF plugin
    • Corrected a bug with the output path of the test case image
    • Improved the distribution package
  • Oct 1, 2007: TestDesigner 0.1

Test Generator

  • Apr 8, 2008: GUI version available
  • Nov 19, 2007: TestGenerator 0.3
    • Support for Extended Regular Expression as requirement formalism
  • Nov 2, 2007: TestGenerator 0.2
    • Improved the distribution package
  • Oct 1, 2007: TestGenerator 0.1

Test Engine

  • Apr 8, 2008: GUI version available
  • Nov 9, 2007: TestEngine 0.2.1
    • Improved graphs of execution logs
  • Nov 2, 2007: TestEngine 0.2
    • Corrected a bug in the communication between test processes
    • Improved the distribution package
  • Oct 1, 2007: TestEngine 0.1