Testing abstract behavioral specifications


Downloads per month over past year




Downloads per month over past year

Wong, Peter Y. H. and Bubel, Richard and Boer, Frank S. de and Gómez Zamalloa, Miguel and Gouw, Stijn de and Hähnle, Reiner and Meinke, Karl and Sindhu, Muddassar Azam (2015) Testing abstract behavioral specifications. International Journal on Software Tools for Technology Transfer, 17 (1). pp. 107-119. ISSN 1433-2779

[thumbnail of Testing abstract behavioral specifications.pdf]

Official URL: http://link.springer.com/article/10.1007/s10009-014-0301-x


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 blackbox and glassbox test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.

Item Type:Article
Subjects:Sciences > Computer science
Sciences > Computer science > Programming languages (Electronic computers)
ID Code:37064
Deposited On:12 Apr 2016 17:21
Last Modified:20 Apr 2016 08:44

Origin of downloads

Repository Staff Only: item control page