Experimental Study of Static Analysis Techniques for Concurrent Software

随着并发软件系统的数量和重要性不断增加，对确保这些系统按预期运行的可靠方法的需求变得更加迫切。研究人员已经提出了许多非常不同的分析技术，但这些技术的经验主要限于简单的学术程序，对于哪些技术和工具最适合特定问题，或者如何在实践中有效地使用这些技术，人们知之甚少。该项目涉及进行一系列实验，以获得有关这些技术在实际并发程序中的适用性的信息。这些实验包括对几个真实程序的分析以及具有特殊程序的对照实验，所述特殊程序被设计成隔离在对真实程序的分析中被识别为对一个或多个分析工具的效用有显著影响的特定特征。这些实验的结果将为软件开发人员提供指导，为开发分析技术的研究人员提供反馈，以及一套可用于开发和评估额外分析技术的基准程序和特性。

As the number and significance of concurrent software systems continue to increase, the need for reliable methods to ensure that these systems behave as intended becomes more pressing. A number of very different analysis techniques have been proposed by researchers, but experience with these techniques is limited chiefly to simple academic programs and little is known about which techniques and tools are most appropriate for particular problems, or how to use the techniques effectively in practice. This project involves carrying out a series of experiments to gain information on the applicability of these techniques to real concurrent programs. These experiments include the analysis of several real programs as well as controlled experiments with special programs designed to isolate particular features identified in the analysis of real programs as having significant impact on the utility of one or more of the analysis tools. The results of those experiments will provide guidance to software developers, feedback to researchers developing analysis techniques, and a set of benchmark programs and properties that can be used in the development and evaluation of additional analysis techniques.