On test oracles for Simulink-like models

Embedded systems are present in many fields of application where failure may be critical. Such systems often possess characteristics that hampers the testing activity, as large amount of produced data and temporal requirements which must be specified and evaluated. There are tools that support t...

Full description

Bibliographic Details
Main Author: Paulo Augusto Nardi
Other Authors: Márcio Eduardo Delamaro
Language:English
Published: Universidade de São Paulo 2013
Subjects:
Online Access:http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26032014-104734/