arrow
Return

Managing Capability in Software Dependability Testing Through Generic Test Rigs

delete2026-01-01
delete0
PRE
AI
S
Silke Kuball *
L
Lee Demetrius Walker
M
Martin Rendell
DOI:10.1007/978-3-032-01241-8_8delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Operational-profile-based testing or statistical software testing (ST) has been a tool in determining quantitative indicators for on -demand failure probabilities of software-based devices for many decades. In the UK nuclear industry, the technique has found widespread application and been shown to be effective in supporting safety justification. In a time where a changeover of generations, changes in working styles and a pervasive skills shortage all work on and affect safety culture, new ways are needed to build up and maintain competency in this and other complex assurance techniques. In the case of ST, specific process steps in designing and generating valid ST test-cases show a high degree of repeatability between projects - especially for statistical testing of commercial-offthe-shelf computer-based devices. Encapsulating some of the expert input within this process into configurable components that can be reused, easily combined and configured mimics this repeatability. This has two advantages: firstly, a significant reduction of cost and effort in performing ST, secondly a significant improvement in how competency in the technique can be developed and maintained. A prototype for a generic and reuseable statistical test rig (SDITS - Smart Device Integrity Test Station) has been developed and is introduced in this paper. Initial results are presented and areas for future work and collaboration highlighted.
Keywords:
Software Dependability
Statistical Software Testing Competency
Test Rigs

Journal

C
COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2025
IF:
0
Papers:
15
Citations:
0

Organization

No organization information available
Cited Papers

Cited Papers

Exhaustive testing of safety-critical software for reactor protection system
err2020-01-01
err7
PREAI
errLee, Sang Hun; Lee, Seung Jun; Shin, Sung Min; Lee, Eun-chan; Kang, Hyun Gook
errShare
errSave
Scenario Factory 2.0: Scenario-Based Testing of Automated Vehicles with CommonRoad
err2025-05-25
err0
errOAAI
errFlorian Finkeldei; Christoph Thees; Jan-Niklas Weghorn; Matthias Althoff
errShare
errSave
The effectiveness of statistical testing when applied to logic systems
err2004-06-01
err0
PREAI
errSilke Kuball; Gordon Hughes; John H.R. May; Julio Gallardo; Andrew John
errShare
errSave
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
err2020-09-20
err0
errOAAI
errDaniel J. Fremont; Edward Kim; Yash Vardhan Pant; Sanjit A. Seshia; Atul Acharya; Xantha Bruso; Paul Wells; Steve Lemke; Qiang Lu; Shalin Mehta
errShare
errSave
Estimating the probability of failure when testing reveals no failures
err1992-01-01
err0
PREAI
errK.W. Miller; L.J. Morell; R.E. Noonan; S.K. Park; D.M. Nicol; B.W. Murrill; M. Voas
errShare
errSave
The Oracle Problem in Software Testing: A Survey
err2015-05-01
err665
errOAAI
errBarr, Earl T.; Harman, Mark; McMinn, Phil; Shahbaz, Muzammil; Yoo, Shin
errShare
errSave
no more