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.