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.