EAGER: Systematic and Scalable Testing of Concurrent Software in the Cloud

EAGER：云中并发软件的系统且可扩展的测试

• 批准号: 1500024
• 负责人: Chao Wang
• 金额: $ 5.42万
• 依托单位: Virginia Polytechnic Institute and State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-03-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1500024&HistoricalAwards=false
• 关键词: EAGER; Systematic; Scalable; Testing; Concurrent

While multicore and many core and GPU processors increase computing speed, the concurrent and parallel programs written for them are increasingly complex, hard to verify, and difficult to test. So-called "concurrency bugs" are very hard to find, because of the huge number of thread interleavings that need to be examined to find the circumstances in which a bug might occur. Techniques for finding bugs in sequential programs do not scale to concurrent programs, especially for programs with data inputs and shared memory, which require more rigor and exhaustive testing. The project will investigate an approach that combines symbolic execution with a form of schedule exploration to find efficient solutions. Scalability is pursued by seeking to parallelize the execution on a cloud platform, which is a step toward a cloud service for concurrent software testing. There is a dire need for tools capable of doing scalable and efficient testing of concurrent programs, which will have a high impact on software quality and correctness if implemented in a widely available service. This EAGER grant will explore the feasibility of this high-risk, potentially high-reward approach.

虽然多核和许多核心和GPU处理器提高了计算速度，但为它们编写的并发和并行程序越来越复杂，难以验证和测试。所谓的“并发错误”很难找到，因为需要检查大量的线程交错来找到可能发生错误的环境。在顺序程序中发现错误的技术不能扩展到并发程序，特别是对于具有数据输入和共享内存的程序，这需要更严格和详尽的测试。该项目将研究一种方法，将象征性执行与一种形式的时间表探索相结合，以找到有效的解决方案。 可扩展性是通过寻求在云平台上并行执行来追求的，这是向用于并发软件测试的云服务迈出的一步。 有一个迫切需要的工具，能够做可扩展的和有效的测试并发程序，这将有一个很大的影响，软件质量和正确性，如果在一个广泛可用的服务。 EAGER赠款将探索这种高风险，潜在高回报方法的可行性。