SHF: Small: T2T: A Framework for Amplifying Testing Resources
SHF:小型:T2T:扩大测试资源的框架
基本信息
- 批准号:0915526
- 负责人:
- 金额:$ 49.17万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2009
- 资助国家:美国
- 起止时间:2009-08-01 至 2013-07-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Proposal Number: 0915526Title: T2T: A Framework for Amplifying Testing ResourcesPIs: Sebastian Elbaum and Matthew DwyerAbstract:Virtually every software development company invests in the construction and maintenance of testing resources to validate their products. These investments, however, can be very costly. Consequently, not all testing resources are supported equally as companies focus their testing efforts on specific and limited types of tests, ultimately sacrificing timely fault detection. The work proposed will address this problem by investigating strategies for amplifying the power and applicability of testing resources. The strategies will transform existing tests into new tests that add complementary testing capabilities to the validation process. The developed strategies will be unique in their treatment of tests as data. This will require the development of test representations that can be efficiently manipulated, and test transformations to realize operations that generate new and valuable tests. Test representations that are expressive enough to efficiently encode common forms of software tests will be developed, and transformations that operate both on and across different test representations will be explored. These test representations and transformations will constitute the T2T (test to test) framework and the initial step towards treating tests as data. If successful, this work will help software development companies lower product costs and enhance dependability by amplifying their existing testing resources.
提案编号:0915526标题:T2T:A Framework for Amplifying Testing ResourcesPI:塞巴斯蒂安Elbaum and Matthew Dwyer摘要:实际上,每个软件开发公司都投资于测试资源的构建和维护,以验证他们的产品。然而,这些投资可能非常昂贵。因此,并不是所有的测试资源都得到了同等的支持,因为公司将他们的测试工作集中在特定和有限类型的测试上,最终牺牲了及时的故障检测。建议的工作将解决这个问题,通过调查策略,扩大测试资源的力量和适用性。这些战略将把现有的测试转化为新的测试,为验证过程增加补充测试能力。制定的战略将是独特的,在他们的治疗测试数据。 这将需要开发可以有效操作的测试表示,以及测试转换以实现生成新的且有价值的测试的操作。测试表示,表达足够有效地编码常见形式的软件测试将被开发,和转换操作上和跨不同的测试表示将被探索。这些测试表示和转换将构成T2T(测试到测试)框架和将测试视为数据的第一步。如果成功,这项工作将帮助软件开发公司降低产品成本,并通过扩大现有的测试资源来提高可靠性。
项目成果
期刊论文数量(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 }}
Sebastian Elbaum其他文献
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs
- DOI:
10.1016/j.scico.2024.103252 - 发表时间:
2025-05-01 - 期刊:
- 影响因子:
- 作者:
Trey Woodlief;Felipe Toledo;Sebastian Elbaum;Matthew B. Dwyer - 通讯作者:
Matthew B. Dwyer
Experimental program analysis
- DOI:
10.1016/j.infsof.2009.10.002 - 发表时间:
2010-04-01 - 期刊:
- 影响因子:
- 作者:
Joseph R. Ruthruff;Sebastian Elbaum;Gregg Rothermel - 通讯作者:
Gregg Rothermel
Sebastian Elbaum的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Sebastian Elbaum', 18)}}的其他基金
Workshop on Software Engineering for Robotics Systems (SE4Robotics)
机器人系统软件工程研讨会(SE4Robotics)
- 批准号:
2332991 - 财政年份:2023
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
SHF: Medium: More Reliable Image Networks through Scene-based Specification, Neuro-symbolic Training, and Systematic Specification-driven Testing
SHF:中:通过基于场景的规范、神经符号训练和系统规范驱动测试实现更可靠的图像网络
- 批准号:
2312487 - 财政年份:2023
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
NRI: INT: COLLAB: Raining Drones: Mid-Air Release & Recovery of Atmospheric Sensing Systems
NRI:INT:协作:无人机下雨:空中发布
- 批准号:
1924777 - 财政年份:2019
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
SHF:Small: Holistic Analysis: integrating the semantics of the world and the code
SHF:Small:整体分析:整合世界语义和代码
- 批准号:
1853374 - 财政年份:2018
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
SHF:Small: Holistic Analysis: integrating the semantics of the world and the code
SHF:Small:整体分析:整合世界语义和代码
- 批准号:
1718040 - 财政年份:2017
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
SHF: Small:Testing in the Presence of Continuous Change
SHF:小:在持续变化的情况下进行测试
- 批准号:
1526652 - 财政年份:2015
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
SHF: Small: Solving the Search for Relevant Code in Large Repositories with Lightweight Specifications
SHF:小:用轻量级规范解决大型存储库中相关代码的搜索
- 批准号:
1218265 - 财政年份:2012
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
CAREER: Leveraging Field Data to Test Highly-Configurable and Rapidly-Evolving Pervasive Systems
职业:利用现场数据测试高度可配置且快速发展的普及系统
- 批准号:
0347518 - 财政年份:2004
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
ITR: Collaborative Research: Dependable End-User Software
ITR:协作研究:可靠的最终用户软件
- 批准号:
0324861 - 财政年份:2003
- 资助金额:
$ 49.17万 - 项目类别:
Continuing Grant
ITR: Collaborative Research: A New Generation of Scalable, Cost-Effective Regression Testing Techniques
ITR:协作研究:新一代可扩展、经济高效的回归测试技术
- 批准号:
0080898 - 财政年份:2000
- 资助金额:
$ 49.17万 - 项目类别:
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 万元
- 项目类别:重大研究计划
相似海外基金
Powering Small Craft with a Novel Ammonia Engine
用新型氨发动机为小型船只提供动力
- 批准号:
10099896 - 财政年份:2024
- 资助金额:
$ 49.17万 - 项目类别:
Collaborative R&D
"Small performances": investigating the typographic punches of John Baskerville (1707-75) through heritage science and practice-based research
“小型表演”:通过遗产科学和基于实践的研究调查约翰·巴斯克维尔(1707-75)的印刷拳头
- 批准号:
AH/X011747/1 - 财政年份:2024
- 资助金额:
$ 49.17万 - 项目类别:
Research Grant
Fragment to small molecule hit discovery targeting Mycobacterium tuberculosis FtsZ
针对结核分枝杆菌 FtsZ 的小分子片段发现
- 批准号:
MR/Z503757/1 - 财政年份:2024
- 资助金额:
$ 49.17万 - 项目类别:
Research Grant
Bacteriophage control of host cell DNA transactions by small ORF proteins
噬菌体通过小 ORF 蛋白控制宿主细胞 DNA 交易
- 批准号:
BB/Y004426/1 - 财政年份:2024
- 资助金额:
$ 49.17万 - 项目类别:
Research Grant
Windows for the Small-Sized Telescope (SST) Cameras of the Cherenkov Telescope Array (CTA)
切伦科夫望远镜阵列 (CTA) 小型望远镜 (SST) 相机的窗口
- 批准号:
ST/Z000017/1 - 财政年份:2024
- 资助金额:
$ 49.17万 - 项目类别:
Research Grant
CSR: Small: Leveraging Physical Side-Channels for Good
CSR:小:利用物理侧通道做好事
- 批准号:
2312089 - 财政年份:2024
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
CSR: Small: Multi-FPGA System for Real-time Fraud Detection with Large-scale Dynamic Graphs
CSR:小型:利用大规模动态图进行实时欺诈检测的多 FPGA 系统
- 批准号:
2317251 - 财政年份:2024
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
AF: Small: Problems in Algorithmic Game Theory for Online Markets
AF:小:在线市场的算法博弈论问题
- 批准号:
2332922 - 财政年份:2024
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
Collaborative Research: FET: Small: Algorithmic Self-Assembly with Crisscross Slats
合作研究:FET:小型:十字交叉板条的算法自组装
- 批准号:
2329908 - 财政年份:2024
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant
NeTS: Small: ML-Driven Online Traffic Analysis at Multi-Terabit Line Rates
NeTS:小型:ML 驱动的多太比特线路速率在线流量分析
- 批准号:
2331111 - 财政年份:2024
- 资助金额:
$ 49.17万 - 项目类别:
Standard Grant