Using Dynamic Monitoring to Synthesize Models of Applications That Access Databases

Abstract

We previously developed Konure, a tool that uses active learning to infer the functionality of database applications. An alternative approach is to observe the inputs, outputs, and database traffic from a running system in normal use and then synthesize a model of the application from this information. To evaluate these two approaches, we present Etch, which uses information from typical usage scenarios to synthesize a model of the functionality of database applications whose computation can be expressed in the Konure DSL.