CAREER: Systematic Software Testing Using Test Abstractions

CCF-0746856职业：使用测试抽象进行系统软件测试Darko Marinov软件测试对于提高软件可靠性很重要，但成本昂贵，并且可能占软件开发成本的一半以上。 自动化测试可以极大地帮助程序员开发和维护可靠的软件。 然而，测试自动化主要局限于测试执行，而测试生成仍然是手工的，大多是ad hoc的，这不仅使它很难最初开发的测试，而且维护和重用测试。 从概念上讲，每个测试抽象都提供了所需测试套件的高级描述：程序员不需要手动编写大型测试套件，而是只编写测试抽象，工具可以自动生成单个测试。 本项目研究了测试抽象的五个方面：（1）使用什么语言编写测试抽象？ (2)从测试抽象生成哪些测试？(3)如何从测试抽象自动生成测试？(4)如何判断被测代码是否通过测试？(5)如何确定哪些失败的测试是由相同的代码错误引起的？

CCF-0746856CAREER: Systematic Software Testing Using Test AbstractionsDarko MarinovSoftware testing is important for increasing software reliability, but expensive and can account for more than half of the software development cost. Automated testing can significantly help programmers to develop and maintain reliable software. However, test automation is mainly limited to test execution, while test generation remains manual and mostly ad hoc, which not only makes it hard to develop tests initially but also to maintain and reuse tests.To reduce the cost of developing, maintaining, and reusing tests, this project investigates a novel approach to automated testing based on test abstractions. Conceptually, each test abstraction provides a high-level description of a desired test suite: programmers do not need to manually write large suites of individual tests but instead write only test abstractions from which tools automatically generate individual tests. This project investigates five aspects of test abstractions: (1) What languages to use for writing test abstractions? (2) Which tests to generate from test abstractions? (3) How to automatically generate tests from test abstractions? (4) How to determine whether the code under test passed or failed? (5) How to determine which failing tests are caused by the same code error?