SBIR Phase I: Dependence Graphs for Internet Technologies

GrammaTech的小企业创新研究（SBIR）第一阶段项目旨在开展研究，解决构成互联网的软件系统开发人员面临的基本问题。互联网系统的问题，如软件故障、安全漏洞和效率低下，可能导致人们对这种媒介缺乏信心，并阻碍其进一步发展。迄今为止，用于构建这些系统的工具大多未能帮助缓解这些问题，因为它们通常是为更传统的构造系统设计的——这些系统大多是静态的，大多是单线程的。相比之下，Internet系统通常是高度动态的，并且经常涉及并发性。最近出现了一种基于静态语义分析技术的新工具，用于静态和顺序系统。本文的研究目标是将这些技术扩展并应用于高动态并发系统的分析。关键的技术挑战是设计表示和方法，使这些增强的分析准确和易于处理，并发明查询和组织分析结果的机制。目标将是Java编程语言。这项研究的潜在应用包括用于程序理解、重构、并行化、调试和测试的工具。这项研究的结果在用于软件构建的交互式开发环境（ide）以及用于软件开发过程所有其他阶段的工具中具有商业应用。

This Small Business Innovation Research (SBIR) Phase I project from GrammaTech aims to conduct research that will address fundamental problems facing developers of the software systems that comprise the Internet. Problems with Internet systems such as software faults, security vulnerabilities and inefficiencies can lead to a lack of confidence in the medium and hinder its further development. The tools used to construct these systems have so far mostly failed to help mitigate these problems because they were generally designed for more traditionally-constructed systems-- those that are mostly static and mostly single-threaded. In contrast, Internet systems are typically highly dynamic and often involve concurrency. A new breed of tools based on techniques that use static-semantic analysis of programs has recently emerged for static and sequential systems. The research objective of this proposal is to extend and apply these techniques to the analysis of highly-dynamic concurrent systems. The key technical challenges are to devise representations and methods that make these enhanced analyses accurate and tractable and to invent mechanisms for querying and organizing the results of the analyses. The target will be the Java programming language.The potential applications of this research include tools for program understanding, restructuring, parallelization, debugging, and testing. The results of this research have commercial application in Interactive Development Environments (IDEs) for software construction, and in tools for all other phases of the software development process.