tests for the control_spec of CRUD