Testing. Testing safety-critical software

被引：0
|
作者：
Redmill, Felix
机构：
来源：
Professional Engineering | 1993年 / 6卷 / 07期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：20 / 21
相关论文
共 50 条
  • [31] Reducing Safety-Critical Software Statistical Testing Cost Based on Importance Sampling Technique
    Yan Jiong
    Deng Chang-Hong
    Ji Meng-Luo
    MATERIALS SCIENCE AND INFORMATION TECHNOLOGY, PTS 1-8, 2012, 433-440 : 4691 - +
  • [32] DEVELOPMENT OF A TEST FACILITY AND ITS APPLICATION FOR VALIDATION AND RELIABILITY TESTING OF SAFETY-CRITICAL SOFTWARE
    Zhao, M.
    Tailor, N.
    PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING 2010, VOL 1, 2011, : 815 - 820
  • [33] Using Fault Trees and Event Trees as Oracles for Testing Safety-Critical Software Systems
    Prof Saf, 4 (41):
  • [34] Research on Static Testing Technology of Nuclear Safety-Critical Software Based on FPGA Technology
    Xiong, Wei
    Bai, Tao
    Gu, Peng-Fei
    Liang, Hui-Hui
    Tang, Jian-Zhong
    NUCLEAR POWER PLANTS: INNOVATIVE TECHNOLOGIES FOR INSTRUMENTATION AND CONTROL SYSTEMS (ISNPP 2019), 2020, 595 : 516 - 523
  • [35] Safety-critical software
    1600, IEEE Computer Society (30):
  • [36] Safety-Critical Software
    Merino, Pedro
    Schoitsch, Erwin
    ERCIM NEWS, 2008, (75): : 12 - 13
  • [37] SAFETY-CRITICAL SOFTWARE
    PANCUCCI, D
    ENGINEERING, 1991, 231 (08): : 45 - 47
  • [38] Comparing software measures with fault counts derived from unit-testing of safety-critical software
    Herzner, W
    Ramberger, S
    Länger, T
    Reumann, C
    Gruber, T
    Sejkora, C
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 81 - 93
  • [39] Fail-Safe Testing of Safety-Critical Systems
    Gario, Ahmed
    Andrews, A. von Mayrhauser
    2014 23RD AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC), 2013, : 190 - 199
  • [40] Model Proposal for Performance Testing of Safety-Critical Systems
    Spendla, Lukas
    Tanuska, Pavol
    Strbo, Milan
    PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS ENGINEERING (CASE-13), 2013, 45 : 42 - 45
12345