TTNews
WP
12-oct-08 I have uploaded our new paper (see the "Papers" section).
12-oct-08 Version 2.1.3 is uploaded. Small fix.
21-sept-08 Version 2.1.1 is released. It just adds some small fixes.
10-sept-08 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.
7-sept-08 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.
7-sept-08 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.
17-august 08 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.
17-March 08 T2 will feature in the coming JAZOON 08, the International Conference on Java Technology in Zurich 
17-March 08 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.
28-Dec 07 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.
 |
19-Dec 07 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.
10-Dec 07 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.
20-Nov 07 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.
12-Nov 07 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.
31-oct 07 A new page with results from experiments has beed added.
22-oct 07 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.
21-oct 07 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 section below.