Academic Journal
Dynamic test input generation for database applications
| العنوان: | Dynamic test input generation for database applications |
|---|---|
| المؤلفون: | Michael Emmi, Rupak Majumdar, Koushik Sen |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-issta-EmmiMS07.pdf. |
| سنة النشر: | 2007 |
| المجموعة: | CiteSeerX |
| مصطلحات موضوعية: | Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and debugging. D.2.4 [Software En- gineering, Software/Program Verication. General Terms |
| الوصف: | We describe an algorithm for automatic test input genera-tion for database applications. Given a program in an im-perative language that interacts with a database through API calls, our algorithm generates both input data for the program as well as suitable database records to system-atically explore all paths of the program, including those paths whose execution depend on data returned by database queries. Our algorithm is based on concolic execution, where the program is run with concrete inputs and simultaneously also with symbolic inputs for both program variables as well as the database state. The symbolic constraints generated along a path enable us to derive new input values and new database records that can cause execution to hit uncovered paths. Simultaneously, the concrete execution helps to re-tain precision in the symbolic computations by allowing dy-namic values to be used in the symbolic executor. This allows our algorithm, for example, to identify concrete SQL queries made by the program, even if these queries are built dynamically. The contributions of this paper are the following. We develop an algorithm that can track symbolic constraints across language boundaries and use those constraints in con-junction with a novel constraint solver to generate both pro-gram inputs and database state. We propose a constraint solver that can solve symbolic constraints consisting of both linear arithmetic constraints over variables as well as string constraints (string equality, disequality, as well as member-ship in regular languages). Finally, we provide an evaluation of the algorithm on a Java implementation of MediaWiki, a popular wiki package that interacts with a database back-end. |
| نوع الوثيقة: | text |
| وصف الملف: | application/pdf |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.6296; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-issta-EmmiMS07.pdf |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.6296 http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-issta-EmmiMS07.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.A72EE53A |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |