The testing framework proposed in our ICTSS article [FFJMM10] and extended to STTT [FFJMM] has been implemented in a prototype tool Java-PT : Properties and their Testability in Java. This tool aims at helping test engineers during the test design in order to improve the quality of produced tests.
The tool is developed in Java and uses XML, XSLT, XStream as supporting technologies. An overview of the architecture of Java-PT is given in the Figure above. The users designs a property and indicates one relation studied in [FFJMM10,FFJMM]. The tool is able to indicate the class of the property in the Safety-Progress classification and if this property is testable according the relation given in input.
One may consult the dedicated website for more information on the toolbox.