TY - GEN
T1 - An experiment design for validating a test case generation strategy from requirements models
AU - Granda, Maria Fernanda
N1 - Publisher Copyright:
© 2014 IEEE.
PY - 2014/9/3
Y1 - 2014/9/3
N2 - 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.
AB - 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.
KW - Conceptual Schema Testing
KW - Experimental Design
KW - Model-driven testing
KW - Test Case Validation
KW - Test Cases Generation
KW - Test Model Generation
UR - https://www.scopus.com/pages/publications/84928105892
U2 - 10.1109/EmpiRE.2014.6890115
DO - 10.1109/EmpiRE.2014.6890115
M3 - Contribución a la conferencia
AN - SCOPUS:84928105892
T3 - 2014 IEEE 4th International Workshop on Empirical Requirements Engineering, EmpiRE 2014 - Proceedings
SP - 44
EP - 47
BT - 2014 IEEE 4th International Workshop on Empirical Requirements Engineering, EmpiRE 2014 - Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2014 IEEE 4th International Workshop on Empirical Requirements Engineering, EmpiRE 2014
Y2 - 25 August 2014
ER -