CAREER: Scalable and Systematic Test Authoring and Maintenance

职业：可扩展和系统的测试编写和维护

• 批准号: 0845628
• 负责人: Sarfraz Khurshid
• 金额: $ 42.5万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-08-01 至 2015-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0845628&HistoricalAwards=false
• 关键词: CAREER; Scalable; Systematic; Test; Authoring

The most commonly used methodology for validating the quality of software is testing. Conceptually, testing is simple. In practice, however, testing has two key limitations: it is expensive, often amounting to over a half of the development cost, and ineffective, often failing to find crucial bugs that can cause significant damage.This project addresses these limitations by developing a novel test automation framework based on test summaries -- abstract properties of desired tests. Developers write summaries as logical constraints that define desired inputs and properties to check, and the tools perform testing against dense suites that are likely to find many bugs. The project develops: (1) core algorithms for effective systematic testing, which generate high quality inputs, perform deep white-box checking, and synthesize executable test oracles; (2) optimization strategies for efficient systematic testing, which scale it to large applications; (3) incremental techniques for supporting evolution, which provide efficient test updates with respect to code changes; and (4) infrastructure support for enhancing usability, which assists developers with writing test summaries. Case studies using a variety of applications are used for evaluation.Systematic testing using test summaries will substantially increase test coverage and accuracy, which will significantly improve software quality. The PI's industrial collaborations and participation in UT's Executive Masters program enable a swift technology transfer to industry.

验证软件质量最常用的方法是测试。 从概念上讲，测试很简单。 然而，在实践中，测试有两个关键的限制：它是昂贵的，往往超过开发成本的一半，和无效的，往往无法找到关键的错误，可能会造成重大损害。这个项目通过开发一个新的测试自动化框架的基础上，测试摘要-所需的测试的抽象属性来解决这些限制。 开发人员编写摘要作为逻辑约束，定义所需的输入和要检查的属性，工具对可能发现许多错误的密集套件执行测试。 该项目开发：（1）用于有效系统测试的核心算法，其生成高质量输入，执行深度白盒检查，并合成可执行的测试预言;（2）用于有效系统测试的优化策略，其将其扩展到大型应用;（3）用于支持进化的增量技术，其提供关于代码更改的有效测试更新;以及（4）用于增强可用性的基础设施支持，其帮助开发人员编写测试摘要。 使用各种应用程序的案例研究用于评估。使用测试摘要进行系统测试将大大增加测试覆盖率和准确性，从而显着提高软件质量。PI的工业合作和参与UT的执行硕士课程使技术迅速转移到行业。