Economics of software verification

机译：软件验证经济学

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

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?

机译：>如何通过更容易获得的传统测试技术确定软件验证技术的附加值？正式的验证技术介绍了额外的成本和潜在的利益。当好处超过成本时，我们可以客观地显示吗？

著录项

来源
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》|2001年||共10页
会议地点
作者
Gerard J. Holzmann;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类软件工程;
关键词
testing;

机译：测试;

相似文献

外文文献
中文文献
专利

1. Economics of Software Verification [J] . Gerard J. Holzmann ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2001,第Suppla期

机译：软件验证经济学
2. Virtualized In Situ Software Update Verification: Verification of Over-the-Air Automotive Software Updates [J] . IEEE Vehicular Technology Magazine . 2020,第1期

机译：虚拟化的原位软件更新验证：空中汽车软件更新的验证
3. From software verification to 'everyware' verification [J] . Marta Kwiatkowska Computer science . 2013,第4期

机译：从软件验证到“所有软件”验证
4. Verification of Models in Agent Based Computational Economics: Lessons from Software Engineering [C] . Bogumil Kaminski, Przemyslaw Szufel International conference on perspectives in business informatics research . 2013

机译：基于Agent的计算经济学中的模型验证：来自软件工程的经验教训
5. Application of software verification techniques to hardware design verification. [D] . Megargee, Michael Richard. 1987

机译：软件验证技术在硬件设计验证中的应用。
6. Validation of virtual water phantom software for pre‐treatment verification of single‐isocenter multiple‐target stereotactic radiosurgery [O] . Juan‐Francisco Calvo‐Ortega, Peter B. Greer, Marcelino Hermida‐López, 2021

机译：用于预处理验证单同定位定向术前肠外放射外科手术的虚拟水幻像软件的验证
7. Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2 [O] . Mirsky, S.M., Groundwater, E.H., Hayes, J.E., 1995

机译：专家系统软件和传统软件的验证和确认指南：传统软件验证和验证方法的调查和评估。第2卷
8. Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2 [R] . 1995

机译：专家系统软件和传统软件的验证和确认指南：传统软件验证和验证方法的调查和评估。第2卷

Economics of software verification

摘要

著录项

相似文献

相关主题

期刊订阅