Collaborative Research: II-EN: Infrastructure Support for Software Testing Research

协作研究：II-EN：软件测试研究的基础设施支持

• 批准号: 0958199
• 负责人: Darko Marinov
• 金额: $ 27.7万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-06-01 至 2014-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0958199&HistoricalAwards=false
• 关键词: Collaborative; Research; II; EN; Infrastructure

Software testing techniques are fundamental to the development of dependable software. Computer scientists studying testing techniques must be able to evaluate and compare them empirically, and this requires access to a wide range of infrastructure support including programs, program versions, test suites, and fault data. This project provides that support, focusing on test generation and on software domains that are increasingly important: concurrent and distributed systems, software product lines, and web services. The PIs are collecting and constructing systems, specifications, version attributes, test attributes and fault attributes relevant to these domains, and organizing them in formats that allow computer scientists to utilize them efficiently in controlled experiments. Th PIs are embedding these artifacts in the existing Software-artifact Infrastructure Repository (SIR), a repository established under prior NSF support to facilitate experimentation with deterministic C and Java systems. They are also enhancing SIR's support for community contributions, by providing moderated write access to the repository; this will be expanded in the latter years of the project, following the spirit of open-source models for system management. The infrastructure being assembled enables several specific research and educational projects related to software testing, by the project researchers themselves and by the software engineering research community as a whole.

软件测试技术是开发可靠软件的基础。研究测试技术的计算机科学家必须能够凭经验评估和比较它们，这需要获得广泛的基础设施支持，包括程序、程序版本、测试套件和故障数据。该项目提供了这种支持，专注于测试生成和越来越重要的软件领域：并发和分布式系统，软件产品线和Web服务。PI正在收集和构建与这些领域相关的系统、规范、版本属性、测试属性和故障属性，并将它们组织成允许计算机科学家在受控实验中有效利用它们的格式。这些PI将这些工件嵌入到现有的软件工件基础设施存储库（SIR）中，SIR是在先前的NSF支持下建立的存储库，用于促进确定性C和Java系统的实验。他们还通过提供对存储库的适度写访问来加强SIR对社区贡献的支持;这将在项目的最后几年中扩大，遵循系统管理的开源模型的精神。正在组装的基础设施，使几个特定的研究和教育项目有关的软件测试，由项目研究人员自己和软件工程研究社区作为一个整体。