Testing abstract behavioral specifications

Peter Y. H. Wong; Richard Bubel; Frank S. de Boer; Miguel Gómez-Zamalloa; Stijn de Gouw; Reiner Hähnle; Karl Meinke; Muddassar Azam Sindhu

doi:10.1007/s10009-014-0301-x

Testing abstract behavioral specifications

Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including black-box and glass-box test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.

Original language	English
Pages (from-to)	107-119
Number of pages	13
Journal	International Journal on Software Tools for Technology Transfer
Volume	17
Issue number	1
DOIs	https://doi.org/10.1007/s10009-014-0301-x
Publication status	Published - 2015
Externally published	Yes

Access to Document

10.1007/s10009-014-0301-x

Fingerprint Dive into the research topics of 'Testing abstract behavioral specifications'. Together they form a unique fingerprint.

Cite this

Wong, P. Y. H., Bubel, R., Boer, F. S. D., Gómez-Zamalloa, M., Gouw, S. D., Hähnle, R., Meinke, K., & Sindhu, M. A. (2015). Testing abstract behavioral specifications. International Journal on Software Tools for Technology Transfer, 17(1), 107-119. https://doi.org/10.1007/s10009-014-0301-x

@article{3fa5541b5dd7401f99b498728b505ef4,

title = "Testing abstract behavioral specifications",

abstract = "We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including black-box and glass-box test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.",

author = "Wong, {Peter Y. H.} and Richard Bubel and Boer, {Frank S. de} and Miguel G{\'o}mez-Zamalloa and Gouw, {Stijn de} and Reiner H{\"a}hnle and Karl Meinke and Sindhu, {Muddassar Azam}",

year = "2015",

doi = "10.1007/s10009-014-0301-x",

language = "English",

volume = "17",

pages = "107--119",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

number = "1",

}

Testing abstract behavioral specifications. / Wong, Peter Y. H.; Bubel, Richard; Boer, Frank S. de; Gómez-Zamalloa, Miguel; Gouw, Stijn de; Hähnle, Reiner; Meinke, Karl; Sindhu, Muddassar Azam.

In: International Journal on Software Tools for Technology Transfer, Vol. 17, No. 1, 2015, p. 107-119.

Research output: Contribution to journal › Article › Academic › peer-review

TY - JOUR

T1 - Testing abstract behavioral specifications

AU - Wong, Peter Y. H.

AU - Bubel, Richard

AU - Boer, Frank S. de

AU - Gómez-Zamalloa, Miguel

AU - Gouw, Stijn de

AU - Hähnle, Reiner

AU - Meinke, Karl

AU - Sindhu, Muddassar Azam

PY - 2015

Y1 - 2015

N2 - We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including black-box and glass-box test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.

AB - We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including black-box and glass-box test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.

U2 - 10.1007/s10009-014-0301-x

DO - 10.1007/s10009-014-0301-x

M3 - Article

VL - 17

SP - 107

EP - 119

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

SN - 1433-2779

IS - 1

ER -