loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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.

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 3.236.219.157

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.; 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 - MODELSWARD; ISBN 978-989-758-283-7; ISSN 2184-4348, SciTePress, pages 213-224. DOI: 10.5220/0006608002130224

@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 - MODELSWARD},
year={2018},
pages={213-224},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006608002130224},
isbn={978-989-758-283-7},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests
SN - 978-989-758-283-7
IS - 2184-4348
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
PB - SciTePress