Το πρόγραμμα τρέχει και ελέγχεται πέφτει κυρίως κάτω από τη δοκιμή
φάση του κύκλου ζωής του λογισμικού (SDLC). Ενώ οι πτυχές του ελέγχου ενδέχεται να συμβούν νωρίτερα (π.χ. ανασκόπηση κώδικα κατά τη διάρκεια της ανάπτυξης), η επίσημη και ολοκληρωμένη λειτουργία και ο έλεγχος του προγράμματος αποτελεί βασικό στοιχείο των δοκιμών. Αυτό περιλαμβάνει διάφορους τύπους δοκιμών όπως δοκιμές μονάδων, δοκιμές ενσωμάτωσης, δοκιμές συστήματος και δοκιμές αποδοχής χρήστη.