EAGER: Improving Robustness of Numerical Software

EAGER：提高数值软件的鲁棒性

• 批准号: 1349666
• 负责人: Tao Xie
• 金额: $ 10万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-10-01 至 2016-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1349666&HistoricalAwards=false
• 关键词: EAGER; Improving; Robustness; Numerical; Software

Numerical software is increasingly playing a critical role in society, and thus numerical errors in software can have disastrous consequences. However, it is very difficult to test numerical software, and numerical errors are hard to detect because they may not necessarily result in system crashes. There is a strong need for effective and practical techniques or tools to detect and prevent such errors and improve robustness of numerical software.This project explores novel and practical techniques for testing and analyzing numerical software to detect numerical errors in order to improve its robustness. In particular, this project carries out a set of preliminary research tasks to demonstrate the feasibility of the techniques, including developing an initial public repository of numeric constraints and exploring techniques to guide, optimize, and use parallel path exploration in symbolic execution. The research in this project enhances the infrastructure for teaching and research by providing open source tools and data sets for use by students and practitioners, and for enhancement by other researchers.

数值软件越来越多地在社会中发挥着关键作用，因此软件中的数值错误可能会带来灾难性的后果。但是，测试数值软件非常困难，并且很难检测到数值错误，因为它们不一定会导致系统崩溃。非常需要有效且实用的技术或工具来检测和预防此类错误并改善数值软件的鲁棒性。本项目探讨了测试和分析数值软件以检测数值错误以提高其鲁棒性的新颖和实用技术。特别是，该项目执行了一系列初步研究任务，以证明这些技术的可行性，包括开发数字约束的最初公共存储库以及探索技术以指导，优化和使用符号执行中的平行patheration探索。该项目的研究通过提供开源工具和数据集，以供学生和从业人员使用，并通过其他研究人员的增强来增强教学和研究的基础架构。