Browsing Teses e dissertações by Subject "Verification and validation"
Now showing items 1-2 of 2
-
RTSS: uma família de técnicas de leitura para suporte à inspeção de modelos SysML e Simulink
(Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, , 30/05/2014)Context: Usually, developers of Embedded Systems (ESs) start the development from models next to the code generation phase, for example, SysML diagrams and Simulink models. Despite the whole use of these models by the ... -
Investigação de operadores essenciais de mutação para programas orientados a aspectos
(Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, , 20/10/2014)Context: The literature on software testing reports on the application of the Mutation Analysis criterion or mutation testing as a promising approach for revealing faults in aspect-oriented (AO) programs. However, it ...