CAREER: Programming Languages Techniques for Enhancing Software Quality

职业：提高软件质量的编程语言技术

• 批准号: 0346982
• 负责人: Jeffrey Foster
• 金额: $ 40万
• 依托单位: University of Maryland, College Park
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-06-01 至 2011-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0346982&HistoricalAwards=false
• 关键词: CAREER; Programming; Languages; Techniques; Enhancing

ABSTRACT0346982CAREER: Programming Languages Techniques for Enhancing Software QualityJeffrey S. FosterUniversity of Maryland - College ParkThe goal of this research is to develop tools and techniques for improving the quality of software, with a focus on methods that analyze source code. There are two main objectives. The first is to develop the equivalent of type systems for high-level designs in software. Currently, even with careful planning it is all too easy toaccidentally violate design invariants as software projects develop and thereby introduce errors into programs. Having an automatic system for checking the consistency of source code with the high-leveldesign decisions behind it will help programmers avoid these mistakes. The second objective of this research is to develop techniques for checking the correctness of programs written in multiple languages.Current program analysis technology focuses on programs written in one language, yet modern software is often written in a mix of different languages. By developing analysis techniques that can span multiplelanguages and check conditions at the interface between the languages, programmers will be given new tools to help them ensure that multi-language systems are correct. Ultimately, the results of this research are expected have long-term benefits in the improvement of software quality.

摘要0346982职业：提高软件质量的编程语言技术杰弗里·S·福斯特马里兰大学帕克分校这项研究的目标是开发用于提高软件质量的工具和技术，重点是分析源代码的方法。 有两个主要目标。 第一个是为软件中的高级设计开发等效的类型系统。 目前，即使进行了仔细的规划，随着软件项目的开发，也很容易意外地违反设计不变量，从而将错误引入程序中。 拥有一个自动系统来检查源代码与其背后的高层设计决策的一致性将有助于程序员避免这些错误。 这项研究的第二个目标是开发用于检查用多种语言编写的程序的正确性的技术。当前的程序分析技术集中于用一种语言编写的程序，但现代软件通常是用不同语言编写的。 通过开发可以跨越多种语言并检查语言之间接口的条件的分析技术，程序员将获得新的工具来帮助他们确保多语言系统的正确性。 最终，这项研究的结果预计会对软件质量的提高产生长期的好处。