Computer software for functional and white-box testing of databases and data-centric applications