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.

提高软件质量的编程语言技术。福斯特大学的马里兰州-学院公园这项研究的目标是开发工具和技术，以提高软件的质量，重点是分析源代码的方法。 有两个主要目标。 第一个是为软件中的高级设计开发类型系统的等价物。 目前，即使经过仔细的规划，在软件项目开发过程中也很容易意外地违反设计不变量，从而将错误引入程序。 拥有一个自动系统来检查源代码与其背后的高级设计决策的一致性将有助于程序员避免这些错误。 本研究的第二个目的是开发检查多种语言编写的程序的正确性的技术。当前的程序分析技术主要集中在一种语言编写的程序，然而现代软件经常是用不同语言的混合编写的。 通过开发可以跨越多种语言的分析技术并检查语言之间接口的条件，程序员将获得新的工具来帮助他们确保多语言系统是正确的。 最终，本研究的成果有望对软件质量的提高产生长远的效益。