Java-PT: Properties and their Testability with Java

 

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.

 tool-architecture

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.

 Posted by at 8:16 AM

Sorry, the comment form is closed at this time.