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

• Type: Article in International Conference Proceedings Book
• Date: 2018-01-20

Authors

Ana C. R. Paiva (Author) FEUP; Alberto R. da Silva (Author) Other; Válter E. R. Silva (Author) Other

Conference proceedings International

Title: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018.

Pages: 213-224

Indexing

ISI Web of Knowledge

Scopus - 9 Citations

INSPEC

Other information

Authenticus ID: P-00N-V5R

DOI: 10.5220/0006608002130224

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 11