CAREER: Programming Languages Techniques for Enhancing Software Quality

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

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.