Powered by OpenAIRE graph
Found an issue? Give us feedback
addClaim

Scenario-based unit testing for reliability

Authors: S. Kuball; G. Hughes; I. Gilchrist;

Scenario-based unit testing for reliability

Abstract

Statistical software testing (SST) is an important means for the quantification of software dependability. The concept of SST is that the software is executed on statistically generated test-cases that simulate the software's operating environment. As opposed to SST tests, coverage tests are engineered to execute each statement, decision, Boolean expression etc. at least once. Coverage testing is required by many standards, SST is not required by the standards. Coverage testing however cannot quantify reliability. In this paper, we want to investigate how to link these two important testing strategies. We want to maintain the features of SST, which allow us to quantify dependability, but combine them with a view towards code-coverage. The aim is to not only perform SST, but perform SST on the full code and thus achieve a dependability estimate that is attached to all code-parts. We demonstrate on a software example, taken from the protection system of a heavy water reactor, how to achieve this, by creating a link between the structure of the software input-space and the structure of the code.

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    3
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
3
Average
Average
Average
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!