Project Ressources

STclass is an open source project under LGPL Licence; it is hosted on the Tigris forge, the available services are:

An UBS/Valoria Project

This project is supported by the ALCC Team of the VALORIA Laboratory at Université de Bretagne Sud (UBS - Vannes - France).

ubs   valoria

Runtime evaluable contracts

STclass allows the definition and evaluation of functional contracts, as defined by B. Meyer in the Design by Contract approach:

  • OCL like invariants on classes, pre- and post-conditions on methods;
  • contracts defined in javadoc comments (can be extracted by javadoc);
  • contracts inheritance from parent class and interfaces following the Meyer's rules;

Class level unit testing

  • test are organized in TestUnits, TestCases and TestSuites;
  • Setup and Teardown actions can be associated to TestCase, a testUnit can participate to several TestCases;
  • tests are contract-based: TestUnits define only scenarii, oracles are evaluated by contracts;
  • tests are built-in: all the test definition is made in comments of the source code;
  • tests are inheritable from parent classes and interfaces.

A testing framework for practitioners

  • A preprocessor generates from the source an instrumented code with a main function: running the test is only running the class itself. Options manage the test conditions; it is possible to launch TestUnits individualy in verification mode; with Ant or other scripts, package or system test can be performed.
  • Test result are saved in XML format, postprocessing tools produce nice HTML reports.
  • Using the JIP profiler, a statisitic and profiling analysis can be made during the test, its results are added to the HTML report.