| 摘要 |
Μία μέθοδος και ένα προϊόν υπολογιστή για τη διευκόλυνση αυτόματου ελέγχου ορθότητας κατά τη διάρκεια της εξέλιξης και άλλων φάσεων του κύκλου ζωής μιας εφαρμογής λογισμικού που αποτελείται από κινήσεις (12). Ένας ελεγκτής κινήσεων (54) αξιολογεί την ακεραιότητα μιας κίνησης δια δημιουργίας δεδομένων ελέγχου (44) από τον ορισμό της υπό έλεγχο κίνησης (12). Συνήθεις τιμές για πεδία είναι δυνατόν να συμπεριλαμβάνονται εντός του ορισμού της κίνησης και να επαναχρησιμοποιούνται ως συνήθεις τιμές ελέγχου. Τα αποτελέσματα του ελέγχου δημιουργούνται και συγκρίνονται έναντι καλά γνωστών τιμών ή εναλλακτικά έναντι αναμενομένων αποτελεσμάτων ελέγχου που επίσης έχουν δημιουργηθεί από τον ορισμό της κίνησης (Σχήμα 8). Άλλα συστατικά λογισμικού είναι επίσης δυνατόν να ελεγχθούν, συμπεριλαμβανομένων δομών μενού. Ένας ορισμός της δομής του μενού εφαρμόζεται ακριβώς, έτσι, ώστε κάθε εισαγωγή κάθε μενού να ελέγχεται διεξοδικά και να αναφέρεται. Τα αποτελέσματα συγκρίνονται αυτόματα και επαληθεύονται έναντι γνωστών καλών αποτελεσμάτων ή τα αποτελέσματα επανεξετάζονται αυτόματα και ο έλεγχος κινήσεων και ο έλεγχος του μενού είναι δυνατόν να ενσωματώνονται σε έναν παλινδρομικό έλεγχο. |
