Authors:
Alberto Rodrigues da Silva
1
;
Ana C. R. Paiva
2
and
Valter Emanuel R. da Silva
3
Affiliations:
1
INESC-ID and Instituto Superior Técnico, Portugal
;
2
Faculty of Engineering of University of Porto and INESC TEC, Portugal
;
3
Faculty of Engineering of University of Porto, Portugal
Keyword(s):
Test Specification Language (TSL), Test Specification, Model-based Testing (MBT), Test Case Generation.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
Domain-Specific Modeling and Domain-Specific Languages
;
Languages, Tools and Architectures
;
Model-Based Testing and Validation
;
Model-Driven Software Development
;
Software Engineering
Abstract:
This paper introduces the TSL language (short name for “Test Specification Language”) that intends to improve the test specification of information systems in a systematic, rigorous and consistent way. TSL specifications are produced from close requirement specifications expressed in the RSL language (Requirements Specification Language). Both RSL and TSL support human-readable executable specifications closer to natural language than models usually used in model-based testing approaches. TSL includes several constructs logically arranged into views according to multiple testing engineering strategies, commonly found in the information systems domain, such as: data entity tests and state machine tests, all of them produced from equivalent requirement specification in RSL. A case study is also presented to illustrate the proposed approach.