
Software Correctness ◾ 279
as, has a particular path been executed?) fall under particular types of test
coverage (such as branch coverage). Some types of coverage are easier to
automate than others.
A system model or architecture may serve as a scaold for automated
testing. Typically, it is infeasible to comprehensively test a large soware
system. Test developers must then devise appropriate test cases to exer-
cise core functionality, verify UI responsiveness, conrm the relevance
and value of error processing, detail recovery options, etc. One must be
able to interpret outputs, especially those in response to error conditions.
Testi ...