📌 Κατηγορίες Λαθών σε Ένα Πρόγραμμα

Τα λάθη που μπορεί να παρουσιαστούν σε ένα πρόγραμμα είναι:

1. Λάθη κατά την υλοποίηση (συντακτικά λάθη)
2. Λάθη κατά την εκτέλεση (λάθη χρόνου εκτέλεσης)
3. Λογικά λάθη

📊 Συγκριτικός Πίνακας Κατηγοριών Λαθών

🔧 Λάθη Κατά την Υλοποίηση (Συντακτικά Λάθη)

• Προκαλούνται κυρίως από λανθασμένη σύνταξη εντολών του προγράμματος.
• Τέτοια λάθη μπορεί να είναι η λανθασμένη συγγραφή μιας δεσμευμένης λέξης της γλώσσας προγραμματισμού ή η χρήση μιας δομής ελέγχου χωρίς την εντολή τερματισμού της.
• Ένα λάθος που προκαλείται κατά τη συγγραφή του προγράμματος, ανιχνεύεται από το μεταγλωττιστή, ο οποίος εμφανίζει προς τον προγραμματιστή κάποιο προειδοποιητικό μήνυμα.
• Αν το πρόγραμμα περιέχει ένα λάθος αυτής της μορφής, δεν επιτρέπεται η εκτέλεσή του, μέχρι να το διορθώσει ο προγραμματιστής.
• Τα σύγχρονα προγραμματιστικά περιβάλλοντα μας προφυλάσσουν αυτόματα από τα λάθη κατά την υλοποίηση, αφού παρέχουν εργαλεία αυτόματου ελέγχου σύνταξης των εντολών και παρακολουθούν τον προγραμματιστή κατά τη συγγραφή του προγράμματος.
• Μόλις διαπιστώσουν κάποιο συντακτικό λάθος, σταματούν και απαιτούν τη διόρθωσή του. Συνήθως αντιλαμβάνονται ακριβώς το λάθος που δημιουργήθηκε και προτείνουν αναλυτικά τον τρόπο διόρθωσής του, εμφανίζοντας σε ενημερωτικό πλαίσιο την ορθή σύνταξη της εντολής.

⏱️ Λάθη Κατά την Εκτέλεση (Λάθη Χρόνου Εκτέλεσης)

• Τα λάθη που προκαλούνται κατά το χρόνο εκτέλεσης του προγράμματος είναι πιο επώδυνα, γιατί συνήθως εμφανίζονται σε πραγματικό περιβάλλον εκτέλεσης.
• Τις περισσότερες φορές προκαλούν τον αντικανονικό τερματισμό της εφαρμογής και το κρέμασμα (crash) του συστήματος.
• Όταν ένα λάθος προκληθεί κατά την εκτέλεση της εφαρμογής, είναι δυνατό να αντιμετωπισθεί μόνο με τη χρήση εντολών προγράμματος που το παγιδεύουν και εκτελούν τις κατάλληλες διαδικασίες χειρισμού.
• Η πρόληψη τέτοιων λαθών είναι αρκετά δύσκολη, αφού συνήθως οφείλονται σε καταστάσεις που δεν είναι εύκολο να ελεγχθούν από τον προγραμματιστή, ενώ πολλές φορές εμφανίζονται μετά από μεγάλο χρονικό διάστημα.
• Τέτοια λάθη είναι δυνατό να προκληθούν από:
  • την κλήση μιας διαδικασίας με δεδομένα που δεν μπορεί να χειριστεί (π.χ. αναζήτηση διαγραμμένων αρχείων, διαίρεση αριθμού με το μηδέν, υπερχείλιση αριθμητικής μεταβλητής)
  • δυσλειτουργία του υλικού μέρους του υπολογιστή (π.χ. καταστροφή σκληρού δίσκου, τερματισμός σύνδεσης δικτύου, αποσύνδεση του χρήστη)

🧠 Λογικά Λάθη

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

🐛 Διαδικασία Εκσφαλμάτωσης (Debugging)

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

🔀 Εκσφαλμάτωση Λογικών Λαθών στις Δομές Επιλογής

Σε μια δομή επιλογής μπορεί να εμφανιστούν λογικά λάθη που σχετίζονται με:

• τη συνθήκη ή τις συνθήκες
• τις ομάδες εντολών που εκτελούνται όταν μια συνθήκη είναι αληθής ή ψευδής

📝 Παράδειγμα Λάθους σε Δομή Επιλογής

Έστω ότι θέλουμε να ελέγξουμε αν ένας αριθμός είναι θετικός ή όχι:

! ΛΑΘΟΣ: Χρήση = αντί για >=
ΑΝ x > 0 ΤΟΤΕ
  ΕΜΦΑΝΙΣΕ "Θετικός"
