• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Conference on Software Maintenance and Evolution >Automated Repair of High Inaccuracies in Numerical Programs
【24h】

Automated Repair of High Inaccuracies in Numerical Programs

机译：在数值方案中自动修复高不准确性

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Rounding errors are introduced pervasively when using floating-point arithmetic to approximate real arithmetic. The accumulation or catastrophic cancellation of rounding errors in numerical programs may produce high inaccuracy results, which can cause serious software failures once being triggered. High inaccuracies are known hard to debug and fix manually for developers. Hence, the automated techniques are desired for solving the high inaccuracy problem. In this paper, we propose a novel framework for automated repair of high-inaccuracy bugs in numerical programs. The framework includes the phases of detecting high-inaccuracy bugs, localizing the buggy code, generating and validating the patches, and synthesizing the repaired program at last. Based on this framework, we develop a prototype tool for repairing high inaccuracies in numerical programs. Our preliminary experimental results are encouraging.
机译：在使用浮点算术到近似真空算术时，越来越普遍地引入舍入误差。数值程序中舍入误差的累积或灾难性取消可能产生高不准确的结果，这可能导致一次触发后的严重软件故障。为开发人员手动调试和修复高不准确性。因此，需要自动化技术来解决高不准确问题。在本文中，我们提出了一种新颖的框架，用于在数值方案中自动修复高不准确性错误。该框架包括检测高不准确错误的阶段，本地化错误代码，生成和验证修补程序，并终于合成修复的程序。基于此框架，我们开发了用于在数值方案中修复高不准确性的原型工具。我们的初步实验结果令人鼓舞。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号