Search: L773:1433 2779 OR L773:1433 2787 >
Testing abstract be...
Testing abstract behavioral specifications
-
Wong, Peter Y. H. (author)
-
Bubel, Richard (author)
-
de Boer, Frank S. (author)
-
show more...
-
Gómez-Zamalloa, Miguel (author)
-
de Gouw, Stijn (author)
-
Hähnle, Reiner (author)
-
- Meinke, Karl (author)
- KTH,Teoretisk datalogi, TCS
-
Sindhu, Mudassar A. (author)
-
show less...
-
(creator_code:org_t)
- 2014-02-21
- 2014
- English.
-
In: International Journal on Software Tools for Technology Transfer. - : Springer. - 1433-2779 .- 1433-2787. ; 17:1, s. 107-119
- Related links:
-
http://link.springer...
-
show more...
-
https://kth.diva-por... (primary) (Raw object)
-
https://ir.cwi.nl/pu...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Annan data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Other Computer and Information Science (hsv//eng)
Keyword
- Automated testing
- Black-box testing
- Glass-box testing
- Industrial case study
- Runtime assertion checking
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database