arrow
返回

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
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
基于操作剖面的测试或统计软件测试(ST)数十年来一直被用作确定基于软件设备的按需故障概率的定量指标的工�。在英国核工业中,该技术已被广泛应用,并证明在支持安全论证方面是有效的。在代际更替、工作方式变化以及普遍技能短缺共同影响安全文化的时代,需要新的方法来建立和维护在这一及其他复杂保障技术方面的能力。就ST而言,设计和生成有效ST测试用例的具体过程步骤在不同项目之间显示出高度可重复性——特别是对于商用现成计算机设备的统计测试。将此过程中的部分专家输入封装成可配置、可重用且易于组合和配置的组件,模仿了这种可重复性。这有两个优势:首先,显著降低执行ST的成本和努力;其次,显著改善如何培养和维护该技术的专业能力。本文介绍了一个通用且可重用的统计测试装置原型(SDITS - 智能设备完整性测试站),并展示了初步结果,同时指出了未来工作和合作的方向。
Keyword:
Software Dependability
Statistical Software Testing Competency
Test Rigs

期刊

C
COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2025
IF:
0
论文数:
15
被引数:
0

机构

暂无机构信息
引用论文

引用论文

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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
The Oracle Problem in Software Testing: A Survey软件测试中的Oracle问题: 调查
err2015-05-01
err665
errOAAI
errBarr, Earl T.; Harman, Mark; McMinn, Phil; Shahbaz, Muzammil; Yoo, Shin
err分享
err收藏
没有更多内容