Ορθότητα, αποδείξεις και δοκιμές Συσχετίσεις Έλεγχος συστημάτων Έλεγχος GUI Διαχείριση πόρων Δοκιμές μονάδας και συστήματος Αποκάλυψη λανθασμένων υποθέσεων Σχεδιασμός δοκιμών Απόδοση
