Loading [MathJax]/extensions/MathMenu.js
Specifying automated oracles for Simulink models | IEEE Conference Publication | IEEE Xplore

Specifying automated oracles for Simulink models


Abstract:

This paper presents a partially-automated solution for the definition of test oracles for validating Simulink models. Since these models are widely used for the design of...Show More

Abstract:

This paper presents a partially-automated solution for the definition of test oracles for validating Simulink models. Since these models are widely used for the design of embedded systems, their thorough validation is key. Errors and misunderstandings in these models may preclude the correctness and reliability of the final system: a manual, human-intensive validation activity is not enough, and automated solutions are fundamental to improve the current state of the art. The paper also presents Apolom, a prototype oracle generator, and the results of two experiments.
Date of Conference: 19-21 August 2013
Date Added to IEEE Xplore: 06 February 2014
Electronic ISBN:978-1-4799-0850-9

ISSN Information:

Conference Location: Taipei, Taiwan

Contact IEEE to Subscribe

References

References is not available for this document.