View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Automatically Tracking Model Based Testing of Asynchronously Communicated Protocol Implementations

        Thumbnail
        View/Open
        MScThesis.pdf (727.9Kb)
        Publication date
        2018
        Author
        Klomp, R.
        Metadata
        Show full item record
        Summary
        Automatic testing of protocol implementations given only a formal protocol specification has long since been achieved for synchronously communicated protocols. However, acquiring similar results under asynchronous communication is not straightforward and has not been practically achievable. This work solves state-space explosions due possible interleaving of events under asynchronous communication through inference optimization from a refined concept of soundness. Additionally, the high concurrent nature of asynchronously communicating systems necessitated a shift from formally specifying protocols using Labeled Transition Systems to formally specifying protocols using Petri Nets. An EDSL for describing protocols in parallel composed structures has been defined that translates to Petri Net structure. These achievements have resulted in a first concrete fundamental foundation to enable practical application of automatic testing theory to asynchronously communicated protocols.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/28694
        Collections
        • Theses
        Utrecht university logo