权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Assertion-based Verification: From Compile-time Checking to Runtime Error Recovery

基于断言的验证：从编译时检查到运行时错误恢复

基本信息

批准号：
0702680
负责人：
Sarfraz Khurshid
金额：
$ 11万
依托单位：
University of Texas at Austin
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2007
资助国家：
美国
起止时间：
2007-09-15 至 2009-08-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0702680&HistoricalAwards=false
关键词：
Assertion based Verification Compile time

项目摘要

Proposal NumberCCF-0702680TITLEAssertion-based Verification: From Compile-time Checking to Runtime Error RecoveryPISarfraz KhurshidAbstractThis project investigates assertion-based repair---a novel methodology for enabling software systems to recover from errors before they manifest into failures. Traditional approaches to error recovery use assertion evaluations to detect erroneous states and specialized routines to repair them. Most of these routines are ad hoc, ill-understood, and unable to handle a variety of errors.The key insight of this project is to turn a violated assertion into a repair routine by using the assertion as a basis of performing repair. This project will develop systematic approaches that enable efficient repair using assertions written in common programming languages, such as Java. The repair approaches will be evaluated using a variety of complex data structures.Realization of the proposed methodology enables a unified framework for compile-time checking and runtime error recovery -- two software reliability methodologies that traditionally have deployed very different algorithms. The unification has the potential to significantly increase the quality of software. Any program that is annotated with assertions, which programmers already write comfortably, can be: (1) systematically checked before deployment using existing techniques; and (2) guaranteed to continue to execute without failure, once deployed, using the proposed methodology.

提案数字CCF-0702680TITE基于断言的验证：从编译时检查到运行时错误恢复PISarfraz KhurshidAbstra本项目研究基于断言的修复-一种使软件系统能够在错误显露为故障之前从错误中恢复的新方法。传统的错误恢复方法使用断言评估来检测错误状态，并使用专门的例程来修复它们。这些例程大多是临时的，难以理解，无法处理各种错误。本项目的关键见解是通过将断言作为执行修复的基础，将违反的断言转换为修复例程。该项目将开发系统方法，使用Java等常见编程语言编写的断言实现高效修复。修复方法将使用各种复杂的数据结构进行评估。建议方法的实现实现了编译时检查和运行时错误恢复的统一框架--这两种软件可靠性方法传统上部署了截然不同的算法。统一具有显著提高软件质量的潜力。任何用断言注释的程序都可以：(1)使用现有技术在部署之前进行系统检查；以及(2)使用所提出的方法，保证在部署后继续无故障地执行。