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 条
  • [1] Verification of Concurrent Software
    Kroening, Daniel
    DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 159 - 178
  • [2] Software Verification with CPAchecker 3.0: Tutorial and User Guide
    Baier, Daniel
    Beyer, Dirk
    Chien, Po-Chun
    Jakobs, Marie-Christine
    Jankola, Marek
    Kettl, Matthias
    Lee, Nian-Ze
    Lemberger, Thomas
    Lingsch-Rosenfeld, Marian
    Wachowitz, Henrik
    Wendler, Philipp
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 543 - 570
  • [3] Poster Abstract: Software Verification for TinyOS
    Bucur, Doina
    Kwiatkowska, Marta Z.
    PROCEEDINGS OF THE 9TH ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS, 2010, : 400 - 401
  • [4] Software model checking: extracting verification models from source code
    Holzmann, GJ
    Smith, MH
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (02) : 65 - 79
  • [5] A Quantitative Analysis into the Economics of Correcting Software Bugs
    Wright, Craig S.
    Zia, Tanveer A.
    COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS, 2011, 6694 : 198 - 205
  • [6] A survey of automated techniques for formal software verification
    D'Silva, Vijay
    Kroening, Daniel
    Weissenbacher, Georg
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2008, 27 (07) : 1165 - 1178
  • [7] Qualification of a Model Checker for Avionics Software Verification
    Wagner, Lucas
    Mebsout, Alain
    Tinelli, Cesare
    Cofer, Darren
    Slind, Konrad
    NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 404 - 419
  • [8] Model Verification of Dynamic Software Product Lines
    Santos, Ismayle S.
    Rocha, Lincoln S.
    Santos Neto, Pedro A.
    Andrade, Rossana M. C.
    THIRTIETH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2016), 2016, : 113 - 122
  • [9] Optimization of Lyapunov Invariants in Verification of Software Systems
    Roozbehani, Mardavij
    Megretski, Alexandre
    Feron, Eric
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (03) : 696 - 711
  • [10] Deductive software verification
    Filliâtre J.-C.
    International Journal on Software Tools for Technology Transfer, 2011, 13 (5) : 397 - 403
12345