go back to the blog

Video: The Mouse Pattern and Reachability Graphs

  • 19/09/2013
  • no comments
  • Posted by EuroSTAR

Continuing with reachability graphs, this screencast shows a novel testing pattern to deal with the oracle problem. In brief, the oracle problem captures the situation when you don’t know if changes to the SUT are affecting your testing and test results. The pattern explained in this screencast will help you consistently find the states of the SUT that are irrelevant during testing and, thus, go around the oracle problem.


The video will show the audience how to:

1. Understand and easily apply a novel testing pattern to detect states and behaviors of the SUT that can safely be ignored during testing.

2. Know how to work around the infamous “oracle problem”.

3. Know when and how to utilize reachability graphs to detect situations during testing where cognitive bias might be at play.


mario_gonzalez_macedo_120x90I started working on the unified theory of testing since college. At IBM, I got a chance to expand it and apply it, especially when working with customers for root-cause analysis in our enterprise storage products, as well as in development. Reachability graphs was one result of my work.

After IBM, I formed my own company called Ortask, where I now focus my attention developing tools that make testers more efficient, as well as researching/evangelizing testing techniques that have shown to yield high-quality results. Not surprisingly, I use both the theory and the tools quite often in my own testing.

I’m also currently writing a book that explains the unified theory of testing and all its useful details. the book will hopefully be available some time in 2014.

Blog post by

go back to the blog


Leave your blog link in the comments below.

EuroSTAR In Pictures

View image gallery