Test theatre is exactly the right framing. The tests are syntactically correct, they run, they pass but do they actually prove anything?