A-MOST 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
Sat 24 Oct 2020 14:00 - 14:30 at Porto - Session III Chair(s): Raluca Lefticaru

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.

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

14:00 - 15:30: Session IIIA-MOST at Porto
Chair(s): Raluca LefticaruUniversity of Bradford

A-MOST2020 is held as a virtual workshop via Zoom. Contact amost2020@easychair.org for the details.

14:00 - 14:30
Full-paper
A-MOST
Rachid KherraziAkka Technologies
Link to publication DOI
14:30 - 15:00
Full-paper
A-MOST
Paolo ArcainiNational Institute of Informatics , Raffaela MirandolaPolitecnico di Milano , Elvinia RiccobeneComputer Science Dept., University of Milan, Patrizia ScandurraUniversity of Bergamo, Italy
Link to publication DOI
15:00 - 15:30
Full-paper
A-MOST
Florian LorberAalborg University, Emil Jørgensen NjorAalborg University, Nikolaj Isgård SchmidtAalborg University, Sebastian Reidar PetersenAalborg University
Link to publication DOI