Testing and Monitoring Model-based Generated Program

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Tan, Li
Kim, Jesung
Contributor
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.

Advisor
Date of presentation
2003-07-13
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:28:56.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
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
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
Recommended citation
Collection