课题基金 / 基金详情

SHF: Small: T2T: A Framework for Amplifying Testing Resources

SHF: Small: T2T: A Framework for Amplifying Testing Resources
SHF:小型:T2T:扩大测试资源的框架
批准号:
0915526
负责人:
Sebastian Elbaum
金额:
$49.17万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-08-01 至 2013-07-31

项目摘要

项目成果

Sebastian Elbaum的其他基金

相似基金

相关文献

中文摘要
翻译
提案编号: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
  • 依托单位:
国内基金
海外基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
  • 依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    10.0万元
  • 批准年份:
    2022
  • 负责人:
    张祥忠
  • 依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 项目类别:
    面上项目
  • 资助金额:
    58.0万元
  • 批准年份:
    2019
  • 负责人:
    高学文
  • 依托单位: