Testing and analysis of concurrent and heterogeneous computing software

提出的研究计划的主要目标是加强为多核和异构计算系统（例如，在单个芯片上具有多个CPU和GPU的系统）编写的软件的测试和分析。在此之前，我们已经评估了不同的并发（多核）故障检测技术，包括测试、静态分析和模型检查。我们的结果使我们能够将不同类型的故障检测工具组合在一起，以提高并发错误检测的有效性和效率。拟议的研究将以先前的研究为基础，同时在几个新的方向上进行扩展：利用人工智能技术加强并发软件的测试和分析。2. 评估并发软件的测试和分析工具的可用性。3. 异构计算软件的测试与分析。该研究计划将对软件工程领域产生重大影响。我们的研究将通过提供新的工具来提高多核和异构计算软件的质量，从而使更大的社区受益。

The main objective of the proposed research program is to enhance the testing and analysis of software written for multi-core and heterogeneous computing systems (e.g., systems with multiple CPU and GPU on a single chip). Previously, we have evaluated different concurrency (multi-core) fault detection techniques, including testing, static analysis and model checking. Our results have allowed us to combine the different kinds of fault detection tools together to improve both the effectiveness and efficiency of concurrency bug detection. The proposed research will build on this previous research while expanding it in several new directions:1. Using artificial intelligence techniques to enhance the testing and analysis of concurrent software. 2. Assessing the usability of testing and analysis tools for concurrent software. 3. Testing and analysis of heterogeneous computing software. The proposed research program will have the greatest impact in the field of Software Engineering. Our research will benefit the larger community by providing new tools that will enhance the quality of multi-core and heterogeneous computing software.