CRII: SHF: Regression Testing for Projects with Distributed Software Histories
CRII:SHF:具有分布式软件历史记录的项目的回归测试
基本信息
- 批准号:1566363
- 负责人:
- 金额:$ 17.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2016
- 资助国家:美国
- 起止时间:2016-05-15 至 2019-04-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Developers practice regression testing -- running tests against eachproject commit -- to check that project changes do not break anyfunctionality. While important, regression testing is expensive due tothe number of tests and the number of commits. Regression testselection (RTS) techniques speed up regression testing by skipping torun tests that are not affected by recent changes, and regression testprioritization (RTP) techniques reorder tests to run failing testsfaster. Existing regression techniques analyze only two adjacentcommits, effectively assuming a linear software history. However, therevolution in version-control systems changed the shape of softwarehistories. Distributed software histories are complex graphs ofbranches and merges, which do not match the simplistic view of theexisting techniques. Although existing regression techniques can berun if a distributed software history is linearized, these techniquesunderutilize the data available in the distributed software history.To speed up regression testing, the PI proposes to design techniquesthat utilize the data available in the entire distributed softwarehistory. This project proposes four tasks to improve RTS and RTP: (1)non-adjacent commit reuse - discover likely optimal commit to be usedin each analysis rather than always analyzing adjacent commits; (2)multi-commit analyses - design methods that analyze more than twocommits rather than always analyzing only two commits; (3)command-aware methods - specialize the methods for various commandsthat create each commit rather than be command-unaware; and (4)unified implementation and evaluation - share the implementation andresults among techniques, and evaluate the techniques on open-sourceand industrial projects. The broader impacts of improving RTS and RTPare to increase developers' productivity and reduce the resource usageduring testing phases.
开发人员练习回归测试——针对每个项目提交运行测试——以检查项目更改不会破坏任何功能。虽然回归测试很重要,但由于测试数量和提交数量,它的成本很高。回归测试选择 (RTS) 技术通过跳过运行不受最近更改影响的测试来加速回归测试,回归测试优先级 (RTP) 技术重新排序测试以更快地运行失败的测试。现有的回归技术仅分析两个相邻的提交,有效地假设线性软件历史记录。然而,版本控制系统的革命改变了软件历史的形态。分布式软件历史是分支和合并的复杂图,这与现有技术的简单化视图不符。尽管如果分布式软件历史记录是线性化的,则可以运行现有的回归技术,但是这些技术未充分利用分布式软件历史记录中的可用数据。为了加速回归测试,PI 建议设计利用整个分布式软件历史记录中的可用数据的技术。该项目提出了四个任务来改进 RTS 和 RTP:(1)非相邻提交重用 - 发现每次分析中可能使用的最佳提交,而不是总是分析相邻提交; (2)多提交分析——设计分析两次以上提交的方法,而不是总是只分析两次提交; (3)命令感知方法 - 专门用于创建每个提交的各种命令的方法,而不是命令不感知的方法; (4)统一实施和评估——共享技术之间的实施和结果,并对开源和工业项目的技术进行评估。改进 RTS 和 RTP 的更广泛影响是提高开发人员的生产力并减少测试阶段的资源使用。
项目成果
期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Regression test selection for TizenRT
TizenRT 的回归测试选择
- DOI:10.1145/3236024.3275527
- 发表时间:2018-01
- 期刊:
- 影响因子:0
- 作者:Celik, Ahmet;Lee, Young Chul;Gligoric, Milos
- 通讯作者:Gligoric, Milos
A regression proof selection tool for coq
coq 的回归证明选择工具
- DOI:10.1145/3183440.3183493
- 发表时间:2018-05
- 期刊:
- 影响因子:0
- 作者:Celik, Ahmet;Palmskog, Karl;Gligoric, Milos
- 通讯作者:Gligoric, Milos
piCoq: parallel regression proving for large-scale verification projects
piCoq:大规模验证项目的并行回归证明
- DOI:10.1145/3213846.3213877
- 发表时间:2018-01
- 期刊:
- 影响因子:0
- 作者:Palmskog, Karl;Celik, Ahmet;Gligoric, Milos
- 通讯作者:Gligoric, Milos
Bounded exhaustive test-input generation on GPUs
GPU 上的有限详尽测试输入生成
- DOI:10.1145/3133918
- 发表时间:2017-10
- 期刊:
- 影响因子:0
- 作者:Celik, Ahmet;Pai, Sreepathi;Khurshid, Sarfraz;Gligoric, Milos
- 通讯作者:Gligoric, Milos
Extension-Aware Automated Testing Based on Imperative Predicates
基于命令式谓词的扩展感知自动化测试
- DOI:10.1109/icst.2019.00013
- 发表时间:2019-04
- 期刊:
- 影响因子:0
- 作者:Dini, Nima;Yelen, Cagdas;Gligoric, Milos;Khurshid, Sarfraz
- 通讯作者:Khurshid, Sarfraz
{{
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 }}
Milos Gligoric其他文献
Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection
比较和结合基于分析和基于学习的回归测试选择
- DOI:
- 发表时间:
2022-04 - 期刊:
- 影响因子:0
- 作者:
Jiyang Zhang;Yu Liu;Milos Gligoric;Owolabi Legunsen;August Shi - 通讯作者:
August Shi
More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
通过推理语义修改变化来进行更精确的回归测试选择
- DOI:
- 发表时间:
2023-07 - 期刊:
- 影响因子:0
- 作者:
Yu Liu;Jiyang Zhang;Pengyu Nie;Milos Gligoric;Owolabi Legunsen - 通讯作者:
Owolabi Legunsen
Inline Tests
在线测试
- DOI:
- 发表时间:
2022-10 - 期刊:
- 影响因子:0
- 作者:
Yu Liu;Pengyu Nie;Owolabi Legunsen;Milos Gligoric - 通讯作者:
Milos Gligoric
pytest-inline: An Inline Testing Tool for Python
pytest-inline:Python 内联测试工具
- DOI:
- 发表时间:
2023-05 - 期刊:
- 影响因子:0
- 作者:
Yu Liu;Zachary Thurston;Alan Han;Pengyu Nie;Milos Gligoric;Owolabi Legunsen - 通讯作者:
Owolabi Legunsen
Inline Tests
在线测试
- DOI:
- 发表时间:
2022-10 - 期刊:
- 影响因子:0
- 作者:
Yu Liu;Pengyu Nie;Owolabi Legunsen;Milos Gligoric - 通讯作者:
Milos Gligoric
Milos Gligoric的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Milos Gligoric', 18)}}的其他基金
I-Corps: Translation Potential of Optimizing Regression Testing in Software Development
I-Corps:软件开发中优化回归测试的转化潜力
- 批准号:
2405355 - 财政年份:2024
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Natural Language Models with Execution Data for Software Testing
协作研究:SHF:媒介:用于软件测试的具有执行数据的自然语言模型
- 批准号:
2313027 - 财政年份:2023
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Efficient and Trustworthy Proof Engineering
合作研究:SHF:中:高效且值得信赖的证明工程
- 批准号:
2107291 - 财政年份:2021
- 资助金额:
$ 17.5万 - 项目类别:
Continuing Grant
CAREER: Advancing Regression Testing: Theory and Practice
职业:推进回归测试:理论与实践
- 批准号:
1652517 - 财政年份:2017
- 资助金额:
$ 17.5万 - 项目类别:
Continuing Grant
SHF: Medium: Collaborative Research: Testing in the Era of Approximation
SHF:媒介:协作研究:近似时代的测试
- 批准号:
1704790 - 财政年份:2017
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
相似国自然基金
面向5G通信的超高频FBAR耗散机理和耗散稳定性研究
- 批准号:12302200
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
衔接蛋白SHF负向调控胶质母细胞瘤中EGFR/EGFRvIII再循环和稳定性的功能及机制研究
- 批准号:82302939
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
宽运行范围超高频逆变系统架构拓扑与调控策略研究
- 批准号:52377175
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
超高频同步整流DC-DC变换器效率优化关键技术研究
- 批准号:62301375
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
强震动环境下10-100Hz超高频GNSS误差精细建模及监测应用研究
- 批准号:42274025
- 批准年份:2022
- 资助金额:56 万元
- 项目类别:面上项目
相似海外基金
CRII: SHF: A Novel Address Translation Architecture for Virtualized Clouds
CRII:SHF:一种用于虚拟化云的新型地址转换架构
- 批准号:
2348066 - 财政年份:2024
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
CRII: SHF: Systematic Construction of Teaching Language Progressions for Embedded Domain-Specific Languages
CRII:SHF:嵌入式领域特定语言教学语言进程的系统构建
- 批准号:
2348408 - 财政年份:2024
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Enabling Graphics Processing Unit Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的图形处理单元性能仿真
- 批准号:
2402804 - 财政年份:2024
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
SHF: Medium: Provably Correct, Energy-Efficient Edge Computing
SHF:中:可证明正确、节能的边缘计算
- 批准号:
2403144 - 财政年份:2024
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
SHF: Small: Hardware-Software Co-design for Privacy Protection on Deep Learning-based Recommendation Systems
SHF:小型:基于深度学习的推荐系统的隐私保护软硬件协同设计
- 批准号:
2334628 - 财政年份:2024
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant