文章基本信息

标题：A Formal Framework of Hybrid Test Cases Generation Applied to Embedded Systems
本地全文：下载
作者：Tarik Nahhal
期刊名称：International Journal of Computer Science Issues
印刷版ISSN：1694-0784
电子版ISSN：1694-0814
出版年度：2013
卷号：10
期号：2
出版社：IJCSI Press
摘要：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.
关键词：Hybrid system Verification; Formal Methods in Conformance Testing and Embedded Systems design.