Browsing by Subject "model-based testing"

Now showing items 1-6 of 6

  • A Comparison of State-Based Modelling Tools for Model Validation

    Aydal, Emine G.; Utting, Mark; Woodcock, Jim (Springer, 2008)
    In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation. UML, Alloy and Z are examples of popular ...
  • Controlling test case explosion in test generation for B formal models: Research Articles

    Legeard, Bruno; Peureux, Fabien; Utting, Mark (John Wiley & Sons, Ltd., 2004)
    BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specifications. BZ-TT uses boundary and cause–effect testing on the basis of the formal model. It has been used and validated on several ...
  • Interactive system testing using interaction sequences

    Turner, Jessica (ACM Press, 2018)
    Interaction sequences (ISeqs) are an abstraction of interactive systems which allow us to inspect the interactive system behaviour. In this research, ISeqs are used to support interactive system testing. In interactive ...
  • Putting formal specifications under the magnifying glass: Model-based testing for validation

    Aydal, Emine G.; Paige, Richard F.; Utting, Mark; Woodcock, Jim (IEEE Computer Society, 2009)
    A software development process is effectively an abstract form of model transformation, starting from an end-user model of requirements, through to a system model for which code can be automatically generated. The success ...
  • A subset of precise UML for Model-based Testing

    Bouquet, Fabien; Grandpierre, C.; Legeard, Bruno; Peureux, Fabien; Vacelet, N.; Utting, Mark (ACM, 2007)
    This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. ...
  • UI-Design driven model-based testing

    Bowen, Judy; Reeves, Steve (EASST, 2009)
    Testing interactive systems is notoriously difficult. Not only do we need to ensure that the functionality of the developed system is correct with respect to the requirements and specifications, we also need to ensure that ...