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.
