A Uniform Test Generation Technique for Hardware/Software Systems
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.pdf | Adobe Acrobat portable document |
P45.ps.gz | postscript 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 |