Testing. Testing safety-critical software

被引：0
|
作者：
Redmill, Felix
机构：
来源：
Professional Engineering | 1993年 / 6卷 / 07期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：20 / 21
相关论文
共 50 条
  • [21] Development of simulation-based testing environment for safety-critical software
    Lee, Sang Hun
    Lee, Seung Jun
    Park, Jinkyun
    Lee, Eun-Chan
    Kang, Hyun Gook
    NUCLEAR ENGINEERING AND TECHNOLOGY, 2018, 50 (04) : 570 - 581
  • [22] Some conservative stopping rules for the operational testing of safety-critical software
    Littlewood, B
    Wright, D
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (11) : 673 - 683
  • [23] Testing concepts in Safety-Critical Development
    Taliga, Miklos
    Steiner-Komoroczki, Henriette
    2018 18TH IEEE INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND INFORMATICS (CINTI), 2018, : 105 - 108
  • [24] Virtual testing in a safety-critical environment
    Dullaway, NJ
    Morris, AJ
    ADVANCES IN COMPUTATIONAL STRUCTURES TECHNOLOGY, 1996, : 213 - 218
  • [25] Safety-critical software automatic testing system based on keyword driven script
    Wang, Tie-Jiang
    Li, Meng
    Tongji Daxue Xuebao/Journal of Tongji University, 2002, 30 (06): : 719 - 722
  • [26] Railway signaling safety-critical software testing based on dynamic decision table
    Wu, Fangmei
    Li, Meng
    Proceedings of the Asian Test Symposium, 1999, : 247 - 250
  • [27] An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software
    Baker, Richard
    Habli, Ibrahim
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (06) : 787 - 805
  • [28] An optimal statistical testing policy for software reliability demonstration of safety-critical systems
    Tal, O
    McCollin, C
    Bendell, A
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2002, 137 (03) : 544 - 557
  • [29] Testing Experiences of Safety-Critical Embedded Systems
    Bakker, Bryan
    ADVANCES IN SYSTEMS SAFETY, 2011, : 169 - 186
  • [30] GROWTH OF SOFTWARE TESTING.
    Gelperin, David
    Hetzel, Bill
    Communications of the ACM, 1988, 31 (06): : 687 - 695
12345