Testing. Testing safety-critical software

被引：0
|
作者：
Redmill, Felix
机构：
来源：
Professional Engineering | 1993年 / 6卷 / 07期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：20 / 21
相关论文
共 50 条
  • [41] Testing complex safety-critical systems in SOA context
    Donini, R.
    Marrone, S.
    Mazzocca, N.
    Orazzo, A.
    Papa, D.
    Venticinque, S.
    CISIS 2008: THE SECOND INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS, PROCEEDINGS, 2008, : 87 - 93
  • [42] Testing of Safety-Critical Systems: An Aerospace Launch Application
    Gario, Ahmed
    Andrews, Anneliese
    Hagerman, Seana
    2014 IEEE AEROSPACE CONFERENCE, 2014,
  • [43] A comparison of methods for calculating the duration of software reliability demonstration testing, particularly for safety-critical systems
    Tal, O
    Bendell, A
    McCollin, C
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2000, 16 (01) : 59 - 62
  • [44] Quantitative software reliability assessment methodology based on Bayesian belief networks and statistical testing for safety-critical software
    Cai, Yuanfeng
    Wu, Yichun
    Zhou, Junyi
    Liu, Mingxing
    Zhang, Qing
    ANNALS OF NUCLEAR ENERGY, 2020, 145
  • [45] Year 2000 software testing.
    Gillespie, T
    LIBRARY JOURNAL, 1999, 124 (04) : 106 - 106
  • [46] SAFETY-CRITICAL SOFTWARE - A VIGNETTE
    MCDERMID, J
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (01): : 2 - 3
  • [47] Mandate safety-critical software
    Frisina, J
    COMMUNICATIONS OF THE ACM, 2004, 47 (01) : 12 - 12
  • [48] Changing safety-critical software
    Rierson, LK
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2001, 16 (06) : 25 - 30
  • [49] Perspectives on safety-critical software
    Bhansali, PV
    AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS, 1997, : 108 - 109
  • [50] Verification of Safety-Critical Software
    Andersen, B. Scott
    Romanski, George
    COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
12345