Abstract:Model-based testing (MBT) provides a systematic and automated way to facilitate rigorous testing of software systems. MBT has been an intense area of research and a large number of MBT techniques have been developed in the literature and in the practice. However, all of the techniques have been developed using their own concepts and terminology of MBT, which are very often different than other techniques and at times have conflicting semantics. Moreover, while working on MBT projects with our industrial partners in the last several years, we were unable to find a unified way of defining MBT techniques based on standard terminology. To precisely define MBT concepts with the aim of providing common understanding of MBT terminology across techniques, we formalize a small subset of the recently released ISO/IEC/IEEE 29119 Software Testing Standard as a conceptual model (UML class diagrams) together with OCL constraints. The conceptual model captures all the necessary concepts based on the standard terminology that are mandatory or optional in the context of MBT techniques and can be used to define new MBT tools and techniques. To validate the conceptual model, we instantiated its concepts for various MBT techniques previously developed in the context of our industrial partners. Such instantiation automatically enforces the specified OCL constraints. This type of validation provided us feedback to further refine the conceptual model. Finally, we also provide our experiences and lessons learnt for such formalization and validation.

Manual Portion In Software Process Transformation Model

Assistance in Model Driven Development: Toward an Automated Transformation Design Process

Modeling Business for MDA Software Paradigm

ON MDA MODEL TRANSFORMATION TOOLS

A Model Driven Approach to Defining Workflow Process

A Model-Driven Approach for Model Transformations

On Model Transformation Reuse

Business Process Modeling Method and Application Oriented MDA

The IFBMDA: A Model for Mechanical Design Automation

ON MDA MODEL TRANSFORMATION TECHNIQUE OF DEALING WITH DYNAMIC ACTION DESCRIPTION

A Tool Designed for MDA Transformation from EDOC Business Process Model to J2EE Applications

A Mapping Approach for MDA Model Transformation Based on J2EE Platform

An MDE-based Method for Bridging Different Design Notations

MDA Model Transformation Methods for EDOC ER Models

A Formal Language for Model Transformation Specification

A MDE Based Approach for Bridging Formal Models

XMI-Based SysML Model Transformation

MDA Based Design Patterns Modeling and Model Transformation

A MOF-Based Framework for Defining Metrics to Measure the Quality of Models.

Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard

Activity Based CIM Modeling and Transformation for Business Process Systems.