Publication: An experiment design for validating a test case generation strategy from requirements models
Loading...
Date
2014
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE
Abstract
Currently, in a Model-Driven Engineering environment, it is a difficult and challenging task to fully automate model-driven testing because this demands complete and unambiguous models as input. Although some approaches have been developed to generate test cases from models, they require rigorous assessment of the completeness of the derivation rules. This paper proposes the plan and design of a controlled experiment that analyses a test case generation strategy for the purpose of evaluating its completeness from the viewpoint of those testers who will use a Communication Analysis-based requirements model. We will compare the abstract test cases obtained by applying (i) manual derivation without derivation rules with (ii) manual derivation with transformation rules; and both these strategies against a case of automated generation using transformation rules.
Description
Actualmente, en un entorno de ingeniería basada en modelos, es una tarea difícil y desafiante automatizar completamente las pruebas basadas en modelos porque esto exige modelos completos y no ambiguos como entrada. Aunque se han desarrollado algunos enfoques para generar casos de prueba a partir de modelos, requieren una evaluación rigurosa de la integridad de las reglas de derivación. Este documento propone el plan y el diseño de un experimento controlado que analiza una estrategia de generación de casos de prueba con el fin de evaluar su integridad desde el punto de vista de aquellos evaluadores que utilizarán un modelo de requisitos basado en el análisis de comunicación. Compararemos los casos de prueba abstractos obtenidos aplicando (i) derivación manual sin reglas de derivación con (ii) derivación manual con reglas de transformación; y ambas estrategias contra un caso de generación automatizada utilizando reglas de transformación.
Keywords
Experimental Design, Test Case Validation, Model-driven testing, Conceptual Schema Testing, Test Model Generation, Test Cases Generation