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

Abstract

Η συνεισφορά της διατριβής αυτής εντάσσεται στο χώρο της δοκιμής των μικροεπεξεργαστών που ενσωματώνουν μονάδες κινητής υποδιαστολής για την επίτευξη αριθμητικής υψηλών επιδόσεων. Στο πρώτο μέρος της διατριβής παρουσιάζεται η μεθοδολογία ανάπτυξης των συνθηκών δοκιμαστικότητας για μονάδες κινητής υποδιαστολής. Οι συνθήκες δοκιμαστικότητας (testability conditions) αποτελούνται από τις συνθήκες ελεγξιμότητας και παρατηρησιμότητας και χρησιμοποιούνται για την εξαγωγή διανυσμάτων δοκιμής για μονάδες κινητής υποδιαστολής. Παραμένουν ανεξάρτητες από την εσωτερική υλοποίηση των μονάδων κινητής υποδιαστολής και είναι προσαρμόσιμες σε κάθε ακρίβεια αναπαράστασης. Στο δεύτερο μέρος της διατριβής, παρουσιάζονται, αρχικά, τα κριτήρια για την ανάπτυξη λογισμικού αυτοδοκιμής του μικροεπεξεργαστή κατά τη λειτουργία του (μικρό ίχνος μνήμης, μικρός χρόνος εκτέλεσης και χαμηλή κατανάλωση ενέργειας), και στη συνέχεια παρουσιάζεται μια νέα μεθοδολογία ανάπτυξης αυτοδοκιμής για μονάδες κινητής υποδιαστολής σε μικροεπεξεργαστές 32/64-bit, τόσο για αναπαράσταση απλής ακρίβειας όσο και για αναπαράσταση διπλής ακρίβειας. Τέλος, πειραματικά αποτελέσματα στις πιο ευρέως διαδεδομένες μονάδες κινητής υποδιαστολής υψηλών επιδόσεων, οι οποίες χρησιμοποιούνται στους μοντέρνους μικροεπεξεργαστές (MIPS, PowerPC, Alpha), αποδεικνύουν την αποδοτικότητα της προτεινόμενης μεθοδολογίας.