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 MoreMetadata
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.
Published in: 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications
Date of Conference: 19-21 August 2013
Date Added to IEEE Xplore: 06 February 2014
Electronic ISBN:978-1-4799-0850-9