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

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

基本信息

  • 批准号:
    0958231
  • 负责人:
  • 金额:
    $ 27.2万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2010
  • 资助国家:
    美国
  • 起止时间:
    2010-06-01 至 2014-05-31
  • 项目状态:
    已结题

项目摘要

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对社区贡献的支持;这将在项目的最后几年中扩大,遵循系统管理的开源模型的精神。正在组装的基础设施,使几个特定的研究和教育项目有关的软件测试,由项目研究人员自己和软件工程研究社区作为一个整体。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Sarfraz Khurshid其他文献

Exploring very large state spaces using genetic algorithms
Scaling symbolic execution using staged analysis
TestEra: Specification-Based Testing of Java Programs Using SAT
  • DOI:
    10.1023/b:ause.0000038938.10589.b9
  • 发表时间:
    2004-10-01
  • 期刊:
  • 影响因子:
    3.100
  • 作者:
    Sarfraz Khurshid;Darko Marinov
  • 通讯作者:
    Darko Marinov

Sarfraz Khurshid的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Sarfraz Khurshid', 18)}}的其他基金

SHF: Small: Test-Driven Development and Maintenance of Declarative Models
SHF:小型:声明性模型的测试驱动开发和维护
  • 批准号:
    1718903
  • 财政年份:
    2017
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Mera: Memoized Ranged Systematic Software Analyses
SHF:小型:协作研究:Mera:记忆范围系统软件分析
  • 批准号:
    1319688
  • 财政年份:
    2013
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
CAREER: Scalable and Systematic Test Authoring and Maintenance
职业:可扩展和系统的测试编写和维护
  • 批准号:
    0845628
  • 财政年份:
    2009
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Continuing Grant
Assertion-based Verification: From Compile-time Checking to Runtime Error Recovery
基于断言的验证:从编译时检查到运行时错误恢复
  • 批准号:
    0702680
  • 财政年份:
    2007
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant

相似国自然基金

Research on Quantum Field Theory without a Lagrangian Description
  • 批准号:
    24ZR1403900
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
Cell Research
  • 批准号:
    31224802
  • 批准年份:
    2012
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Cell Research
  • 批准号:
    31024804
  • 批准年份:
    2010
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Cell Research (细胞研究)
  • 批准号:
    30824808
  • 批准年份:
    2008
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
  • 批准号:
    10774081
  • 批准年份:
    2007
  • 资助金额:
    45.0 万元
  • 项目类别:
    面上项目

相似海外基金

Collaborative Research: DESC: Type II: REFRESH: Revisiting Expanding FPGA Real-estate for Environmentally Sustainability Heterogeneous-Systems
合作研究:DESC:类型 II:REFRESH:重新审视扩展 FPGA 空间以实现环境可持续性异构系统
  • 批准号:
    2324865
  • 财政年份:
    2023
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
Collaborative Research: Enhancing Chemoselectivity and Efficiency Through Control of Axial Coordination in Rh(II) Complexes: An Experimental and Computational Approach
合作研究:通过控制 Rh(II) 配合物的轴向配位提高化学选择性和效率:实验和计算方法
  • 批准号:
    2247836
  • 财政年份:
    2023
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
Collaborative Research: IRES Track II: Short Courses on Manufacturing Frontiers Leveraging Unique Facilities in Italy
合作研究:IRES Track II:利用意大利独特设施的制造前沿短期课程
  • 批准号:
    2246809
  • 财政年份:
    2023
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
Collaborative Research: Enhancing Chemoselectivity and Efficiency Through Control of Axial Coordination in Rh(II) Complexes: An Experimental and Computational Approach
合作研究:通过控制 Rh(II) 配合物的轴向配位提高化学选择性和效率:实验和计算方法
  • 批准号:
    2247835
  • 财政年份:
    2023
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track II: Cross-Language Support for Runtime Verification
合作研究:FMitF:轨道 II:运行时验证的跨语言支持
  • 批准号:
    2319473
  • 财政年份:
    2023
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
Collaborative Research: DESC: Type II: Multi-Function Cross-Layer Electro-Optic Fabrics for Reliable and Sustainable Computing Systems
合作研究:DESC:II 型:用于可靠和可持续计算系统的多功能跨层电光织物
  • 批准号:
    2324644
  • 财政年份:
    2023
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
Collaborative Research: IRES Track II: Short Courses on Manufacturing Frontiers Leveraging Unique Facilities in Italy
合作研究:IRES Track II:利用意大利独特设施的制造前沿短期课程
  • 批准号:
    2246808
  • 财政年份:
    2023
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
Collaborative Research: DESC: Type II: Multi-Function Cross-Layer Electro-Optic Fabrics for Reliable and Sustainable Computing Systems
合作研究:DESC:II 型:用于可靠和可持续计算系统的多功能跨层电光织物
  • 批准号:
    2324645
  • 财政年份:
    2023
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
Collaborative Research: DESC: Type II: REFRESH: Revisiting Expanding FPGA Real-estate for Environmentally Sustainability Heterogeneous-Systems
合作研究:DESC:类型 II:REFRESH:重新审视扩展 FPGA 空间以实现环境可持续性异构系统
  • 批准号:
    2324864
  • 财政年份:
    2023
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track II: Cross-Language Support for Runtime Verification
合作研究:FMitF:轨道 II:运行时验证的跨语言支持
  • 批准号:
    2319472
  • 财政年份:
    2023
  • 资助金额:
    $ 27.2万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了