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