A Formal Framework of Hybrid Test Cases Generation Applied to Embedded Systems
In this paper, we describe a formal framework for conformance
testing of continuous and hybrid systems, using the international
standard Formal Methods in Conformance Testing FMCT. We propose
a novel test coverage measure for these systems, which is defined using
the star discrepancy notion. This coverage measure is used to quantify
the validation completeness. It is also used to guide input stimulus
generation by identifying the portions of the system behaviors that are
not adequately examined. We then propose a test generation method,
which is based on a robotic motion planning algorithm and is guided by
the coverage measure. The approach is illustrated by its application to
some embedded system benchmarks.
Keywords: Hybrid system Verification, Formal Methods in Conformance Testing and Embedded Systems design.
Download Full-Text
ABOUT THE AUTHOR
Tarik Nahhal
Prof. Tarik NAHHAL received his PhD in Computer Sciences at the University of Grenoble (France). He is a Associate Professor at the Department of Mathematics and Computer Sciences, University Hassan II of Casablanca. His research interests are related to Hybrid system Verification, Formal Methods in Conformance Testing and Embedded Systems design. He has published research papers at national and international journals, conference proceedings as well as chapters of books.
Tarik Nahhal
Prof. Tarik NAHHAL received his PhD in Computer Sciences at the University of Grenoble (France). He is a Associate Professor at the Department of Mathematics and Computer Sciences, University Hassan II of Casablanca. His research interests are related to Hybrid system Verification, Formal Methods in Conformance Testing and Embedded Systems design. He has published research papers at national and international journals, conference proceedings as well as chapters of books.