|
Critical software responds to a variety of combinations of conditions with the result
that there are frequently thousands of possible logical paths in both the specification
and the software. The ECT methodology can be applied at the specification level
to create condition tables that can be compared with those implemented in the code.
It can also be used for unit testing to define test cases that analyze the limits
of each execution path; a method which provides a much greater degree of assurance
than simple coverage-based testing techniques.
|