The AGEDIS tools for model based testing

Authors:
Alan Hartman;Kenneth Nagin
Affiliations:
IBM Haifa Research Laboratory, Haifa University, Haifa, Israel;IBM Haifa Research Laboratory, Haifa University, Haifa, Israel
Venue:
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Year:
2004

Citing 4
Cited 1

UML-Based integration testing

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Test Generation Derived from Model-Checking

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Using a model-based test generator to test for standard conformance

IBM Systems Journal
Generating tests from UML specifications

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

MBT4Chor: A Model-Based Testing Approach for Service Choreographies

ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 UML 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.