Testabilidade de propriedades de estruturas discretas

Detalhes bibliográficos
Ano de defesa: 2022
Autor(a) principal: Calegari, Rafael
Orientador(a): Hoppen, Carlos
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://hdl.handle.net/10183/253478
Resumo: Diante de instâncias intratáveis de problemas de decisão, assim en- tendidas como entradas para os respectivos algoritmos que sejam tão longas, que não permitem que se assegure o processamento de tal algoritmo sobre a dada cadeia num tempo aceitável por um computador real, uma das estratégias co- mumente empregadas consiste em aceitarmos uma probabilidade de erro numa margem tolerável em troca de garantia de execução assintoticamente mais rápida ou menos dependente de armazenamento de informação, seja no pior caso, seja no caso médio. Nesta linha, encontram-se as técnicas de testabilidade de propri- edades de estruturas discretas. Neste trabalho, busca-se apresentar modelos de testabilidade estudados na literatura e contribuir com o aprofundamento e sis- tematização de determinada abordagem do estudo da testabilidade de algumas destas estruturas discretas sob a ótica de uma teoria de isomorfismos.