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.