Economics of software verification

被引：0
|
作者：
Holzmann, GJ [1 ]
机构：
[1] Bell Labs, Murray Hill, NJ 07974 USA
来源：
ACM SIGPLAN NOTICES | 2001年
关键词：
model checking; software verification; testing; spin;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
How can we determine the added value of software verification techniques over the more readily available conventional testing techniques? Formal verification techniques introduce both added costs and potential benefits. Can we show objectively when the benefits will outweigh the cost?
引用
收藏
页码：80 / 85
页数：6
相关论文
共 50 条
  • [31] An automated verification method for distributed systems software based on model extraction
    Holzmann, GJ
    Smith, MH
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (04) : 364 - 377
  • [32] Combining Software and Hardware Verification Techniques
    Robert P. Kurshan
    Vladimir Levin
    Marius Minea
    Doron Peled
    Hüsnü Yenigün
    Formal Methods in System Design, 2002, 21 : 251 - 280
  • [33] Combining software and hardware verification techniques
    Kurshan, RP
    Levin, V
    Minea, M
    Peled, D
    Yenigün, H
    FORMAL METHODS IN SYSTEM DESIGN, 2002, 21 (03) : 251 - 280
  • [34] Parallel Verification of Software Architecture Design
    Chondamrongkul, Nacha
    Sun, Jing
    Wei, Bingyang
    Warren, Ian
    201919TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2019), 2019, : 50 - 57
  • [35] Software verification challenges in the blockchain ecosystem
    Olivieri, Luca
    Spoto, Fausto
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2024, 26 (04) : 431 - 444
  • [36] A Formal Verification Method for the SOPC Software
    Zhou, Shan
    Wang, Jinbo
    Jia, Jiao
    Zhang, Chi
    Wang, Ruixue
    IEEE TRANSACTIONS ON RELIABILITY, 2022, 71 (02) : 818 - 829
  • [37] Formal verification of automotive embedded software
    Todorov, Vassil
    Boulanger, Frederic
    Taha, Safouan
    2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 84 - 87
  • [38] Software model checking -: Extracting verification models from source code
    Holzmann, GJ
    Smith, MH
    FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 481 - 497
  • [39] Towards Automated Software Verification and Validation
    Asadollahi, Somayeh
    Rafe, Vahid
    Rafeh, Reza
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT, VOL 1, 2009, : 206 - 210
  • [40] Evaluation of Program Slicing in Software Verification
    Chalupa, Marek
    Strejcek, Jan
    INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 101 - 119
12345