Τα συμπεράσματα είναι λογικά συμπεράσματα σχετικά με το πρόγραμμα με βάση τα πορίσματα των ελεγκτών και θα πρέπει να ρέουν από τα πορίσματα , αντί να αντιπροσωπεύουν μια σύνοψη τους .
Τα συμπεράσματα είναι λογικά συμπεράσματα για το πρόγραμμα με βάση τα πορίσματα των ελεγκτών .