MBT: Model-Based Testing 2015

Study period 4, 2015
Mon 23 March - Wed 27 May, 2015
Course codes: DIT848/GU and DAT260/Chalmers, 7.5 hp

Given by Computer Science and Engineering at
Chalmers Technical University and The University of Gothenburg

  • Home
  • Lectures
  • Literature
  • Course description
  • Assignments
  • Examination
  • MBT Mini project
    • Introduction
    • Mailing List
    • Important dates
    • Assignment 1: Forming groups and choosing your SUT
    • Assignment 2: Exploratory testing
    • Assignment 3: Automated tests script
    • Assignment 4: Modeling
    • Assignment 5: Test generation and execution
    • Useful links
  • JUnit tutorial
    • Installing selenium in Eclipse
    • Writing tests
    • Sample code
  • Java-QuickCheck tutorial
  • Modeling tutorial
    • Domain definition
    • State space
    • Transition table
    • Model diagram
  • ModelJUnit tutorial
    • The Model
    • The Adapter
    • Implementing reset
    • Implementing getState
    • Generating tests
© Copyright 2015, Grégoire Détrez. Created using Sphinx 1.3.1.