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 -