Integrated Concurrency Analysis in a Software Development Environment

对分析、验证和测试的有效支持需要 协调应用各种技术。 为 分析并发软件的困难尤其严重， 因此，特别重要的是， 承担这个问题。 该项目将开发和展示一个 综合分析技术的一般方法 并发软件中同步故障的检测。 一组 用于分析并发程序的工具组件将被嵌入 在软件开发环境中。 达性分析 技术将用于检测故障类别（竞争条件， 例如），其特别难以用其它方法检测到， 分析和测试技术。 一种新的分-- 将进行征服分析。 灵活控制 努力/准确性权衡和过滤报告的选项， 通过其他分析和测试技术的潜在错误将是 用于控制可达性分析作为标准的缺点， 独自技术 并发分析工具集将作为 用于研究以下新组合的实验测试台 技术，包括可达性分析与 象征性的处决

Effective support for analysis, verification, and testing requires coordinated application of a variety of techniques. As the difficulties of analyzing concurrent software are especially severe, so it is especially important that multiple techniques be brought to bear on the problem. This project will develop and demonstrate a general approach to integrating analysis techniques applied to the detection of synchronization faults in concurrent software. A set of tool components for analysis of concurrent programs will be embedded in a software development environment. A reachability analysis technique will be used to detect classes of faults (race conditions, for instance) that are particularly difficult to detect with other analysis and testing techniques. A new technique for divide-and- conquer analysis will be implemented. Flexible control of effort/accuracy tradeoffs and the option of filtering reports of potential errors through other analysis and testing techniques will be used to control the shortcomings of reachability analysis as a stand- alone technique. The concurrency analysis tool set will serve as an experimental test-bed for investigating novel combinations of techniques, including integration of reachability analysis with symbolic execution.