SWE 637 Quiz Guide 10
Spring 2019


Quiz 10 will cover the various DNF coverage criteria. It will be quite similar to the in-class exercises. I'll focus the quiz on the MUTP and CUTPNFP criteria. You should be able to put DNF predicates into minimal form. You should be able to identify tests (ideally on a K-map) that satisfy these criteria for a given minimal DNF predicate.