Tuesday 21st of November 2017
 

A Formal Framework of Hybrid Test Cases Generation Applied to Embedded Systems


Tarik Nahhal

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.


IJCSI Published Papers Indexed By:

 

 

 

 
About IJCSI

IJCSI is a refereed open access international journal for scientific papers dealing in all areas of computer science research...

Learn more »
Join Us
FAQs

Read the most frequently asked questions about IJCSI.

Frequently Asked Questions (FAQs) »
Get in touch

Phone: +230 911 5482
Email: info@ijcsi.org

More contact details »