CAREER:VARIATIONAL EXECUTION

职业:变量执行

基本信息

  • 批准号:
    1552944
  • 负责人:
  • 金额:
    $ 47.96万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2016
  • 资助国家:
    美国
  • 起止时间:
    2016-04-01 至 2021-03-31
  • 项目状态:
    已结题

项目摘要

Many software systems can be configured by enabling or disablingconfiguration options. As options can be combined flexibly, theconfiguration space grows exponentially. Therefore highly-configurable systems are notoriously hard to test. While many combinations of options work well, specific configurations may expose faulty or surprising behavior emerging from interactions among options. Due to the huge search space, interactions are difficult to find. In fact, since no complete and sound techniques exist to study interactions in large scale systems, little is known about interactions in practice. This researchexplores a novel program execution technique, variational execution, to efficiently execute a large number of configurations or similar programs and inspect the differences among those executions. Variational execution will aid understanding and detection of interactions among configuration options in highly-configurable software systems and contribute to better quality assurance and development methods. It will transform the way to test configurable systems, including most of today?s end-user software, software ecosystems, and criticalinfrastructure software, such as SSL libraries and databases. The insights gained into interactions in real-world systems fill an important gap in our understanding of interactions, relevant for teaching software design and quality assurance. Additionally, it will enable advances in exploring interactions and large search spaces for broader software engineering purposes, including higher-order mutation testing, program repair, and sensitivity analysis.
许多软件系统可以通过启用或禁用配置选项进行配置。由于选项可以灵活组合,配置空间呈指数级增长。因此,高度可配置的系统是出了名的难以测试。虽然许多选项的组合都能很好地工作,但特定的配置可能会暴露出选项之间交互产生的错误或令人惊讶的行为。由于搜索空间巨大,交互很难找到。事实上,由于没有完整的和健全的技术来研究大规模系统中的相互作用,在实践中对相互作用知之甚少。本研究探索一种新的程序执行技术--变分执行,以有效地执行大量的配置或类似的程序,并检查这些执行之间的差异。变分执行将有助于理解和检测高度可配置软件系统中配置选项之间的交互,并有助于更好的质量保证和开发方法。它将改变测试可配置系统的方式,包括今天的大多数系统。的最终用户软件、软件生态系统和关键基础设施软件,如SSL库和数据库。对真实世界系统中交互的深入了解填补了我们对交互理解的一个重要空白,这与教学软件设计和质量保证有关。 此外,它将使探索交互和大搜索空间的进展,用于更广泛的软件工程目的,包括高阶突变测试,程序修复和敏感性分析。

项目成果

期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Capture the Feature Flag: Detecting Feature Flags in Open-Source
捕获功能标志:检测开源中的功能标志
How to Not Get Rich: An Empirical Study of Donations in Open Source
如何不致富:开源捐赠的实证研究
VarFix: balancing edit expressiveness and search effectiveness in automated program repair
Exploring Differences and Commonalities between Feature Flags and Configuration Options
{{ 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 }}

Christian Kastner其他文献

The Leadership factor: A study of leadership-styles in transformation
领导因素:转型中的领导风格研究
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Christian Kastner
  • 通讯作者:
    Christian Kastner
Multi-laboratory evaluation of the reproducibility of polymer biodegradation assessments applying standardized and modified respirometry methods
应用标准化和改良呼吸测定法对聚合物生物降解评估的再现性的多实验室评估
  • DOI:
    10.1016/j.scitotenv.2023.166339
  • 发表时间:
    2023-11-25
  • 期刊:
  • 影响因子:
    8.000
  • 作者:
    Kathleen McDonough;Glauco Battagliarin;Jennifer Menzies;Jared Bozich;Marlies Bergheim;Bjorn Hidding;Christian Kastner;Bahar Koyuncu;Georg Kreutzer;Hans Leijs;Yash Parulekar;Meera Raghuram;Nathalie Vallotton
  • 通讯作者:
    Nathalie Vallotton
The Role of a Leader: Transformational Efforts in Innovation and Change
领导者的角色:创新和变革中的转型努力
  • DOI:
    10.1007/978-3-030-57642-4_6
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Christian Kastner
  • 通讯作者:
    Christian Kastner
