Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Precondition Coverage in Software Testing
2016 (English)In: Proc. 1st Int. Workshop on Validating Software Tests (VST 2016), IEEE conference proceedings, 2016Conference paper, Published paper (Refereed)
Abstract [en]

Preconditions indicate when it is permitted to use a given function. However, it is not always the case that both outcomes of a precondition are observed during testing. A precondition that is always false makes a function unusable, a precondition that is always true may turn out to be actually an invariant. In model-based testing, preconditions describes when a transition may be executed from a given state. If no outgoing transition is enabled in a given state because all preconditions of all outgoing transitions are false, the test model may be flawed. Experiments show a low test coverage of preconditions in the Scala library. We also investigate preconditions in Modbat models for model-based testing, in that case, a certain number of test cases is needed to produce sufficient coverage, but remaining cases of low coverage indeed point to legitimate flaws in test models or code.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2016.
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:kth:diva-199098DOI: 10.1109/SANER.2016.31OAI: oai:DiVA.org:kth-199098DiVA, id: diva2:1060492
Conference
1st Int. Workshop on Validating Software Tests (VST 2016)
Note

QC 20170109

Available from: 2016-12-28 Created: 2016-12-28 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(149 kB)32 downloads
File information
File name FULLTEXT01.pdfFile size 149 kBChecksum SHA-512
ce2b03aa01c26667c68b0e795b6d02c610a64c4085b19090db81ed6552ffdd8fd4820f54668b8c112edc6211439b5fe57ab8a6544d7c833abc2826af9b96c99b
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Artho, Cyrille
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 32 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: 90 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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