Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
批准号:
0958235
负责人:
Tao Xie
金额:
$26.3万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-06-01 至 2014-04-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CSR: Small: Decoupling File System from Volatile Main Memory: A First Step towards a Single-Level Persistent Store
-
批准号:1813485
-
项目类别:Standard Grant
-
资助金额:$33.69万
-
财政年份:2018
-
负责人:Tao Xie
-
依托单位:
TWC: Medium: Collaborative: Improving Mobile-Application Security via Text Analytics
-
批准号:1513939
-
项目类别:Standard Grant
-
资助金额:$90.0万
-
财政年份:2015
-
负责人:Tao Xie
-
依托单位:
CAREER: Cooperative Developer Testing with Test Intentions
-
批准号:1434596
-
项目类别:Continuing Grant
-
资助金额:$36.43万
-
财政年份:2013
-
负责人:Tao Xie
-
依托单位:
CSR: Small: A Device-Array Based Flash Storage System for Emerging Data-Intensive and Mission-Critical Mobile Applications: from Architecture Redesign to New File System
-
批准号:1320738
-
项目类别:Standard Grant
-
资助金额:$44.07万
-
财政年份:2013
-
负责人:Tao Xie
-
依托单位:
TWC: Small: Collaborative: Similary-Based Program Analyses for Eliminating Vulnerabilities
-
批准号:1318419
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2013
-
负责人:Tao Xie
-
依托单位:
TWC: Small: Collaborative: Similary-Based Program Analyses for Eliminating Vulnerabilities
-
批准号:1434582
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2013
-
负责人:Tao Xie
-
依托单位:
EAGER: Improving Robustness of Numerical Software
-
批准号:1349666
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2013
-
负责人:Tao Xie
-
依托单位:
Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
-
批准号:1439481
-
项目类别:Continuing Grant
-
资助金额:$20.88万
-
财政年份:2013
-
负责人:Tao Xie
-
依托单位:
SHF: Small: Collaborative Research: Constraint-Based Generation of Database States for Testing Database Applications
-
批准号:1434590
-
项目类别:Standard Grant
-
资助金额:$15.86万
-
财政年份:2013
-
负责人:Tao Xie
-
依托单位:
CAREER: Architectural Support for Integrating NAND Flash Solid State Disks into Enterprise-Class Storage Systems
-
批准号:0845105
-
项目类别:Standard Grant
-
资助金额:$43.6万
-
财政年份:2009
-
负责人:Tao Xie
-
依托单位:
CAREER: Cooperative Developer Testing with Test Intentions
-
批准号:0845272
-
项目类别:Continuing Grant
-
资助金额:$42.5万
-
财政年份:2009
-
负责人:Tao Xie
-
依托单位:
SHF: Small: Collaborative Research: Constraint-Based Generation of Database States for Testing Database Applications
-
批准号:0915400
-
项目类别:Standard Grant
-
资助金额:$24.99万
-
财政年份:2009
-
负责人:Tao Xie
-
依托单位:
Collaborative Research: SoD-TEAM: Designing Tests for Evolving Software Systems
-
批准号:0725190
-
项目类别:Standard Grant
-
资助金额:$22.5万
-
财政年份:2008
-
负责人:Tao Xie
-
依托单位:
CSR-DMSS, SM: Energy-Efficient and Reliability-Aware Data Management in Mobile Storage Systems
-
批准号:0834466
-
项目类别:Continuing Grant
-
资助金额:$16.0万
-
财政年份:2008
-
负责人:Tao Xie
-
依托单位:
CT-ISG: Collaborative Research: A New Approach to Testing and Verification of Security Policies
-
批准号:0716579
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Tao Xie
-
依托单位:
CSR---SMA: Improving Software System Reliability via Mining Properties for Software Verification
-
批准号:0720641
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2007
-
负责人:Tao Xie
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: