Αυτόματος Έλεγχος Υπηρεσιών Διαδικτύου Μέσω Ιδιοτήτων

Abstract

Καθώς οι υπηρεσίες διαδικτύου (Web Services) αρχίζουν και αποτελούν ολοένα και βασικότερα τμήματα μοντέρνων διαδικτυακών συστημάτων λογισμικού, η ύπαρξη αυτόματωνκαι εύχρηστων αλλά ταυτόχρονα και εκφραστικών προγραμμάτων ελέγχου για υπηρεσίεςδιαδικτύου καθίσταται όλο και σημαντικότερη. Η διπλωματική αυτή στοχεύει στον πλήρωςαυτοματοποιημένο έλεγχο υπηρεσιών διαδικτύου: Ιδανικά, ο χρήστης απλά περιγράφει ιδιό-τητες που οι υπηρεσίες πρέπει να ικανοποιούν, με τη μορφή σχέσεων εισόδου-εξόδου, και τοσύστημά μας αναλαμβάνει τα υπόλοιπα. Σε αυτή τη διπλωματική περιγράφουμε αναλυτικάόλα τα επιμέρους τμήματα του εργαλείου που φτιάξαμε: Πώς οι προδιαγραφές (WSDL) μιαςυπηρεσίας διαδικτύου χρησιμοποιούνται για να παραχθούν με αυτόματο τρόπο γεννήτριεςσυντακτικά ορθών τυχαίων δεδομένων και ιδιότητες, οι οποίες μπορούν να δοθούν στο PropEr,ένα εργαλείο ελέγχου μέσω ιδιοτήτων, ώστε να κληθούν οι μέθοδοι της υπηρεσίας διαδικτύουκαι να ελεχθεί η απόκρισή τους. Παρόλο που η διαδικασία είναι πλήρως αυτοματοποιημένη,το εργαλείο δίνει τη δυνατότητα στο χρήστη να αλλάξει το παραγόμενο αρχείο ελέγχου πουπεριέχει τις ιδιότητες και τις γεννήτριες ώστε να έχει μεγαλύτερο έλεγχο στην όλη διαδικασίακαι να μπορέσει να ελέγξει πιο στοχευμένα την λειτουργικότητα της υπηρεσίας διαδικτύου.With web services already being key ingredients of modern web systems, automatic andeasy-to-use but at the same time powerful and expressive testing frameworks for webservices are increasingly important. Our work aims at fully automatic testing of webservices: ideally the user only specifies properties that the web service is expected tosatisfy, in the form of input-output relations, and the system handles all the rest. In thisthesis we present in detail all the components which form this system: how the WSDLspecification of a web service is used to automatically create test case generators andproperties that can be fed to PropEr, a property-based testing tool, to create structurallyvalid random test cases for its operations and check its responses. Although the processis fully automatic, our tool optionally allows the user to easily modify its output to eitheradd semantic information to the generators or write properties that test for more involvedfunctionality of the web services.