A method for on-line monitoring and testing the behavior of middleware based, distributed application software during run-time of such software is disclosed. In order to automatize the monitoring of the behavior of the application software, the monitoring method comprises: defining events capturing the behavior of the software execution, the events being based on an abstraction of the application software, the abstraction being provided by middleware; using code generating means and an instrumentation technique for automatically adding code to the implementation of the software code suitable for generating traces suitable to be sent to an observer, the information carried by the added code including information on the order of occurrence of the events and on the application software part location where each event occurs; and using a monitoring mechanism based on sending of trace reports to the observer, which ensures or takes into account the time order of the reported traces. In order to automatize testing of the behavior of the application software, the testing method comprises monitoring the behavior of the software during run-time thereof by the above mentioned method, and using a checking mechanism using the information monitored at runtime for checking whether the behavior is violating or has violated predefined properties or constraints.

Μια μέθοδος για on-line και τη συμπεριφορά του υλικολογισμικού που βασίζεται, διανεμημένα προγράμματα εφαρμογών κατά τη διάρκεια του χρόνου εκτέλεσης τέτοιου λογισμικού αποκαλύπτεται. Προκειμένου να αυτοματοποιηθεί η παρακολούθηση της συμπεριφοράς των προγραμμάτων εφαρμογών, η μέθοδος ελέγχου περιλαμβάνει: καθορίζοντας τα γεγονότα που συλλαμβάνουν τη συμπεριφορά της εκτέλεσης λογισμικού, τα γεγονότα που βασίζεται σε μια αφαίρεση των προγραμμάτων εφαρμογών, η αφαίρεση που παρέχεται από το υλικολογισμικό χρησιμοποιώντας τον κώδικα που παράγει τα μέσα και μια τεχνική ενοργάνωσης για αυτόματα τον κώδικα στην εφαρμογή του κώδικα λογισμικού κατάλληλου για τα ίχνη κατάλληλα να σταλεί σε έναν παρατηρητή, οι πληροφορίες που φέρονται από τον προστιθέμενο κώδικα συμπεριλαμβανομένων των πληροφοριών σε παραγγελία του περιστατικού των γεγονότων και για τη θέση μερών προγραμμάτων εφαρμογών όπου κάθε γεγονός εμφανίζεται και χρησιμοποιώντας έναν μηχανισμό ελέγχου βασισμένο στην αποστολή των εκθέσεων ιχνών στον παρατηρητή, η οποία εξασφαλίζει ή λαμβάνει υπόψη τη χρονική διαταγή των αναφερόμενων ιχνών. Προκειμένου να αυτοματοποιηθεί η δοκιμή της συμπεριφοράς των προγραμμάτων εφαρμογών, η εξεταστική μέθοδος περιλαμβάνει να παρακολουθήσει τη συμπεριφορά του λογισμικού κατά τη διάρκεια του χρόνου εκτέλεσης επ' αυτού με την προαναφερθείσα μέθοδο, και τη χρησιμοποίηση ενός μηχανισμού ελέγχου χρησιμοποιώντας τις πληροφορίες που ελέγχονται στο χρόνο εκτέλεσης για τον έλεγχο εάν η συμπεριφορά παραβιάζει ή έχει παραβιάσει τις προκαθορισμένους ιδιότητες ή τους περιορισμούς.