| Texto completo | |
| Autor(es): |
Baresi, Luciano
;
Delamaro, Marcio
;
Nardi, Paulo
Número total de Autores: 3
|
| Tipo de documento: | Artigo Científico |
| Fonte: | AUTOMATED SOFTWARE ENGINEERING; v. 24, n. 2, p. 369-391, JUN 2017. |
| Citações Web of Science: | 2 |
| Resumo | |
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. (AU) | |
| Processo FAPESP: | 10/09806-0 - Teste e validação de software: estudos teóricos e aplicações |
| Beneficiário: | Márcio Eduardo Delamaro |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |