Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Delft University of Technology

Automated Software Testing: Model and State-based Testing

Delft University of Technology via edX

Overview

Software testing gets a bad rap for being difficult, time-consuming, redundant, and above all - boring. But in fact, it is a proven way to ensure that your software will work flawlessly and can meet release schedules.

In a two-course series, we will teach you automated software testing in an inspiring way. We will show you that testing is not as daunting a task as you might think, and how automated testing will make you a better developer who programs excellent software.

This second course builds upon the first course's material. It covers more advanced tools and techniques and their applications. Key topics include state-based and web testing, combinatorial testing, mutation testing, and property-based testing.

This is a highly practical course. Throughout the lessons, you will test various programs by means of different techniques. By the end, you will be able to choose the best testing strategies for different projects..

If you are or want to become a five-star software developer, QA engineer, or software tester, join this course. Testing will never be the same again!

Syllabus

Topic 1: Model-based testing and decision tables

  • Create decision tables to represent complex decisions of your software.
  • Apply different coverage criteria in the decision table to generate test cases.

Topic 2: Model-Based testing and state machines

  • Devise state machines that represent the software system (e.g., web systems) and use them to generate test cases.
  • Apply different coverage criteria to generate test cases that cover different paths of the system.

Topic 3: Self-testing

  • Understand what pre-conditions, post-conditions, and invariants are, and how to design them in your software system.
  • Use these contracts to test your software from the “inside out”

  • Write properties and let property-based testing frameworks generate test cases automatically.

Topic 4: Mutation testing

  • Understand the key ideas behind mutation testing.
  • Apply mutation testing in software systems and discover what parts of your software are not tested enough.

Taught by

Arie van Deursen and Maurício Aniche

Reviews

5.0 rating, based on 1 Class Central review

Start your review of Automated Software Testing: Model and State-based Testing

  • Naima Yusuf Adem
    I would like to study online this course in your university and also i hope to improve myself during and after i finish the course i really need it

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.