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

SHF：小型：T2T：扩大测试资源的框架

• 批准号: 0915526
• 负责人: Sebastian Elbaum
• 金额: $ 49.17万
• 依托单位: University of Nebraska-Lincoln
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-08-01 至 2013-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0915526&HistoricalAwards=false
• 关键词: SHF; Small; T2T; Framework; Amplifying

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：放大测试资源的框架 PI：Sebastian Elbaum 和 Matthew Dwyer 摘要：几乎每个软件开发公司都投资于测试资源的构建和维护来验证其产品。然而，这些投资可能非常昂贵。因此，并不是所有的测试资源都得到平等的支持，因为公司将测试工作集中在特定和有限类型的测试上，最终牺牲了及时的故障检测。拟议的工作将通过研究扩大测试资源的力量和适用性的策略来解决这个问题。这些策略将把现有测试转变为新测试，为验证过程添加补充测试功能。所开发的策略在将测试作为数据处理方面将是独一无二的。 这将需要开发可以有效操作的测试表示，以及测试转换以实现生成新的和有价值的测试的操作。将开发具有足够表达能力以有效编码常见形式的软件测试的测试表示，并将探索在不同测试表示上和跨不同测试表示进行操作的转换。这些测试表示和转换将构成 T2T（测试到测试）框架以及将测试视为数据的第一步。如果成功，这项工作将帮助软件开发公司通过扩大现有的测试资源来降低产品成本并提高可靠性。