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 条
  • [21] Satisfiability solving for software verification
    David Déharbe
    Silvio Ranise
    International Journal on Software Tools for Technology Transfer, 2009, 11 (3) : 255 - 260
  • [22] Embedded software verification in hardware-software codesign
    Hsiung, PA
    JOURNAL OF SYSTEMS ARCHITECTURE, 2000, 46 (15) : 1435 - 1450
  • [23] Experimental evaluation of verification and validation tools on Martian Rover software
    Brat, G
    Drusinsky, D
    Giannakopoulou, D
    Goldberg, A
    Havelund, K
    Lowry, M
    Pasareanu, C
    Venet, A
    Visser, W
    Washington, R
    FORMAL METHODS IN SYSTEM DESIGN, 2004, 25 (2-3) : 167 - 198
  • [24] Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
    Guillaume Brat
    Doron Drusinsky
    Dimitra Giannakopoulou
    Allen Goldberg
    Klaus Havelund
    Mike Lowry
    Corina Pasareanu
    Arnaud Venet
    Willem Visser
    Rich Washington
    Formal Methods in System Design, 2004, 25 : 167 - 198
  • [25] The Analysis of Existing Methods of Software Verification
    Bondarev, Sergei E.
    Chudinov, Maksim A.
    Prokhorov, Andrey S.
    PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 191 - 193
  • [26] A Review on Verification and Validation for Embedded Software
    Perez, Y. M.
    Marin, H. A. P.
    Bedoya, A. E.
    IEEE LATIN AMERICA TRANSACTIONS, 2016, 14 (05) : 2339 - 2347
  • [27] Optimized Hybrid Verification of Embedded Software
    Behrend, Joeorg
    Gruenhage, Alexander
    Schroeder, Douglas
    Lettnin, Djones
    Ruf, Juergen
    Kropf, Thomas
    Rosenstiel, Wolfgang
    2014 15TH LATIN AMERICAN TEST WORKSHOP - LATW, 2014,
  • [28] Hardware Verification using Software Analyzers
    Mukherjee, Rajdeep
    Kroening, Daniel
    Melham, Torn
    2015 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, 2015, : 7 - 12
  • [29] An Empirical Study in Software Verification Tools
    Jiang, Mengmeng
    Li, Xiaohong
    Xie, Xiaofei
    Zhang, Yao
    2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020), 2020, : 201 - 208
  • [30] Disjunctive image computation for software verification
    Wang, Chao
    Yang, Zijiang
    Ivancic, Franjo
    Gupta, Aarti
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2007, 12 (02)
12345