loading
Papers

Research.Publish.Connect.

Paper

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

ISBN: 978-989-758-283-7

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.204.171.108

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Rodrigues da Silva, A.; Paiva, Ana C. R. 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

@conference{modelsward18,
author={Alberto Rodrigues da Silva. and Paiva, Ana C. R. 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},
}

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 - Paiva, Ana C. R.
AU - Emanuel R. da Silva, V.
PY - 2018
SP - 213
EP - 224
DO - 10.5220/0006608002130224

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.