Mathematics is a descr iptive device that helps us better understand software to be tested. Precise notation, by itself, is not enough. We must also have good technique and judgment, to identify appropriate testing methods and to apply them well. The