ITR: Design Conformant Software

ITR：设计一致性软件

• 批准号: 0086154
• 负责人: Daniel Jackson
• 金额: $ 370万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-09-15 至 2006-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0086154&HistoricalAwards=false
• 关键词: ITR; Design; Conformant; Software

The proposed research will investigate new software engineeringtechniques and tools for infrastructural software that will improveits reliability, safety, and predictability. The key idea is to useabstract design models to drive new static analyses that check thatthe software correctly implements its design (and if not, identify thesource of the problem). To ensure that our research addresses theimportant issues that developers face in the field, we will conductour research in the context of the development of an air trafficcontrol system component. Specifically, the research will investigatethe use of object models to express important design properties andnew pointer analysis algorithms to verify that the code correctlyimplements the object models. Object models describe essential objectin the heap and the relationships between them; pointer analysisautomatically analyzes code to extract information about how objectsrefer to each other. The research will investigate techniques thatimprove the precision of the pointer analysis by using the objectmodel to focus the analysis on the properties of interest.

拟议的研究将调查新的软件工程技术和工具的基础设施软件，将提高其可靠性，安全性和可预测性。 其关键思想是使用抽象设计模型来驱动新的静态分析，以检查软件是否正确地实现了其设计（如果没有，则识别问题的根源）。 为了确保我们的研究解决了开发人员在该领域面临的重要问题，我们将在空中交通管制系统组件开发的背景下进行研究。具体而言，研究将调查使用对象模型来表达重要的设计属性和新的指针分析算法，以验证代码正确实现的对象模型。 对象模型描述堆中的基本对象以及它们之间的关系;指针分析自动分析代码以提取关于对象如何相互引用的信息。 本研究将探讨技术，提高精度的指针分析，通过使用对象模型，重点分析的属性的兴趣。