Empirical assessment and improvement of fault detection techniques for conurrent software

确保并发程序的质量是一个非常困难的问题，由于硬件技术的进步，这个问题变得越来越重要。像多核处理器这样的进步导致了对并发软件开发需求的增加。不幸的是，开发正确的并发代码比开发正确的顺序代码要困难得多。所提出的研究计划的目标是增强我们对并发软件的不同故障检测技术的理解，并利用我们的理解来改进和定制这些技术的使用。本研究分为三个主题：1)并发系统故障检测技术的经验评估与比较；2)特定领域的故障检测技术定制，如模型检查和测试；3)在大型软件项目中改进不同故障检测工具的组合使用。拟议研究计划中所有主题的基本主题是使用实证研究方法来促进更好的工具使用以及开发更有效和高效的故障检测工具。该工作对软件工程领域，特别是软件质量保证领域具有重要意义。在短期内，我们的研究计划将更好地理解当今的故障检测工具。这项研究的长期好处是开发了综合质量保证方法，这些方法使用工具自动优化到特定领域或特定类型的故障。

Ensuring the quality of concurrent programs is a very difficult problem that is becoming increasingly pertinent due to advances in hardware technology. Advances like multi-core processors have resulted in an increase in the need for concurrent software development. Unfortunately, developing correct concurrent code is much more difficult than developing correct sequential code. The objective of the proposed research program is to enhance our understanding of different fault detection techniques for concurrent software and to leverage our understanding to improve and customize the use of these techniques. The research is divided into three topics: 1) empirical assessment and comparison of different fault detection techniques for concurrent systems; 2) domain-specific customization of fault detection techniques like model checking and testing; 3) improving the combined use of different fault detection tools in large software projects. The underlying theme of all topics within the proposed research program is the use of empirical research methods to facilitate better tool usage as well as the development of more effective and efficient fault detection tools. The greatest significance of this work is to the field of software engineering and specifically software quality assurance. In the short term our research program will provide better understanding of today's fault detection tools. The long-term benefit of this research is the development of combined quality assurance approaches that use tools automatically optimized to a particular domain or a particular class of faults.