P45

A Uniform Test Generation Technique for Hardware/Software Systems

Gert Jervan Author homepage
 
Petru Eles Author homepage
Zebo Peng Author homepage

IEEE European Test Workshop, Constance, Germany, May 25-28, 1999

ABSTRACT
A novel hierarchical test generation technique for embedded systems containing hardware and software is proposed. Different from the traditional approaches, hardware and software parts of an embedded system are handled in a uniform way. We will in particular show how the proposed technique can be applied at the high levels of abstraction and how the software domain of the specification can also be successfully covered with experimental results.


Related files:
P45.pdfAdobe Acrobat portable document
P45.ps.gzpostscript document, compressed (with gzip)

Copyright note for papers published by the IEEE Computer Society:
Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the IEEE.


[JEP99] Gert Jervan, Petru Eles, Zebo Peng, "A Uniform Test Generation Technique for Hardware/Software Systems", IEEE European Test Workshop, Constance, Germany, May 25-28, 1999
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)
Last modified on Monday December 04, 2006 by Gert Jervan