I have uploaded our new paper (see the "Papers" section).
Version 2.1.3 is uploaded. Small fix.
Version 2.1.1 is released. It just adds some small fixes.
Version 2.1 is released. One more feature is added: combinatoric testing. T2 can now exhaustively generate all possible sequences up to a certain length and up to a given maximum number of steps.
Version 2.1 beta is now available. New features: better support for model-based testing, integration with Junit (and therefore integrate with any IDE supporting Junit). 2.1 is also a major refactoring of 1.4, much improved manual.
You can now use T2 from Netbeans IDE. You write T2 test as a Junit test, and uses Netbeans built-in functionality to run Junit tests, which include measuring coverage (after you first install Netbeans plugins for measuring coverage). This is very cool. I also have screen shots
. I will soon provide a simple Netbeans pluggin to produce a template for T2 test.
Version 2.0 is now available. This is just the Silverlance version extended with active application model
and some minor fixes. This version 2.0 is just an intermediate version, before I'm releasing the actual 2.x.
T2 will feature in the coming JAZOON 08
, the International Conference on Java Technology in Zurich
I will be starting the development of version 2.x. It will be slow going at the beginning, due to teaching activities. Planned new features include: mechanism to allow a target class to specify a custom sequence generator, mechanism to break from possible non-termination, simple GUI front end. Some major refactoring is also planned.
Ok, so the Santa was having problem to find Utrecht
Anyway, the promised release version is now available. It has been named T2 Silverlance
Release. Check out the Download section.
T2 is ready to leave its Beta status. We heard that the Santa will upload the first release-version at christmas eve
Our paper "Trace-based Reflexive Testing of OO Programs" has been accepted
in IEEE's 1st international conference on Software Testing, Verification and Validation
. This will be in april 2008.
Beta-1 version is out!! See the download section. Beta-1 has greatly improved usability. It can be run as a stand alone console application and comes with a wide range of options to configure the test engine. The user manual is also extended.
You can play with Beta-1, but keep in mind that it is a beta version. I still have to put it under extensive testing. There are also some issues left with regards to dynamic binding.
Hopefuly I can get the next release by the end of 2007.
I'm working to get a Beta version out. Documentation will also need reworking then. Sigh...
13-Nov 07 The Result Page
has been given a major update.
I tried T2 on java.util.LinkedList. No specification is added; I just want to see the coverage. The result is on the result page
A new page with results from experiments has beed added.
A new release (1062) of V 0.4 has been uploaded. Javadoc API documentation is now also available online. A ppt presentation has been uploaded.
A new release of V 0.4 is on the way, with fixes on temporal prop. checking and addition of app. model checking. Probes are postponed. Next to do is testing T2 itself
as a case study.
15 oct. 07.
A link to a paper
on T2's underlying approach is added to the Documentation