Experimental Study of Static Analysis Techniques for Concurrent Software

并发软件静态分析技术的实验研究

• 批准号: 9708184
• 负责人: George Avrunin
• 金额: $ 143.43万
• 依托单位: University of Massachusetts Amherst
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-09-01 至 2002-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9708184&HistoricalAwards=false
• 关键词: Experimental; Study; Static; Analysis; Techniques

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.

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