Επαλήθευση αλγορίθμων

• Προϋποθέσεις
• Μετασυνθήκες
• Αναλλοίωτες συνθήκες (Invariants)
• Συνθήκες σύγκλισης (Convergents)

Παράδειγμα

Είσοδος:
  Α(1..Ν): πίνακας ακεραίων
  N : ακέραιος
Έξοδος:
  Β(1..Ν): πίνακας ακεραίων

Προϋποθέσεις:
  Ν >= 1
Μετασυνθήκες:
  Β(1..Ν) περιέχει τις τιμές του Α(1..Ν)

Μεταβλητές
  Ι : Ακέραιος

I := 1
Όσο Ι <= Ν
  Β(Ι) := Α(Ι)
  Αναλοίωτη συνθήκη: Β(1..Ι) := Α(1..Ι)
  Συνθήκη σύγκλισης: Ν - Ι
  Ι := Ι + 1
Τέλος

• ΠροηγούμενηΠροηγούμενα θέματα για σκέψη
• Περιεχόμενα
• ΕπόμενηΑποδοτικότητα των αλγορίθμων

 Τελευταία αλλαγή: Δευτέρα, 11 Μαρτίου 2002 1:41 πμ
 Εκτός αν αναφέρεται κάτι διαφορετικό, όλο το πρωτότυπο υλικό της σελίδας αυτής του οποίου δημιουργός είναι ο Διομήδης Σπινέλλης παρέχεται σύμφωνα με τους όρους της άδειας «Creative Commons Attribution-Share Alike 3.0 Greece License».