7.8.5 Έλεγχος του προγράμματος

Αφού κατασκευάσουμε το πρόγραμμα, θα πρέπει να ελέγξουμε κατά πόσο είναι σωστό. Για το σκοπό αυτό πρέπει να "εκτελέσουμε" ή να "τρέξουμε" το πρόγραμμα, δίνοντάς του να επιλύσει εξισώσεις 2ου βαθμού διαφόρων κατηγοριών. Ο στόχος μας είναι να καλύψουμε όλες τις πιθανές κατηγορίες εξισώσεων, ώστε να διαπιστώσουμε αν σε κάθε περίπτωση δίνεται η αναμενόμενη απάντηση. Ένα τέτοιο σύνολο τιμών για τους συντελεστές α, β, γ υπάρχει στον πίνακα που ακολουθεί.

Προγραμματισμός υπολογιστή α/α α β γ Κατηγορία εξίσωσης 1 2 4 -5 δύο πραγματικές ρίζες 2 -2 -4 5 δύο πραγματικές ρίζες 3 1 6 9 διπλή ρίζα 4 1 0 0 ειδική περίπτωση (κάποιος συντελεστής 0) 5 1 1 0 ειδική περίπτωση (κάποιος συντελεστής 0) 6 1 0 1 ειδική περίπτωση (κάποιος συντελεστής 0) επίσης μιγαδικές ρίζες 7 0 1 1 εξίσωση α' βαθμού 8 2 1 5 μιγαδικές ρίζες

Στο Τετράδιο Εργασίας Μαθητή στο αντίστοιχο κεφάλαιο, υπάρχει εισαγωγή στη γλώσσα προγραμματισμού Pascal εμπλουτισμένη με παραδείγματα.

Η διαδικασία του ελέγχου ενός προγράμματος ή ενός συστήματος λογισμικού αποτελεί ένα πολύ σοβαρό τμήμα της όλης διαδικασίας. Στο παράδειγμά μας ήταν σχετικά απλό να καθορίσουμε ένα μικρό σύνολο τιμών εισόδου, το οποίο είναι αρκετό για να ελεγχθεί το πρόγραμμα. Σε μεγαλύτερης κλίμακας προγράμματα αυτό δεν είναι ούτε τόσο απλό ούτε πάντοτε εφικτό. Ο έλεγχος της ορθότητας ενός προγράμματος είναι εν γένει ένα πολύ σημαντικό αλλά και χρονοβόρο τμήμα, στην όλη διαδικασία παραγωγής του.