Testing and analysis of concurrent and heterogeneous computing software

并发异构计算软件测试与分析

• 批准号: 356003-2013
• 负责人: Bradbury, Jeremy
• 金额: $ 1.09万
• 依托单位: University of Ontario Institute of Technology
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=527990
• 关键词: Testing; analysis; concurrent; heterogeneous; computing

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:

拟议研究方案的主要目标是加强对为多核和异类计算系统(例如，在单个芯片上具有多个CPU和GPU的系统)编写的软件的测试和分析。在此之前，我们评估了不同的并发(多核)故障检测技术，包括测试、静态分析和模型检测。我们的结果使我们能够将不同类型的错误检测工具结合在一起，以提高并发错误检测的有效性和效率。拟议的研究将建立在先前研究的基础上，同时将其扩展到几个新方向：