Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Theses
      • Higher Degree Theses
      • View Item
      •   Research Commons
      • University of Waikato Theses
      • Higher Degree Theses
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Supporting interactive system testing with interaction sequences

      Turner, Jessica Dawn
      Thumbnail
      Files
      thesis.pdf
      5.788Mb
      Citation
      Export citation
      Turner, J. D. (2019). Supporting interactive system testing with interaction sequences (Thesis, Doctor of Philosophy (PhD)). The University of Waikato, Hamilton, New Zealand. Retrieved from https://hdl.handle.net/10289/12310
      Permanent Research Commons link: https://hdl.handle.net/10289/12310
      Abstract
      Despite extensive research into the modelling and testing of interactive systems, existing strategies do not adequately cover all parts of an interactive system. These existing strategies model and test either the functional or interactive components of an interactive system separately, however, issues may arise where these components intersect. Therefore, further investigation into the modelling and testing of this intersection is required.

      Interaction sequences are a series of steps a user can take to complete a specific task or to arbitrarily explore an interactive system. In this research interaction sequences are used as an abstraction of the interactive system to inform a model-based testing approach using lightweight formal methods. Interaction sequences provide an abstract view of the point at which the functional and interactive components intersect, and as a result also provide a good starting point for investigation into the modelling and testing of this area. Interaction

      sequences are applicable to all types of interactive systems irrespective of the type of interaction, therefore modelling and testing approaches using this abstraction are also applicable to all types of interactive systems.

      In this thesis the findings of our investigation into modelling and testing using interaction sequences are presented. We describe formalisation of interaction sequences and modelling of these sequences using Finite State Automata (FSA). We introduce the self-containment property and show how this is used to control the size and state space of FSA. We demonstrate simulating interaction sequences and discuss how these models can be applied within both model checking and testing techniques. Lastly, we present a new approach for generating tests from interaction sequences and their associated models.
      Date
      2019
      Type
      Thesis
      Degree Name
      Doctor of Philosophy (PhD)
      Supervisors
      Reeves, Steve
      Bowen, Judy
      Publisher
      The University of Waikato
      Rights
      All items in Research Commons are provided for private study and research purposes and are protected by copyright with all rights reserved unless otherwise indicated.
      Collections
      • Higher Degree Theses [1714]
      Show full item record  

      Usage

      Downloads, last 12 months
      255
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement