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.

多核处理器和图形处理单元的趋势增加了对可以利用并行性和并发性的软件的需求。 不幸的是，并发程序已经被证明比顺序软件更难编写和调试。 这是因为并发程序经常由于多个线程之间的意外干扰而表现出不正确的行为。 测试和调试是软件开发过程中的重要阶段，有助于提高软件的质量、可靠性和安全性。 对于顺序软件，软件开发人员在实践中有效地使用测试和调试技术。 不幸的是，测试和调试对于并发程序来说比它们的顺序程序要困难得多。 本项目研究自动化测试和调试技术，不仅可以自动快速地发现并发程序中的错误，而且有助于简化和查明错误的原因。 所提出的技术将结合联合收割机的实际方法，如测试，数学上严格的技术，如模型检查和程序分析。 该项目将立即使软件行业受益，测试和错误修复消耗了软件开发总成本的一半以上。