Ανάλυση προγραμμάτων μέσω συμβολικής εκτέλεσής τους

Περίληψη

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

Περίληψη σε άλλη γλώσσα

Most program analysis methods have been applied to optimising compilers. It is our belief that there is enough theory that could support the application of program analysis methods to software construction. Embedded and safety-critical systems but also large and complex software demand sophisticated tools for design, development, testing and maintenance of software. Symbolic execution is a method used to reconstruct logic and computations along a program path by executing the path with symbolic, rather than actual values of data. The results obtained by symbolic execution are the symbolic formulae, representing the values of the program variables, and the path condition for each path examined. Symbolic execution is a component of a tool which implements a kind of program analysis called symbolic analysis. Symbolic analysis comprises the transformation of a source program to an intermediate representation, the symbolic execution of the program using the intermediate representation, the ...
περισσότερα
Πρέπει να είστε εγγεγραμένος χρήστης για έχετε πρόσβαση σε όλες τις υπηρεσίες του ΕΑΔΔ  Είσοδος /Εγγραφή

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/14685
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/14685
Εναλλακτικός τίτλος
Symbolic execution as a tool for program analysis
Συγγραφέας
Καραίσκος, Ζαφείριος Κωνσταντίνος
Ημερομηνία
2004
Ίδρυμα
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Σχολή Θετικών Επιστημών. Τμήμα Πληροφορικής
Εξεταστική επιτροπή
Λάζος Κωνσταντίνος
Μπλέρης Γεώργιος
Βλαχάβας Ιωάννης
Καρανίκας Κωνσταντίνος
Τσούρος Κλαύδιος
Σταμέλος Ιωάννης
Ευαγγελίδης Γεώργιος
Επιστημονικό πεδίο
Φυσικές Επιστήμες
Επιστήμες Ηλεκτρονικών Υπολογιστών & Πληροφορικής
Λέξεις-κλειδιά
Ανάλυση προγράμματος; Συμβολική εκτέλεση; Συλλογή ιδιοτήτων; Δηλωτική σημασιολογία; Σημασία συνέχειας; Αριθμητική διαστημάτων
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
185 σ., εικ.