Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Testing abstract behavioral specifications
Show others and affiliations
2014 (English)In: International Journal on Software Tools for Technology Transfer (STTT), ISSN 1433-2779, E-ISSN 1433-2787, Vol. 17, no 1, 107-119 p.Article in journal (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer, 2014. Vol. 17, no 1, 107-119 p.
Keyword [en]
Automated testing, Black-box testing, Glass-box testing, Industrial case study, Runtime assertion checking
National Category
Other Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-161683DOI: 10.1007/s10009-014-0301-xScopus ID: 2-s2.0-84922001199OAI: oai:DiVA.org:kth-161683DiVA: diva2:795705
Note

QC 20150317

Available from: 2015-03-17 Created: 2015-03-13 Last updated: 2017-12-04Bibliographically approved

Open Access in DiVA

fulltext(574 kB)61 downloads
File information
File name FULLTEXT01.pdfFile size 574 kBChecksum SHA-512
c0b0fe5a3914ee398267fe22e8a3309862365586b8ef3bc6518a68d9546dfe89f20bcb2a1a2cd0761c4c5b5bd9be35549ed49920ce8bf195cd3ed0c1cd079d1e
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopusThe final publication is available at www.springerlink.com

Authority records BETA

Meinke, Karl

Search in DiVA

By author/editor
Meinke, Karl
By organisation
Theoretical Computer Science, TCS
In the same journal
International Journal on Software Tools for Technology Transfer (STTT)
Other Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 61 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 127 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf