Finite state machines are a widely used concept for specifying the behavior of reactive systems for development as well as for testing purpose. Numerous graphical notations based on finite state machines have been developed and are commonly used today, such as state transition diagrams, state charts, and Unified Modeling Language (UML) state machine diagrams. While not as widely used, tabular notations for state machine-based specifications offer complementary advantages to diagrammatic notations. In this article, we describe an approach using tabular notations for state machine-based specifications in Model Based Testing and we evaluate these approaches using Spec Explorer from Microsoft. We developed a tool, called STTSpec, to convert tabular notation from an Excel sheet to the C# input models of Spec Explorer, allowing us to do functional testing with the benefit of simplicity of tabular notation. We demonstrate this by applying our approach to an industrial-size case study.

Rachid Kherrazi is Business Unit Manager at Akka Technologies in the Netherlands, a ICT service provider in the High Tech Industry. During his career Rachid obtained experience in quality departments within several companies, but mainly High-tech Industry. Rachid developed strong skills in test automation, test process improvement and project management. Currently he is working on several projects within the Dutch high-tech sector and he is involved in several academic research initiatives within Europe. Rachid Kherrazi obtained his Master on electrical engineering from the Technical University of Errachidia (Morocco), is a Six Sigma Certified Black Belt and recently obtained his license as an iSQI Certified Model Based Trainer.