Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests

Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva

2018

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.

Paper Citation

in Harvard Style

Rodrigues da Silva A., C. R. Paiva A. and Emanuel R. da Silva V. (2018). Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 213-224. DOI: 10.5220/0006608002130224

in Bibtex Style

@conference{modelsward18,
author={Alberto Rodrigues da Silva and Ana C. R. Paiva and Valter Emanuel R. da Silva},
title={Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={213-224},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006608002130224},
isbn={978-989-758-283-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests
SN - 978-989-758-283-7
AU - Rodrigues da Silva A.
AU - C. R. Paiva A.
AU - Emanuel R. da Silva V.
PY - 2018
SP - 213
EP - 224
DO - 10.5220/0006608002130224