Model Based Test Generation Tools

[article]
Member Submitted
Summary:

This report attempts to list the main tools for model based test generation in both the academic and the commercial arena. The aim of the report is to position the AGEDIS tools [1] in the context of what is currently available in both industry and academia.

This report attempts to list the main tools for model based test generation in both the academic and the commercial arena. The aim of the report is to position the AGEDIS tools [1] in the context of what is currently available in both industry and academia.

About the author

Alan Hartman's picture Alan Hartman

Alan Hartman, Ph.D. (hartman@il.ibm.com) is a mathematician working in the Verification Technologies Department at the IBM Haifa Research Laboratory. He received his Ph.D. degree in 1980 at the University of Newcastle, Australia, in the field of combinatorial design theory. He has worked at the University of Waterloo, the University of Toronto, and at Telstra Research Laboratories. His research interests include combinatorics, graph theory, algorithms, software and hardware verification, and communication networks design.

AGEDIS is a three-year research project, partially funded by the European Commission, on the automation of software testing. The aim of the project is to increase the efficiency and competitiveness of the European software industry by automating software testing, and improving the quality of software while reducing the expense of the testing phase. AGEDIS will achieve this by developing a methodology and tools for the automation of software testing in general, with emphasis on distributed component-based software systems.

The consortium that is doing the research and development work consists of eight industrial and academic research centres in Europe and the Middle East. The consortium is headed by the IBM Research Laboratory in Haifa, and contains academic partners at the Oxford University Computing Laboratory, the Verimag laboratory at Universite Joseph Fourier in Grenoble, and the IRISA laboratory in Rennes. The major industrial partners are France Telecom R&D, the IBM development Laboratory in Hursley Park (UK), and Intrasoft International, a software development company with headquarters in Luxembourg and Athens. The company charged with developing commercial applications of the project is a dynamic software testing company, imbus AG, based in Moehrendorf Germany.

StickyMinds is one of the growing communities of the TechWell network.

Featuring fresh, insightful stories, TechWell.com is the place to go for what is happening in software development and delivery.  Join the conversation now!

Upcoming Events

Oct 12
Oct 15
Nov 09
Nov 09