The AGEDIS tools for model based testing

A. Hartman, K. Nagin

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven test generation and execution for distributed systems. The project includes an integrated environment for modeling, test generation, test execution, and other test related activities. The tools support a model based testing methodology that features a large degree of automation and also includes a feedback loop integrating coverage and defect analysis tools with the test generator and execution framework. Prototypes of the tools have been tried in industrial settings providing important feedback for the creation of the next generation of tools in this area.

Original languageEnglish
Title of host publicationISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis
PublisherAssociation for Computing Machinery (ACM)
Number of pages4
ISBN (Print)1581138202, 9781581138207
StatePublished - 2004
EventACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004 - Boston, MA, United States
Duration: 11 Jul 200414 Jul 2004


ConferenceACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004
Country/TerritoryUnited States
CityBoston, MA


  • Automated test generation
  • Coverage analysis
  • Defect analysis
  • Test execution framework
  • UML modeling

ASJC Scopus subject areas

  • General Engineering


Dive into the research topics of 'The AGEDIS tools for model based testing'. Together they form a unique fingerprint.

Cite this