Automated Testing for Database System

In this paper, we discuss the database's current situation, and then focus on the testing of database system. First, we introduce some of the reasons lead to nowadays' increasingly complex database systems. As we known, testing is a significant phrase in software verification; a high qualified testing is high qualified database system's assurance in some sense. Nowadays, the increased complexity of database system complicated the testing. Therefore, the increasingly complexity and workload of database systems not only challenge the developers but also the testers. To improve the efficiency as well as the quality of testing works, researcher develops techniques around the automated testing tools. We selected some valuable works, like the concolic testing and the query-based test generation, for a related detailed description and evaluation. Finally, we pointed out the prospects in this field.