SHF: Small: Directed Testing and Debugging of Concurrent Programs

SHF：小型：并发程序的定向测试和调试

• 批准号: 1018729
• 负责人: Koushik Sen
• 金额: $ 40万
• 依托单位: University of California-Berkeley
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-09-01 至 2014-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1018729&HistoricalAwards=false
• 关键词: SHF; Small; Directed; Testing; Debugging

The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism and concurrency. Unfortunately, concurrent programs have proven to be much more difficult to write and debug than sequential software. This is because concurrent programs often exhibit incorrect behaviors due to unintended interference among multiple threads. Such concurrency bugs are often difficult to find because they typically happen under very specific thread interleavings.Testing and debugging are important phases of the software development process that help to improve software quality, reliability, and safety. For sequential software, software developers effectively use testing and debugging techniques in practice. Unfortunately, testing and debugging become notoriously difficult for concurrent programs compared to their sequential counterparts. This project investigates automated testing and debugging techniques that can not only find bugs in concurrent programs automatically and quickly, but also help to simplify and pinpoint the cause of bugs. The proposed techniques will combine practical methods, such as testing, and mathematically rigorous techniques, such as model checking and program analysis. The project will immediately benefit the software industry, where testing and bug fixing consume more than half of the total software development cost.

多核处理器和图形处理单元的趋势是增加了可以利用并行性和并发的软件的需求。 不幸的是，事实证明，与顺序软件相比，同时程序的编写和调试要困难得多。 这是因为并发程序通常由于多个线程之间意外干扰而表现出不正确的行为。 这种并发错误通常很难找到，因为它们通常在非常特定的线程交织下发生。测试和调试是软件开发过程的重要阶段，有助于提高软件质量，可靠性和安全性。 对于顺序软件，软件开发人员在实践中有效地使用测试和调试技术。 不幸的是，与它们的顺序对应相比，同时程序的测试和调试变得众所周知。 该项目调查了自动测试和调试技术，这些技术不仅可以自动和快速地中的程序中找到错误，还可以帮助简化和查明错误的原因。 提出的技术将结合实用方法，例如测试和数学上严格的技术，例如模型检查和程序分析。 该项目将立即受益于软件行业，在该项目中，测试和错误修复将消耗超过一半的软件开发成本。