Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Verificação de programa (computadores)"'
Publikováno v:
Biblioteca Digital de Teses e Dissertações do ITAInstituto Tecnológico de AeronáuticaITA.
O domínio de sistema de software crítico embarcado requer atividades de Engenharia Reversa de Software especializadas para atender características típicas a esse tipo de sistema. A Engenharia Reversa de Software para sistemas de software crítico
Publikováno v:
Biblioteca Digital de Teses e Dissertações do ITAInstituto Tecnológico de AeronáuticaITA.
Este trabalho propõe e avalia a aplicação da técnica de verificação model checking no desenvolvimento de software embarcado de satélites universitários. Inicialmente, apresenta uma revisão do cenário atual de projetos de satélites universi
Autor:
Rhenzo Losso
Publikováno v:
Biblioteca Digital de Teses e Dissertações do ITAInstituto Tecnológico de AeronáuticaITA.
Este trabalho tem como objetivo a análise da aplicação de métodos formais para a modelagem e verificação de produtos de software embarcado para aplicações aeroespaciais de tempo-real. Como abordagem para modelagem, utilizam-se autômatos temp
Publikováno v:
Biblioteca Digital de Teses e Dissertações do ITAInstituto Tecnológico de AeronáuticaITA.
O teste de software é uma atividade essencial para verificação da qualidade do produto. A grande dificuldade, porém, é a impossibilidade de se testar todos os estados que o software pode assumir, tornando-se necessário desenvolver heurísticas