Model-based testing and the UML testing profile

Authors:
Padmanabhan Krishnan;Percy Pari-Salas
Affiliations:
Centre for Software Assurance, School of Information Technology, Bond University, Gold Coast, Queensland, Australia;Centre for Software Assurance, School of Information Technology, Bond University, Gold Coast, Queensland, Australia
Venue:
Semantics and algebraic specification
Year:
2009

Citing 9
Cited 0

Action semantics

Action semantics
The AETG System: An Approach to Testing Based on Combinatorial Design

IEEE Transactions on Software Engineering
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Reasoning about Software-Component Behavior

ICSR-6 Proceedings of the 6th International Conerence on Software Reuse: Advances in Software Reusability
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Towards software architecture-based regression testing

WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
Improving Evidence about Software Technologies: A Look at Model-Based Testing

IEEE Software
CZT: a framework for Z tools

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Quantified Score

Hi-index	0.00

Visualization

Abstract

The UML Testing Profile (U2TP) provides a means of using UML for test case specification. In this work we show how the concepts of model-based testing can be mapped to U2TP at the conceptual level. We discuss structural as well as behavioural issues that allow certain aspects of model-based testing to be considered an instance of U2TP. This is achieved without insisting that model-based testing should use UML. We show how the process of using model-based testing including test case design, test generation and test execution using a tool can be captured as an instance of U2TP. The aim of this exercise is to show that model-based testing can be adopted as part of the U2TP framework, and that one does not need a different framework to adopt model-based testing in practice.