Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
批准号:
0958199
负责人:
Darko Marinov
金额:
$27.7万
依托单位国家:
美国
项目类别:
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Medium: Collaborative Research: Enhancing Continuous Integration Testing for the Open-Source Ecosystem
-
批准号:1763788
-
项目类别:Continuing Grant
-
资助金额:$43.71万
-
财政年份:2018
-
负责人:Darko Marinov
-
依托单位:
EAGER: USBRCCR: Collaborative: Lightweight Policy Enforcement of Information Flows in IoT Infrastructures
-
批准号:1740916
-
项目类别:Standard Grant
-
资助金额:$13.63万
-
财政年份:2017
-
负责人:Darko Marinov
-
依托单位:
CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems
-
批准号:1646305
-
项目类别:Standard Grant
-
资助金额:$35.21万
-
财政年份:2017
-
负责人:Darko Marinov
-
依托单位:
SHF: Medium: Collaborative Research: Improved Performance Testing and Debugging
-
批准号:1409423
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2014
-
负责人:Darko Marinov
-
依托单位:
SHF: Small: Revisiting Assumptions of Regression Testing
-
批准号:1421503
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2014
-
负责人:Darko Marinov
-
依托单位:
SHF: Small: IMUnit: Improved Multithreaded Unit Testing
-
批准号:0916893
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2009
-
负责人:Darko Marinov
-
依托单位:
CAREER: Systematic Software Testing Using Test Abstractions
-
批准号:0746856
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2008
-
负责人:Darko Marinov
-
依托单位:
国内基金
海外基金
登录
查看更多内容
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
-
负责人:滕冰
-
依托单位: