A model for how tests might be done