Automated Software Engineering

, Volume 24, Issue 2, pp 369–391

Test oracles for simulink-like models

Article

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
  • 133 Downloads

Abstract

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.

Keywords

Embedded software Matlab/Simulink Test oracle 

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