ΑΛΛΙΩΣ_ΑΝ x = 0 ΤΟΤΕ
  ΕΜΦΑΝΙΣΕ "Μηδέν"
ΑΛΛΙΩΣ
  ΕΜΦΑΝΙΣΕ "Αρνητικός"
ΤΕΛΟΣ_ΑΝ

! Αν x = 0, το παραπάνω είναι σωστό.
! Αλλά αν η συνθήκη ήταν x >= 0 για "Μη αρνητικός",
! και ξεχάσουμε το =, τότε το 0 θα πάει στο ΑΛΛΙΩΣ!

🔄 Εκσφαλμάτωση Λογικών Λαθών στις Δομές Επανάληψης

Σε μια δομή επανάληψης μπορεί να εμφανιστούν λογικά λάθη που σχετίζονται με:

• τη συνθήκη επανάληψης ή τερματισμού
• την αρχικοποίηση της συνθήκης
• την ενημέρωση της συνθήκης εντός του βρόχου επανάληψης
• τις εντολές που περιλαμβάνονται εντός του βρόχου

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

📋 Συμβουλές για Δομές Επανάληψης

Κατά την εκσφαλμάτωση των δομών επανάληψης χρειάζεται να δίνετε προσοχή στα εξής:

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

📝 Παράδειγμα Λάθους σε Δομή Επανάληψης

Υπολογισμός παραγοντικού με λάθος συνθήκη:

! ΛΑΘΟΣ: Η συνθήκη σταματάει στο 4 αντί για 5
fact ← 1
i ← 1
ΟΣΟ i < 5 ΕΠΑΝΑΛΑΒΕ      ! Θα έπρεπε i <= 5
  fact ← fact * i
  i ← i + 1
ΤΕΛΟΣ_ΕΠΑΝΑΛΗΨΗΣ
! Αποτέλεσμα: 24 αντί για 120 (5!)

📊 Εκσφαλμάτωση Προγραμμάτων με Πίνακες

! ΛΑΘΟΣ: Πρόσβαση εκτός ορίων πίνακα
ΔΗΛΩΣΕ Π[1..5]
ΓΙΑ i ΑΠΟ 1 ΜΕΧΡΙ 6      ! Λάθος: ο πίνακας έχει 5 θέσεις
  ΔΙΑΒΑΣΕ Π[i]
ΤΕΛΟΣ_ΕΠΑΝΑΛΗΨΗΣ
! Όταν i = 6, προσπελαύνουμε μη υπαρκτή θέση!

📞 Εκσφαλμάτωση Προγραμμάτων με Υποπρογράμματα

📦 Μέθοδος Ελέγχου «Μαύρο Κουτί» (Black-Box Testing)

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

📝 Σενάριο Ελέγχου (Test Case)

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

🎯 Έλεγχος Μαύρου Κουτιού

Μια δημοφιλής τεχνική ελέγχου είναι ο έλεγχος μαύρου κουτιού (black-box testing). Ονομάζεται έτσι επειδή τα δεδομένα εισόδου στα σενάρια ελέγχου προκύπτουν από τις προδιαγραφές του προγράμματος, αγνοώντας εντελώς τον κώδικα. Δηλαδή το πρόγραμμα μοιάζει σαν να βρίσκεται μέσα σε ένα μαύρο κουτί που κρύβει το περιεχόμενό του.

📐 Ισοδύναμα Διαστήματα (Equivalence Partitioning)

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

🔍 Ανάλυση Ακραίων Τιμών (Boundary Value Analysis)

Μετά τον καθορισμό των διαστημάτων πρέπει να επιλεγούν τιμές για τα σενάρια ελέγχου που να καλύπτουν όλα τα διαστήματα. Αφού τα διαστήματα είναι ισοδύναμα, μπορεί να επιλεγεί οποιαδήποτε τιμή από κάθε διάστημα. Μια καλύτερη στρατηγική είναι να γίνει έλεγχος των ακραίων τιμών κάθε διαστήματος (boundary value analysis), καθώς η εμπειρία έχει δείξει ότι τα περισσότερα λάθη γίνονται σε αυτά τα σημεία. Αυτό είναι λογικό, αν σκεφτούμε ότι τα διαστήματα τιμών θα υλοποιηθούν με κάποια μορφή δομής επιλογής, οπότε μπορεί να υπάρχουν λάθη στις λογικές συνθήκες, π.χ. συμπερίληψη ακραίας τιμής (<= αντί για <, >= αντί για >), παράλειψη ακραίας τιμής (< αντί για <=, > αντί για >=).

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

🎯 Συνοπτικές Συμβουλές Εκσφαλμάτωσης