MAREG and WinMAREG A tool for marginal regression models
MAREG 和 WinMAREG 边际回归模型工具
  • DOI:
  • 发表时间:
    1997
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Christian Kastner;Andreas Fieger;C. Heumann
  • 通讯作者:
    C. Heumann

Christian Kastner的其他文献

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

{{ truncateString('Christian Kastner', 18)}}的其他基金

Collaborative Proposal: SaTC: Frontiers: Enabling a Secure and Trustworthy Software Supply Chain
协作提案:SaTC:前沿:实现安全可信的软件供应链
  • 批准号:
    2206859
  • 财政年份:
    2022
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Continuing Grant
Collaborative Research: SHF: Core: Medium: Causal Performance Debugging for Highly-Configurable Systems
协作研究:SHF:核心:中:高度可配置系统的因果性能调试
  • 批准号:
    2106853
  • 财政年份:
    2021
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Policy Design for Holding AI-Supported Systems Accountable
合作研究:DASS:让人工智能支持的系统承担责任的政策设计
  • 批准号:
    2131477
  • 财政年份:
    2021
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Standard Grant
NSF Student and Early-Career Faculty Travel Grant for IEEE International Conference on Software Engineering 2020 (ICSE)
NSF 学生和早期职业教师 2020 年 IEEE 国际软件工程会议 (ICSE) 旅费补助
  • 批准号:
    2002420
  • 财政年份:
    2020
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Standard Grant
NSF Student and Early-Career Faculty Travel Grant for IEEE International Conference on Software Engineering 2019 (ICSE)
NSF 学生和早期职业教师 2019 年 IEEE 国际软件工程会议 (ICSE) 旅费补助
  • 批准号:
    1922878
  • 财政年份:
    2019
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Standard Grant
SHF: SMALL: Streamlining Fork-Based Software Development
SHF:小型:简化基于分叉的软件开发
  • 批准号:
    1813598
  • 财政年份:
    2018
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Trustworthy Dependency Management
SaTC:核心:小型:值得信赖的依赖管理
  • 批准号:
    1717022
  • 财政年份:
    2017
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Standard Grant
SHF: Small: Reverse Engineering Variability Implementations
SHF:小型:逆向工程可变性实施
  • 批准号:
    1318808
  • 财政年份:
    2013
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Standard Grant

相似海外基金

Data Complexity and Uncertainty-Resilient Deep Variational Learning
数据复杂性和不确定性弹性深度变分​​学习
  • 批准号:
    DP240102050
  • 财政年份:
    2024
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Discovery Projects
Neural Networks for Stationary and Evolutionary Variational Problems
用于稳态和进化变分问题的神经网络
  • 批准号:
    2424801
  • 财政年份:
    2024
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Continuing Grant
Variational Inference for Intractable and Misspecified State Space Models
棘手且错误指定的状态空间模型的变分推理
  • 批准号:
    DE230100029
  • 财政年份:
    2023
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Discovery Early Career Researcher Award
Non-Local Variational Problems with Applications to Data Science
非局部变分问题及其在数据科学中的应用
  • 批准号:
    2307971
  • 财政年份:
    2023
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Continuing Grant
Variational Optimal Transport Methods for Nonlinear Filtering
非线性滤波的变分最优传输方法
  • 批准号:
    2318977
  • 财政年份:
    2023
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Standard Grant
LEAPS-MPS: Time-Discrete Regularized Variational Model for Brittle Fracture in Novel Strain-Limiting Elastic Solids
LEAPS-MPS:新型应变限制弹性固体中脆性断裂的时间离散正则化变分模型
  • 批准号:
    2316905
  • 财政年份:
    2023
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Standard Grant
Nonlocal Variational Problems from Physical and Biological Models
物理和生物模型的非局部变分问题
  • 批准号:
    2306962
  • 财政年份:
    2023
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Standard Grant
Development of Parametric Estimation Based on Variational Divergence
基于变分散度的参数估计的发展
  • 批准号:
    23K16849
  • 财政年份:
    2023
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
CAREER: Statistical Inference in High Dimensions using Variational Approximations
职业:使用变分近似进行高维统计推断
  • 批准号:
    2239234
  • 财政年份:
    2023
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Continuing Grant
Scalar curvature and geometric variational problems
标量曲率和几何变分问题
  • 批准号:
    2303624
  • 财政年份:
    2023
  • 资助金额:
    $ 47.96万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了