
Departmental Papers (CIS)
Date of this Version
July 2003
Document Type
Conference Paper
Recommended Citation
Li Tan, Jesung Kim, and Insup Lee, "Testing and Monitoring Model-based Generated Program", . July 2003.
Abstract
We propose an integrated framework to test and monitor code generated from hybrid models for embedded systems. The framework consists of the following elements: First, we create testing automata as a controlled environment to produce test traces achieving the desired testing criteria; Second, we synthesize monitoring automata from the behavior specification to check the run-time behavior of the tested system in response to the test traces; Finally, since both automata are encoded in the same language as the system model, the same code generator may be used to generate a tester and a monitor from the testing automata and the monitoring automata, and link them with the code generated from the system model. Our approach yields self-testing and self-monitoring code which may be run both on the simulation level and on the code level. We discuss our approach in its full details through an example on a SONY AIBO robotic dog.
Date Posted: 25 May 2005
This document has been peer reviewed.
Comments
Postprint version. Published in Electronic Notes in Theoretical Computer Science, Volume 89, Issue 2, October 2003.
Publisher URL: http://www.sciencedirect.com/science/journal/15710661