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

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

• 批准号: 0958231
• 负责人: Sarfraz Khurshid
• 金额: $ 27.2万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-06-01 至 2014-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0958231&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正在收集和构建与这些领域相关的系统、规范、版本属性、测试属性和故障属性，并以允许计算机科学家在受控实验中有效利用它们的格式来组织它们。TPI正在将这些构件嵌入到现有的软件-构件基础结构存储库(SIR)中，SIR是在先前的NSF支持下建立的存储库，用于促进确定性C和Java系统的实验。它们还通过提供对储存库的适度写入访问，加强了SIR对社区贡献的支持；本着系统管理的开放源码模式的精神，这将在项目的最后几年得到扩大。正在组装的基础设施允许由项目研究人员本身和整个软件工程研究社区进行与软件测试相关的几个特定研究和教育项目。