Δοκιμές ολοκλήρωσης λογισμικού συστατικών:
Creators: name: Λοϊζίδης, Αλέξανδρος Λοϊζου
Publisher: name: Aristotle University of Thessaloniki
Year: 2010
Subjects: Δοκιμές ολοκλήρωσης
Λογισμικό συστατικών
Δοκιμές μαύρου κουτιού
integration testing
software component
black box testing

description: Ο έλεγχος λογισμικού συστατικών αποτελεί ένα θέμα που επιδέχεται πολλές προσεγγίσεις ανάλογα με την κατηγορία των δοκιμών που θα εφαρμοστούν σε αυτά. Στην εργασία αυτή παρουσιάζονται τεχνικές που ανήκουν στην κατηγορία του μαύρου κουτιού, απουσία πηγαίου κώδικα και εσωτερικής δομής του συστήματος. Ένα από τα σημαντικότερα είδη ελέγχων της κατηγορίας αυτής βασίζεται στις προδιαγραφές του προϊόντος που εξετάζεται με σκοπό την απόδειξη της συμμόρφωσης ανάμεσα στο υπό εξέταση σύστημα και τις προδιαγραφές του. Δίνοντας μία τυπική προσέγγιση στην τεχνική, οι προδιαγραφές εκφράζονται ως ένα μοντέλο καταστάσεων. Βασισμένο σε αυτό το μοντέλο ένας αλγόριθμος παράγει περιπτώσεις ελέγχου για να εφαρμοστούν στην υλοποίηση των προδιαγραφών, στο ίδιο το συστατικό. Παρατηρείται η αντίδραση του πραγματικού λογισμικού στις εισόδους του ελέγχου και συγκρίνονται με τη συμπεριφορά που αναμένουν οι προδιαγραφές. Η αυτόματη διαδικασία που μόλις περιγράφηκε περιλαμβάνεται στη σχέση συμμόρφωσης εισόδου εξόδου, ioco. Για τις δοκιμές λογισμικού συστατικών προτείνεται η σχέση συμμόρφωσης με το περιβάλλον, eco, η οποία στα πλαίσια αυτής της εργασία υλοποιήθηκε τόσο ως αυτόνομο εργαλείο όσο και ως επέκταση του JTorX. Ως περιβάλλον αναφέρονται τα συστατικά που χρησιμοποιεί το υπό εξέταση συστατικό για να επιτελέσει τη λειτουργία του. Αυτός ο έλεγχος ολοκλήρωσης συστατικών εξετάζει ουσιαστικά τη συμμόρφωση της κατώτερης διεπαφής του συστατικού με τις προδιαγραφές των συστατικών του περιβάλλοντος. Προτείνεται μία μεθοδολογία για ένα ολοκληρωμένο έλεγχο συμμόρφωσης ενός συστατικού τόσο με τις προδιαγραφές του όσο και με το περιβάλλον. Αναλύονται οι περιορισμοί της και προτείνονται διάφορες τεχνικές για την επίλυση των αλλά και επεκτάσεις όπως η αυτόματη παραγωγή των προδιαγραφών του περιβάλλοντος μέσα από τη σύνθεση των επιμέρους μοντέλων προδιαγραφών. Τέλος, χαρακτηρίζεται ως μία τεχνική συμμόρφωσης με τις προδιαγραφές εφαρμόζοντας δοκιμές ολοκλήρωσης σε συστατικά λογισμικού με τη χρήση μοντέλων.
description: There are several kinds of methods to test component software. This thesis describes black box testing techniques that neither the source code nor the internal structure is known or intentionally not used. One of the most important techniques of this category is based on the specification of the product trying to prove that the system under test conforms to its specification. A state model from formal methods theory, labeled transition system, simulates the specification. An algorithm generates test cases from this model, executes them using the implementation of the specification, the real component, observes the reaction of the system depending on the inputs and, finally, compare this behavior to the expected outputs according to the specification. These steps are part of the conformance relation ioco, input output conformance. Eco, is a conformance relation for testing components using their environment, components that their services are provided to the system under test. The relation was implemented both as a separate tool and as a library used by JTorX. Environmental conformance relation, eco, performs integration testing of software components comparing the lower interface of the implementation to the specification of the environmental components. A methodology is proposed to a complete test of a component checking the conformance to the specification and the environment at the same time. Also, some limitations were found together with several ideas to solve them and improve the capabilities of the methodology. For example, the automated generation of the specification of the environment compositing the models of the environmental components. Finally it can be described as a conformance technique for an integration testing of components using model of the specification.