A testing environment for Design+Code