Conferences, Europe

Conferences, World

Test Tool Sites

Others

 

imbus survey on test tools - Index: Test Automation - Memory Access/Code Verification - Code Coverage Tools - Static/Dynamic Analysis - Configuration Management - Load Test Tools - Other

imbus software tools - GUI Test Case Library - "Powerful add-on for Mercury Interactive's WinRunnerŪ, granting quicker and more effective test programming." - Bug Tracking System - "Easy-to-use database-supported tool for managing error messages and change requests during software development projects."

Tool Development - VERIMAG - Information on the intermediate format IF and on the CADP validation toolset

Web Site Test Tools and Site Management Tools - Software QA/ Test Resource Center - Lots of links to test tool sites. - "The description of each tool is based on descriptions provided in its web site."

Tetworks - "In late 1989 the Open Software Foundation, UNIX International, and X/Open banded together to define a common interface for the development and use of conformance tests. In order to ensure that the interface met the needs of the test development community, the founding organizations invited the industry to participate in its definition and development. That interface, now the single most broadly used framework for test development, is the Test Environment Toolkit or TET."

T-VEC Technologies - has a Test Vector Generation System which accepts models of requirements and behavior of a system in a proprietary language called T-VEC Linear Form.

Conformiq Software has announced a new product which is due for release in autumn 2002. Visit their web site for more information.

Reactive Systems Inc offers the tool Reactis. It accepts models in the SimuLink and StatFlow modeling language.

Telelogic Tau TTCN Suite of Telelogic is a suite of tools for the creation, simulation, and manipulation of SDL models.

UniTesK (Unified Testing and Specification Toolkit) produced by ISPRAS (Institute for System Programming of the Russian Academy of Sciences) is on the border between a commercial and an academic tool.

SpecTest is an automatic test generator from George Mason University. It is not yet available for downloading.

The MulSaw project at MIT incorporates two tools for the generation of test cases for Java programs. The tools are not available for experimentation.

TOSTER (The Object-oriented Software Testing Environment) is a test generation and execution system produced by the Warsaw University of Technology.

Others 

PETS - Prediction of software Error rates based on Test and Software maturity results - In December 2000, the European Commission signed an agreement to fund a two-year CRAFT project on software reliability prediction. The consortium was headed by imbus AG. The other industrial partner is Aprote, a software development company located in Tartu, Estonia. The Chair of Statistics and Econometrics at the University of Erlangen-Nuremberg conducted the research.

The precise UML group - The precise UML (pUML) group aims to bring together international researchers and practitioners who share the aim of developing the Unified Modelling Language (UML) as a precise (i.e. well defined) modelling language.

Information on UML at OMG (Object Mangement Group)