SHF: Medium: Collaborative Research: Enhancing Continuous Integration Testing for the Open-Source Ecosystem
SHF: Medium: Collaborative Research: Enhancing Continuous Integration Testing for the Open-Source Ecosystem
批准号:
1763788
负责人:
Darko Marinov
金额:
$43.71万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-10-01 至 2024-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Continuous integration (CI) is an important software development activity that aims to improve software development by automating software compilation and regression testing. Recent studies report that CI helps developers deploy faster and reduce development cost. Given these success stories, CI has attracted rapidly increasing interest and adoption, e.g., Travis CI, the currently most popular CI service, is used by over 300,000 GitHub projects. Despite the success of CI, developers report they would like to see improvements in CI. First, they want to faster obtain regression test results. Second, they want better handling of so-called flaky tests, which are regression tests that can non-deterministically pass or fail, and whose failures negatively affect developer's productivity. Third, developers report that CI builds do not provide sufficient debugging assistance for reasoning about failed regression tests. While regression testing has been studied for over three decades, it has not been studied in the context of CI until recently.To substantially improve regression testing in CI, the PIs propose to develop novel techniques and tools that address three important challenges: (1) test selection to speed up regression testing and the development cycle, (2) test reliability to mitigate the problems that flaky tests introduce, and (3) debugging assistance to ease the effort of diagnosing and fixing the true and flaky regression test failures. The PIs plan to develop techniques and tools based on a mix of static and dynamic program analyses, leveraging not only information from two project revisions (as traditional in regression testing) but also from all historical build and testing information available in CI testing. The PIs plan to embody their techniques in a tool-set and evaluate them extensively on open-source projects and in industrial collaborations. The broader impacts of enhancing continuous integration testing are to allow software developers to faster build higher quality software, which can benefit our modern society that greatly depends on software.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(18)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
10.1145/3428270
发表时间:
2020-11
期刊:
Proceedings of the ACM on Programming Languages
影响因子:
--
作者:
[Wing Lam;Stefan Winter;Anjiang Wei;Tao Xie;D. Marinov;Jonathan Bell]
通讯作者:
Wing Lam;Stefan Winter;Anjiang Wei;Tao Xie;D. Marinov;Jonathan Bell
DOI:
10.1109/icst.2019.00037
发表时间:
2019-04
期刊:
2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)
影响因子:
--
作者:
[Owolabi Legunsen;Yi Zhang;Milica Hadzi-Tanovic;Grigore Roşu;D. Marinov]
通讯作者:
Owolabi Legunsen;Yi Zhang;Milica Hadzi-Tanovic;Grigore Roşu;D. Marinov
DOI:
10.1145/3338906.3338925
发表时间:
2019-08
期刊:
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
影响因子:
--
作者:
[A. Shi;Wing Lam;Reed Oei;Tao Xie;D. Marinov]
通讯作者:
A. Shi;Wing Lam;Reed Oei;Tao Xie;D. Marinov
DOI:
10.1007/978-3-031-04673-5_9
发表时间:
2021
期刊:
影响因子:
--
作者:
[Wenxi Wang;Pu Yi;S. Khurshid;D. Marinov]
通讯作者:
Wenxi Wang;Pu Yi;S. Khurshid;D. Marinov
Automatic Reproduction of Workflows in the Snakemake Workflow Catalog and nf-core Registries
自动复制 Snakemake 工作流程目录和 nf-core 注册表中的工作流程
DOI:
10.1145/3589806.3600037
发表时间:
2023
期刊:
1st ACM Conference on Reproducibility and Replicability
影响因子:
--
作者:
[Grayson, Samuel, Marinov, Darko, Katz, Daniel S., Milewicz, Reed]
通讯作者:
Milewicz, Reed
共 15 条
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
-
依托单位:
Collaborative Research: II-EN: Infrastructure Support for Software Testing Research
-
批准号:0958199
-
项目类别:Continuing Grant
-
资助金额:$27.7万
-
财政年份:2010
-
负责人: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
-
依托单位:
海外基金