Μεθοδολογία Και Τεχνικές Για Την Επικύρωση Τηλεπικοινωνιακών Συστημάτων Πραγματικού Χρόνου

Abstract

Ο σκοπός της διδακτορικής διατριβής ήταν η σύγκλιση των γλωσσών και τεχνικών προδιαγραφής και δοκιμής, με στόχο τη μείωση της πολυπλοκότητας του κύκλου ζωής της προδιαγραφής και δοκιμής τηλεπικοινωνιακών συστημάτων. Από την άλλη πλευρά, πρότεινε τρόπους για να καλύψει τις ανάγκες που υπάρχουν για την αξιόπιστη δοκιμή τηλεπικοινωνιακών συστημάτων πραγματικού χρόνου με στόχο την βελτίωση της εγκυρότητας των αποτελεσμάτων της δοκιμής.Συγκεκριμένα, η παρούσα διατριβή πρότεινε τη χρήση της SDL για την περιγραφή και υλοποίηση ακολουθιών δοκιμής (ATS). Απώτερος σκοπός της πρότασης αυτής ήταν η ενοποίηση των φάσεων της προδιαγραφής και της επικύρωσης των τηλεπικοινωνιακών συστημάτων κάνοντας ταυτόχρονα τη δυνατότητα δοκιμής ενός συστήματος, μέρος της προδιαγραφής του συστήματος. Επιπρόσθετα, η παρούσα διατριβή πρότεινε τρόπους για τη βελτίωση των αποτελεσμάτων των δοκιμών τηλεπικοινωνιακών συστημάτων πραγματικού χρόνου, με τη χρήση του χρονοπρογραμματισμού κατά προτεραιότητα, παρουσιάζοντας δύο επεκτάσεις στις ήδη υπάρχουσες τεχνικές δοκιμών (TTCN). Επίσης, παρουσίασε τον τρόπο με τον οποίο μπορούν να εφαρμοστούν αυτές οι επεκτάσεις για δοκιμές με τη χρήση μιας γλώσσας προδιαγραφής τηλεπικοινωνιακών συστημάτων (SDL).Η μεθοδολογία, οι ιδέες και οι τεχνικές που παρουσιάστηκαν σε αυτή τη διατριβή επικύρωθηκαν σε τηλεπικοινωνιακές εφαρμογές πραγματικού χρόνου. Συγκεκριμένα, δοκιμές που κατασκευάστηκαν με τη χρήση της SDL εκτελέστηκαν με τη βοήθεια ενός Tester απέναντι σε υλοποιήσεις υπό δοκιμή (IUT) επικυρώντας το γεγονός ότι ακολουθίες δοκιμών μπορούν να προδιαγραφούν με μια γλώσσα προδιαγραφής τηλεπικοινωνιακών συστημάτων (SDL). Επίσης παρουσιάστηκε η επικύρωση των επεκτάσεων που προτάθηκαν για την υποστήριξη αξιόπιστων δοκιμών σε τηλεπικοινωνιακά συστήματα πραγματικού χρόνου και παρατέθησαν μια σειρά από μετρήσεις που πάρθηκαν μέσω μιας σειράς πειραμάτων για το σκοπό αυτό.