Automated Software Engineering

, Volume 24, Issue 2, pp 369–391

Test oracles for simulink-like models


DOI: 10.1007/s10515-016-0207-9

Cite this article as:
Baresi, L., Delamaro, M. & Nardi, P. Autom Softw Eng (2017) 24: 369. doi:10.1007/s10515-016-0207-9


The design of embedded systems is often supported by the definition of executable models for tools like Matlab/Simulink or Scilab/Xcos. These models play a pivotal role in the development process and their correctness is thus extremely important. Many different solutions exist for the definition of suitable tests to “exercise” these models, but only a few (partial) solutions exist for assessing the quality of execution (simulation) results, that is, for defining suitable oracles. This paper addresses the problem and proposes a formal language for specifying the oracles and relating them to existing models. It also presents Apolom, a prototype tool for checking simulation results against stated oracles. The empirical assessment we conducted to assess the viability of the proposed solution is organized around four case studies and witnesses interesting results in terms of effectiveness, efficiency, and required resources.


Embedded software Matlab/Simulink Test oracle 

Funding information

Funder NameGrant NumberFunding Note
Conselho Nacional de Desenvolvimento Científico e Tecnológico
  • 144626/2009-8
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
  • 6834-10-8
Fundação de Amparo á Pesquisa do Estado de São Paulo
  • 2010/09806-0
Conselho Nacional de Desenvolvimento Científico e Tecnológico
  • 559915/2010-1

Copyright information

© Springer Science+Business Media New York 2016

Authors and Affiliations

  1. 1.Politecnico di Milano - Dipartimento di Elettronica, Informazione e BioingegneriaMilanItaly
  2. 2.Universidade de São Paulo - ICMCSão CarlosBrazil
  3. 3.Universidade Tecnológica Federal do Paraná - DACOMCornélio ProcópioBrazil

Personalised recommendations