首页> 外文会议>International Conference on Computer Engineering Systems >Capture-recapture techniques in software verification
【24h】

Capture-recapture techniques in software verification

机译:软件验证中的捕获重新捕获技术

获取原文

摘要

Software verification is the process that assures that a software product conforms to its predefined specifications. Software inspection is the main verification technique used at early development stages. The inspection effectiveness; number of defects remaining in the artifact relative to number of identified defects; is typically used to measure the quality of the inspection process. Many approaches have been developed to judge the inspection effectiveness such as comparing the inspection results to organization’s historical data, establishing an organizational baseline for defect density, or estimating the number of remaining defects. Towards that end, capture-recapture techniques, originally proposed by biologists for animal population estimation, could be used to estimate the number of remaining defects in a software artifact. This paper reviews the different concepts for defect prediction techniques, provides an elaboration for basic concepts of capture-recapture models with their estimators, its applicability to software defect prediction, state of the art of research for this technique in software inspection and an overall evaluation for capture-recapture technique with its challenges.
机译:软件验证是确保软件产品符合其预定规范的过程。软件检测是早期开发阶段使用的主要验证技术。检查效果;相对于识别的缺陷数量剩余缺陷的数量;通常用于测量检查过程的质量。已经制定了许多方法来判断检查效果,例如将检查结果与组织的历史数据进行比较,建立缺陷密度的组织基线,或估算剩余缺陷的数量。为此目的,最初由生物学家估算的生物学家提出的捕获重新捕获技术可用于估计软件工件中剩余缺陷的数量。本文审查了缺陷预测技术的不同概念,为捕获 - 重新捕获模型的基本概念提供了与其估算的基本概念,其对软件缺陷预测的适用性,在软件检验中对该技术的研究领域以及整体评估捕获 - 重新捕获技术挑战。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号