Behaviour pattern-based model generation for model-based testing

Teemu Kanstrén

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

2 Citations (Scopus)

Abstract

This paper presents the concept of using behavioral pattern mining to generate models for model-based testing. These patterns are mined from observations captured from execution scenarios of the system under test, and the different patterns are combined in order to provide a suitable higher level model for model-based testing. The concept is first discussed on a general level, providing a basis for implementation of semi-automated model generation algorithms based on combinations of different behavioral patterns. This concept is illustrated by showing how to generate extended finite state machine models in a format suitable for model-based testing. The generated model is further validated by applying it for model-based testing of a real software component, where it reveals actual faults in the system under test. In addition to the benefits, the discovered limitations of the approach are discussed. Future work is discussed as potential means to address these limitations. (19 refs.)
Original languageEnglish
Title of host publicationProceedings of the 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns (ComputationWorld 2009). Athens, Greece, 15 - 20 Nov. 2009
Place of PublicationPiscataway, NJ, USA
PublisherIEEE Institute of Electrical and Electronic Engineers
Pages233-241
ISBN (Print)978-1-4244-5166-1, 978-0-7695-3862-4
DOIs
Publication statusPublished - 2009
MoE publication typeA4 Article in a conference publication
EventComputation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, ComputationWorld 2009 - Athens, Greece
Duration: 15 Nov 200920 Nov 2009

Conference

ConferenceComputation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, ComputationWorld 2009
Abbreviated titleComputationWorld 2009
CountryGreece
CityAthens
Period15/11/0920/11/09

Fingerprint

Testing
Finite automata

Cite this

Kanstrén, T. (2009). Behaviour pattern-based model generation for model-based testing. In Proceedings of the 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns (ComputationWorld 2009). Athens, Greece, 15 - 20 Nov. 2009 (pp. 233-241). Piscataway, NJ, USA: IEEE Institute of Electrical and Electronic Engineers . https://doi.org/10.1109/ComputationWorld.2009.10
Kanstrén, Teemu. / Behaviour pattern-based model generation for model-based testing. Proceedings of the 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns (ComputationWorld 2009). Athens, Greece, 15 - 20 Nov. 2009. Piscataway, NJ, USA : IEEE Institute of Electrical and Electronic Engineers , 2009. pp. 233-241
@inproceedings{2dff7b6d971449e8a5688c0d8ea1bafa,
title = "Behaviour pattern-based model generation for model-based testing",
abstract = "This paper presents the concept of using behavioral pattern mining to generate models for model-based testing. These patterns are mined from observations captured from execution scenarios of the system under test, and the different patterns are combined in order to provide a suitable higher level model for model-based testing. The concept is first discussed on a general level, providing a basis for implementation of semi-automated model generation algorithms based on combinations of different behavioral patterns. This concept is illustrated by showing how to generate extended finite state machine models in a format suitable for model-based testing. The generated model is further validated by applying it for model-based testing of a real software component, where it reveals actual faults in the system under test. In addition to the benefits, the discovered limitations of the approach are discussed. Future work is discussed as potential means to address these limitations. (19 refs.)",
author = "Teemu Kanstr{\'e}n",
year = "2009",
doi = "10.1109/ComputationWorld.2009.10",
language = "English",
isbn = "978-1-4244-5166-1",
pages = "233--241",
booktitle = "Proceedings of the 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns (ComputationWorld 2009). Athens, Greece, 15 - 20 Nov. 2009",
publisher = "IEEE Institute of Electrical and Electronic Engineers",
address = "United States",

}

Kanstrén, T 2009, Behaviour pattern-based model generation for model-based testing. in Proceedings of the 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns (ComputationWorld 2009). Athens, Greece, 15 - 20 Nov. 2009. IEEE Institute of Electrical and Electronic Engineers , Piscataway, NJ, USA, pp. 233-241, Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, ComputationWorld 2009, Athens, Greece, 15/11/09. https://doi.org/10.1109/ComputationWorld.2009.10

Behaviour pattern-based model generation for model-based testing. / Kanstrén, Teemu.

Proceedings of the 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns (ComputationWorld 2009). Athens, Greece, 15 - 20 Nov. 2009. Piscataway, NJ, USA : IEEE Institute of Electrical and Electronic Engineers , 2009. p. 233-241.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

TY - GEN

T1 - Behaviour pattern-based model generation for model-based testing

AU - Kanstrén, Teemu

PY - 2009

Y1 - 2009

N2 - This paper presents the concept of using behavioral pattern mining to generate models for model-based testing. These patterns are mined from observations captured from execution scenarios of the system under test, and the different patterns are combined in order to provide a suitable higher level model for model-based testing. The concept is first discussed on a general level, providing a basis for implementation of semi-automated model generation algorithms based on combinations of different behavioral patterns. This concept is illustrated by showing how to generate extended finite state machine models in a format suitable for model-based testing. The generated model is further validated by applying it for model-based testing of a real software component, where it reveals actual faults in the system under test. In addition to the benefits, the discovered limitations of the approach are discussed. Future work is discussed as potential means to address these limitations. (19 refs.)

AB - This paper presents the concept of using behavioral pattern mining to generate models for model-based testing. These patterns are mined from observations captured from execution scenarios of the system under test, and the different patterns are combined in order to provide a suitable higher level model for model-based testing. The concept is first discussed on a general level, providing a basis for implementation of semi-automated model generation algorithms based on combinations of different behavioral patterns. This concept is illustrated by showing how to generate extended finite state machine models in a format suitable for model-based testing. The generated model is further validated by applying it for model-based testing of a real software component, where it reveals actual faults in the system under test. In addition to the benefits, the discovered limitations of the approach are discussed. Future work is discussed as potential means to address these limitations. (19 refs.)

U2 - 10.1109/ComputationWorld.2009.10

DO - 10.1109/ComputationWorld.2009.10

M3 - Conference article in proceedings

SN - 978-1-4244-5166-1

SN - 978-0-7695-3862-4

SP - 233

EP - 241

BT - Proceedings of the 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns (ComputationWorld 2009). Athens, Greece, 15 - 20 Nov. 2009

PB - IEEE Institute of Electrical and Electronic Engineers

CY - Piscataway, NJ, USA

ER -

Kanstrén T. Behaviour pattern-based model generation for model-based testing. In Proceedings of the 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns (ComputationWorld 2009). Athens, Greece, 15 - 20 Nov. 2009. Piscataway, NJ, USA: IEEE Institute of Electrical and Electronic Engineers . 2009. p. 233-241 https://doi.org/10.1109/ComputationWorld.2009.10