AbsCon: A Test Concretizer for Model-based Testing

Jérémy Vanhecke, Xavier Devroey, Gilles Perrouin

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

5 Downloads (Pure)

Abstract

Test definition and execution is an essential but time-consuming task during system development. To speed up the process, model-based testing and other related approaches propose to generate/write abstract test cases and to concretize them using either transformations, an adapter, or a mixture of the two. QTaste is an industrial data-driven test case definition and execution environment used to perform black-box testing on various kinds of systems. QTaste's test cases are manually written in Python and use an adapter, called test API, to execute operations on the System Under Test (SUT) interfaces. In this paper, we describe AbsCon (Abstract test case Concretizer), a plugin used to generate test cases executable in QTaste based on their definition: i.e., sequences of abstract actions and assertions. AbsCon uses programmer friendly mappings (written in Python) for the SUT's interfaces, actions, and assertions, to generate standard test cases in QTaste format. Rather than having a complete model-based testing transformation chain, the plugin is bridging the gap between existing model-based test case generation tools and an industrial test case execution system using a mix of transformation and adaptation.
Original languageEnglish
Title of host publicationProceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
PublisherIEEE
Pages15-22
Number of pages8
ISBN (Electronic)9781728108889
DOIs
Publication statusPublished - 2019
Event12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 - Xi'an, China
Duration: 22 Apr 201927 Jul 2019

Publication series

NameProceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019

Conference

Conference12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
CountryChina
CityXi'an
Period22/04/1927/07/19

Fingerprint

Testing
Black-box testing
Application programming interfaces (API)

Keywords

  • QTaste
  • Software testing tool
  • Test case concretization

Cite this

Vanhecke, J., Devroey, X., & Perrouin, G. (2019). AbsCon: A Test Concretizer for Model-based Testing. In Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 (pp. 15-22). (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019). IEEE. https://doi.org/10.1109/ICSTW.2019.00027
Vanhecke, Jérémy ; Devroey, Xavier ; Perrouin, Gilles. / AbsCon : A Test Concretizer for Model-based Testing. Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, 2019. pp. 15-22 (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).
@inproceedings{3585e533ad0a48a4982576b211af9e16,
title = "AbsCon: A Test Concretizer for Model-based Testing",
abstract = "Test definition and execution is an essential but time-consuming task during system development. To speed up the process, model-based testing and other related approaches propose to generate/write abstract test cases and to concretize them using either transformations, an adapter, or a mixture of the two. QTaste is an industrial data-driven test case definition and execution environment used to perform black-box testing on various kinds of systems. QTaste's test cases are manually written in Python and use an adapter, called test API, to execute operations on the System Under Test (SUT) interfaces. In this paper, we describe AbsCon (Abstract test case Concretizer), a plugin used to generate test cases executable in QTaste based on their definition: i.e., sequences of abstract actions and assertions. AbsCon uses programmer friendly mappings (written in Python) for the SUT's interfaces, actions, and assertions, to generate standard test cases in QTaste format. Rather than having a complete model-based testing transformation chain, the plugin is bridging the gap between existing model-based test case generation tools and an industrial test case execution system using a mix of transformation and adaptation.",
keywords = "QTaste, Software testing tool, Test case concretization",
author = "J{\'e}r{\'e}my Vanhecke and Xavier Devroey and Gilles Perrouin",
year = "2019",
doi = "10.1109/ICSTW.2019.00027",
language = "English",
series = "Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019",
publisher = "IEEE",
pages = "15--22",
booktitle = "Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019",

}

Vanhecke, J, Devroey, X & Perrouin, G 2019, AbsCon: A Test Concretizer for Model-based Testing. in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019, IEEE, pp. 15-22, 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019, Xi'an, China, 22/04/19. https://doi.org/10.1109/ICSTW.2019.00027

AbsCon : A Test Concretizer for Model-based Testing. / Vanhecke, Jérémy; Devroey, Xavier; Perrouin, Gilles.

Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, 2019. p. 15-22 (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

TY - GEN

T1 - AbsCon

T2 - A Test Concretizer for Model-based Testing

AU - Vanhecke, Jérémy

AU - Devroey, Xavier

AU - Perrouin, Gilles

PY - 2019

Y1 - 2019

N2 - Test definition and execution is an essential but time-consuming task during system development. To speed up the process, model-based testing and other related approaches propose to generate/write abstract test cases and to concretize them using either transformations, an adapter, or a mixture of the two. QTaste is an industrial data-driven test case definition and execution environment used to perform black-box testing on various kinds of systems. QTaste's test cases are manually written in Python and use an adapter, called test API, to execute operations on the System Under Test (SUT) interfaces. In this paper, we describe AbsCon (Abstract test case Concretizer), a plugin used to generate test cases executable in QTaste based on their definition: i.e., sequences of abstract actions and assertions. AbsCon uses programmer friendly mappings (written in Python) for the SUT's interfaces, actions, and assertions, to generate standard test cases in QTaste format. Rather than having a complete model-based testing transformation chain, the plugin is bridging the gap between existing model-based test case generation tools and an industrial test case execution system using a mix of transformation and adaptation.

AB - Test definition and execution is an essential but time-consuming task during system development. To speed up the process, model-based testing and other related approaches propose to generate/write abstract test cases and to concretize them using either transformations, an adapter, or a mixture of the two. QTaste is an industrial data-driven test case definition and execution environment used to perform black-box testing on various kinds of systems. QTaste's test cases are manually written in Python and use an adapter, called test API, to execute operations on the System Under Test (SUT) interfaces. In this paper, we describe AbsCon (Abstract test case Concretizer), a plugin used to generate test cases executable in QTaste based on their definition: i.e., sequences of abstract actions and assertions. AbsCon uses programmer friendly mappings (written in Python) for the SUT's interfaces, actions, and assertions, to generate standard test cases in QTaste format. Rather than having a complete model-based testing transformation chain, the plugin is bridging the gap between existing model-based test case generation tools and an industrial test case execution system using a mix of transformation and adaptation.

KW - QTaste

KW - Software testing tool

KW - Test case concretization

UR - http://www.scopus.com/inward/record.url?scp=85068375965&partnerID=8YFLogxK

U2 - 10.1109/ICSTW.2019.00027

DO - 10.1109/ICSTW.2019.00027

M3 - Conference contribution

T3 - Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019

SP - 15

EP - 22

BT - Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019

PB - IEEE

ER -

Vanhecke J, Devroey X, Perrouin G. AbsCon: A Test Concretizer for Model-based Testing. In Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE. 2019. p. 15-22. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019). https://doi.org/10.1109/ICSTW.2019.00027