The language about software testing always seems to centre on the taxonomy of the tests rather than the software that is being tested. The concepts of controllability and observability (taken from hardware testing and control engineering) would seem better placed to further the discussion on testing and give developers a better vocabulary for describing what the tests do, at what level of system abstraction and how effective those tests are.