SHF: Small: Empirical Studies, Principles and Techniques for Software Systems with Complex Configuration Spaces
SHF:小型:具有复杂配置空间的软件系统的实证研究、原理和技术
基本信息
- 批准号:1116740
- 负责人:
- 金额:$ 50万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2011
- 资助国家:美国
- 起止时间:2011-07-15 至 2016-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Today's software systems are increasingly built from flexible combinations of components that can be configured in a multitude of different ways. For example, the popular Firefox web browser has more than a thousand configuration options. While a high degree of configurability has many benefits, it also makes testing and reasoning about configurable software a major challenge. The goals of this proposed work are 1) to develop new techniques to efficiently discover the structure of software systems' configuration spaces, and 2) to exploit that information to improve common software engineering tasks, specifically testing and program understanding. In particular, this work will allow software developers to quickly and accurately answer questions such as, What are the "right" configurations to test a system under? How can we avoid testing a system under "unnecessary" configurations? How does software configuration change as systems evolve? We expect that, as much of the software used today is configurable, the advances made in this project in understanding and testing configurable systems will have widespread benefits in the reliability and trustworthiness of critical software.The proposed technical approach will pursue four main directions. First, the PIs will develop a representation of "effective" configuration spaces---the configurations needed to achieve a specific goal---that is both usable by software engineering tools and understandable to developers. Second, the PIs will develop novel techniques that compute the effective configuration space of a system. Third, the PIs will explore a number of software engineering applications that will make use of effective configuration space information, including configuration-aware test case selection, configuration-aware regression testing, and several program understanding tasks for configurable systems. Finally, the PIs will conduct a wide range of fundamental empirical studies that will test the research hypotheses and evaluate the proposed approach on large scale subject systems. Among others outcomes, these studies will examine the effective configurations of a range of systems; investigate how those configurations evolve over time; and determine how failures relate to system configurations. The results will impact both practice and education.
今天的软件系统越来越多地由灵活的组件组合构建,这些组件可以以多种不同的方式进行配置。例如,流行的火狐网络浏览器有一千多个配置选项。虽然高度的可配置性有很多好处,但它也使关于可配置软件的测试和推理成为一个主要挑战。这项拟议工作的目标是1)开发新的技术来有效地发现软件系统的配置空间的结构,以及2)利用这些信息来改进常见的软件工程任务,特别是测试和程序理解。特别是,这项工作将允许软件开发人员快速而准确地回答这样的问题:在什么情况下测试系统的“正确”配置是什么?我们如何避免在“不必要的”配置下测试系统?随着系统的发展,软件配置是如何变化的?我们预计,由于当今使用的大部分软件都是可配置的,该项目在理解和测试可配置系统方面取得的进展将对关键软件的可靠性和可信性产生广泛的好处。首先,PI将开发“有效的”配置空间的表示-实现特定目标所需的配置-既可由软件工程工具使用又可由开发人员理解的配置空间。其次,PI将开发计算系统有效配置空间的新技术。第三,PI将探索一些软件工程应用程序,这些应用程序将利用有效的配置空间信息,包括配置感知测试用例选择、配置感知回归测试,以及几个可配置系统的程序理解任务。最后,公共关系研究所将进行广泛的基础实证研究,以检验研究假设,并在大型学科系统上评估所提出的方法。除其他结果外,这些研究将检查一系列系统的有效配置;调查这些配置如何随着时间的推移而演变;以及确定故障与系统配置的关系。其结果将对实践和教育都产生影响。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
Jeffrey Foster其他文献
Large language models (LLMs) and the institutionalization of misinformation
- DOI:
10.1016/j.tics.2024.08.007 - 发表时间:
2024-12-01 - 期刊:
- 影响因子:
- 作者:
Maryanne Garry;Way Ming Chan;Jeffrey Foster;Linda A. Henkel - 通讯作者:
Linda A. Henkel
Antimicrobial Peptide C18G binds to Lipid Bilayers in a Lipid Composition Dependent Manner
- DOI:
10.1016/j.bpj.2008.12.700 - 发表时间:
2009-02-01 - 期刊:
- 影响因子:
- 作者:
Emmanuel Yawson;Jeffrey Foster;Gregory A. Caputo - 通讯作者:
Gregory A. Caputo
Jeffrey Foster的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Jeffrey Foster', 18)}}的其他基金
QCIS-FF: Quantum Computing & Information Science Faculty Fellow at Tufts University
QCIS-FF:量子计算
- 批准号:
2013062 - 财政年份:2021
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
FMitF: Track II: Transitioning Ruby Types to Practice
FMITF:轨道 II:将 Ruby 类型转变为实践
- 批准号:
1918233 - 财政年份:2019
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Specifying, Checking, and Analyzing Applications Built with Dynamic Language Frameworks
SHF:小型:指定、检查和分析使用动态语言框架构建的应用程序
- 批准号:
1319666 - 财政年份:2013
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design
协作研究:计算机增强程序工程探险 (ExCAPE):利用综合进行软件设计
- 批准号:
1139021 - 财政年份:2012
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
TC: Medium: Collaborative Research: Program Analysis for Smartphone Application Security
TC:媒介:协作研究:智能手机应用程序安全的程序分析
- 批准号:
1064997 - 财政年份:2011
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: User-Centered Software Analysis Tools
SHF:小型:以用户为中心的软件分析工具
- 批准号:
0915978 - 财政年份:2009
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
CT-T: Collaborative Research: Complex, High-level, Integrated Properties for Security
CT-T:协作研究:复杂、高级、集成的安全属性
- 批准号:
0715650 - 财政年份:2007
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
CAREER: Programming Languages Techniques for Enhancing Software Quality
职业:提高软件质量的编程语言技术
- 批准号:
0346982 - 财政年份:2004
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
Collaborative Research: Type Qualifiers for Software Security
协作研究:软件安全的类型限定符
- 批准号:
0430118 - 财政年份:2004
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
The Empirical Study of Gender (EGEN) Research Network: Small Research Prizes to Graduate Students and Early Career Faculty
性别实证研究 (EGEN) 研究网络:为研究生和早期职业教师提供小型研究奖
- 批准号:
2215500 - 财政年份:2022
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Empirical Studies on Inclusiveness and Exclusiveness of Sharing of Technologies in East African Small and Medium-sized Manufacturers
东非中小型制造商技术共享包容性与排他性实证研究
- 批准号:
21H03706 - 财政年份:2021
- 资助金额:
$ 50万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
RI: Small: New Directions in Probabilistic Deep Learning: Exponential Families, Bayesian Nonparametrics and Empirical Bayes
RI:小:概率深度学习的新方向:指数族、贝叶斯非参数和经验贝叶斯
- 批准号:
2127869 - 财政年份:2021
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
NSF-BSF: RI: Small: Efficient Transformers via Formal and Empirical Analysis
NSF-BSF:RI:小型:通过形式和经验分析的高效变压器
- 批准号:
2113530 - 财政年份:2021
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
On Property Liability Insurance Demand of Small and Medium-sized Enterprises- Empirical Evidence Based on Finance and Insurance Theories-
论中小企业财产责任保险需求——基于金融保险理论的经验证据——
- 批准号:
20K01756 - 财政年份:2020
- 资助金额:
$ 50万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
CIF: Small: Fundamental Limits of Empirical Risk Minimization in High Dimensions: A Unifying Gaussian Processes Approach
CIF:小:高维经验风险最小化的基本限制:统一高斯过程方法
- 批准号:
2009030 - 财政年份:2020
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
OAC Core: Small: Devising Data-driven Methodologies by Employing Large-scale Empirical Data to Fingerprint, Attribute, Remediate and Analyze Internet-scale IoT Maliciousness
OAC 核心:小型:通过使用大规模经验数据来指纹识别、归因、修复和分析互联网规模的物联网恶意行为,设计数据驱动的方法
- 批准号:
1953051 - 财政年份:2019
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Theoretical and Empirical Research on Project-Based Budgeting System for Small and Medium Civil Engineering Construction Companies
中小型土木工程施工企业项目预算制度的理论与实证研究
- 批准号:
19K01993 - 财政年份:2019
- 资助金额:
$ 50万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
OAC Core: Small: Devising Data-driven Methodologies by Employing Large-scale Empirical Data to Fingerprint, Attribute, Remediate and Analyze Internet-scale IoT Maliciousness
OAC 核心:小型:通过使用大规模经验数据来指纹识别、归因、修复和分析互联网规模的物联网恶意行为,设计数据驱动的方法
- 批准号:
1907821 - 财政年份:2019
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
NeTS: Small: Exploring the Design, Implementation, Operation Issues of Cellular IoT via Formal Analysis and Empirical Validation
NeTS:小型:通过形式分析和实证验证探索蜂窝物联网的设计、实施和操作问题
- 批准号:
1814551 - 财政年份:2018
- 资助金额:
$ 50万 - 项目类别:
Standard Grant