SHF: Small: T2T: A Framework for Amplifying Testing Resources
SHF: Small: T2T: A Framework for Amplifying Testing Resources
批准号:
0915526
负责人:
Sebastian Elbaum
金额:
$49.17万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-08-01 至 2013-07-31
中文摘要
提案编号:0915526标题:T2T:A Framework for Amplifying Testing ResourcesPI:塞巴斯蒂安Elbaum and Matthew Dwyer摘要:实际上,每个软件开发公司都投资于测试资源的构建和维护,以验证他们的产品。然而,这些投资可能非常昂贵。因此,并不是所有的测试资源都得到了同等的支持,因为公司将他们的测试工作集中在特定和有限类型的测试上,最终牺牲了及时的故障检测。建议的工作将解决这个问题,通过调查策略,扩大测试资源的力量和适用性。这些战略将把现有的测试转化为新的测试,为验证过程增加补充测试能力。制定的战略将是独特的,在他们的治疗测试数据。 这将需要开发可以有效操作的测试表示,以及测试转换,以实现生成新的和有价值的测试的操作。测试表示,表达足够有效地编码常见形式的软件测试将被开发,和转换操作上和跨不同的测试表示将被探索。这些测试表示和转换将构成T2T(测试到测试)框架和将测试视为数据的第一步。如果成功,这项工作将帮助软件开发公司降低产品成本,并通过扩大现有的测试资源来提高可靠性。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Workshop on Software Engineering for Robotics Systems (SE4Robotics)
-
批准号:2332991
-
项目类别:Standard Grant
-
资助金额:$6.25万
-
财政年份:2023
-
负责人:Sebastian Elbaum
-
依托单位:
SHF: Medium: More Reliable Image Networks through Scene-based Specification, Neuro-symbolic Training, and Systematic Specification-driven Testing
-
批准号:2312487
-
项目类别:Standard Grant
-
资助金额:$117.47万
-
财政年份:2023
-
负责人:Sebastian Elbaum
-
依托单位:
NRI: INT: COLLAB: Raining Drones: Mid-Air Release & Recovery of Atmospheric Sensing Systems
-
批准号:1924777
-
项目类别:Standard Grant
-
资助金额:$40.35万
-
财政年份:2019
-
负责人:Sebastian Elbaum
-
依托单位:
SHF:Small: Holistic Analysis: integrating the semantics of the world and the code
-
批准号:1853374
-
项目类别:Standard Grant
-
资助金额:$41.6万
-
财政年份:2018
-
负责人:Sebastian Elbaum
-
依托单位:
SHF:Small: Holistic Analysis: integrating the semantics of the world and the code
-
批准号:1718040
-
项目类别:Standard Grant
-
资助金额:$48.47万
-
财政年份:2017
-
负责人:Sebastian Elbaum
-
依托单位:
SHF: Small:Testing in the Presence of Continuous Change
-
批准号:1526652
-
项目类别:Standard Grant
-
资助金额:$42.5万
-
财政年份:2015
-
负责人:Sebastian Elbaum
-
依托单位:
SHF: Small: Solving the Search for Relevant Code in Large Repositories with Lightweight Specifications
-
批准号:1218265
-
项目类别:Standard Grant
-
资助金额:$44.9万
-
财政年份:2012
-
负责人:Sebastian Elbaum
-
依托单位:
CAREER: Leveraging Field Data to Test Highly-Configurable and Rapidly-Evolving Pervasive Systems
-
批准号:0347518
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2004
-
负责人:Sebastian Elbaum
-
依托单位:
ITR: Collaborative Research: Dependable End-User Software
-
批准号:0324861
-
项目类别:Continuing Grant
-
资助金额:$21.13万
-
财政年份:2003
-
负责人:Sebastian Elbaum
-
依托单位:
ITR: Collaborative Research: A New Generation of Scalable, Cost-Effective Regression Testing Techniques
-
批准号:0080898
-
项目类别:Continuing Grant
-
资助金额:$21.99万
-
财政年份:2000
-
负责人:Sebastian Elbaum
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: