Test-Driven Data Management