The Effectiveness Of Statistical Testing When Applied To Logic Systems

S Kuball, G Hughes, J May, J Gallardo, A John, R Carter

Research output: Contribution to journalArticle (Academic Journal)peer-review

Abstract

In this paper we demonstrate the effectiveness of statistical testing for error detection on the example of a Programmable Logic System (PLS). The introduction of statistical testing arose from the wish to quantify the PLS's reliability. An appropriate statistical testing algorithm was devised and implemented, which is described in detail in this paper. We compare the results of statistical testing with those of a variety of other testing methods employed on the PLS. In terms of differences detected per number of tests, statistical testing showed an outstanding effectiveness. Furthermore, it detected a problem, which was missed by all other testing techniques. This together with its potential for reliability quantification illustrates its importance for system validation as part of a risk--based safety--case.
Translated title of the contributionThe Effectiveness Of Statistical Testing When Applied To Logic Systems
Original languageEnglish
Pages (from-to)168 - 177
Number of pages9
JournalLecture Notes in Computer Science
Volume2187 (-)
Publication statusPublished - Sep 2001

Fingerprint Dive into the research topics of 'The Effectiveness Of Statistical Testing When Applied To Logic Systems'. Together they form a unique fingerprint.

Cite this