MODA: automated test generation for database applications via mock objects
MODA: automated test generation for database applications via mock objects
复制标题
DOI：
10.1145/1858996.1859053
复制
发表时间：
2010-09
期刊：
影响因子：
--
通讯作者：
Kunal Taneja;Yi Zhang;Tao Xie
中科院分区：
文献类型：
--
作者：
Kunal Taneja;Yi Zhang;Tao Xie
软件测试通常用于确保数据库应用程序的质量。手动为复杂数据库应用程序编写质量测试通常非常昂贵。已经提出了自动测试生成技术，例如动态符号执行（DSE），以减少人类在测试数据库应用程序中的努力。但是，这种技术有两个主要局限性：（1）他们假设正在测试的应用程序相互作用的数据库是可访问的，这可能并不总是正确的； （2）他们通常无法创建必要的数据库状态作为生成测试的一部分。为了解决前面的限制，我们提出了一种应用DSE来生成数据库应用程序测试的方法。我们的方法没有使用应用程序与之交互的实际数据库，而是在测试生成中产生并使用模拟数据库。模拟数据库通过对自己进行相同的数据库操作来模仿实际数据库的行为。我们对医疗设备和开源软件系统进行了两项经验评估，以证明我们的方法可以在不产生错误警告的情况下生成比常规DSE技术更高的代码范围测试。
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database applications. Automated test generation techniques, such as Dynamic Symbolic Execution (DSE), have been proposed to reduce human efforts in testing database applications. However, such techniques have two major limitations: (1) they assume that the database that the application under test interacts with is accessible, which may not always be true; and (2) they usually cannot create necessary database states as a part of the generated tests. To address the preceding limitations, we propose an approach that applies DSE to generate tests for a database application. Instead of using the actual database that the application interacts with, our approach produces and uses a mock database in test generation. A mock database mimics the behavior of an actual database by performing identical database operations on itself. We conducted two empirical evaluations on both a medical device and an open source software system to demonstrate that our approach can generate, without producing false warnings, tests with higher code coverage than conventional DSE-based techniques.