Um modelo de falhas para sistemas de tempo real

Página do item simplificado
dataload.collectionmapped02 - Mestrado - Ciência da Computaçãopt_BR
dataload.filenamenourau2772.pdfpt_BR
dataload.handlemapped123456789/50pt_BR
dataload.idpergamum161893pt_BR
dataload.idvirtuanourauvtls000184204pt_BR
dataload.idvirtuapergamumvtls000184204pt_BR
dataload.idvirtuapergamum.sameurlnourauSIMpt_BR
dataload.linknourauhttp://www.bibliotecadigital.uel.br/document/?code=vtls000184204pt_BR
dataload.linknourau.regularSIMpt_BR
dataload.linknourau.retificadohttp://www.bibliotecadigital.uel.br/document/?code=vtls000184204pt_BR
dataload.linknourau.size64.00pt_BR
dc.contributor.advisorBonifácio, Adilson Luiz [Orientador]pt_BR
dc.contributor.authorDoi Junior, Gilsonpt_BR
dc.contributor.bancaMoura, Arnaldo Vieirapt_BR
dc.contributor.bancaBaccarin, Evandropt_BR
dc.contributor.bancaAttrot, Wesleypt_BR
dc.coverage.spatialLondrinapt_BR
dc.date.accessioned2024-05-01T14:21:53Z
dc.date.available2024-05-01T14:21:53Z
dc.date.created2013.00pt_BR
dc.date.defesa10.04.2013pt_BR
dc.description.abstractResumo: Sistemas de tempo real são, em geral, sistemas críticos que interagem com o ambiente externo através de eventos de entrada e saída, regulados por restrições de tempo A atividade de teste em sistemas dessa natureza, via de regra, exige abordagens rigorosas em seu desenvolvimento devido às suas características críticas Teste baseado em modelos é uma abordagem que se apoia em formalismos, muitas vezes matemáticos, e que proporciona uma maior confiabilidade à fase de teste No entanto, sua aplicação no desenvolvimento de sistemas de tempo real depende de técnicas adequadas que possam lidar com a evolução contínua do tempo Várias abordagens contam com métodos de discretização para representar o comportamento de modelos temporizados Conjuntos de testes são então extraídos de modelos discretizados, permitindo a verificação de conformidade entre especificações e suas respectivas implementações Neste cenário, quantificar e qualificar o conjunto de teste são tarefas importantes, porém ainda pouco exploradas na abordagem de teste baseado em modelos para sistemas de tempo real Este trabalho propõe uma forma sistemática de identificação de falhas a partir da estrutura de autômatos grid O objetivo é definir um modelo de falhas que apoie as atividades de teste, tais como a análise de cobertura e a extração de conjuntos de testept_BR
dc.description.abstractother1Abstract: Real-time systems are, in general, critical systems that interact with the environment through input and output events regulated by time constraints The testing activity on systems of this nature requires rigorous approaches on their development due to their critical aspects Model based testing is an approach that relies on formalisms, often mathematical ones, and that provides more reliability to the testing phase However, model-based testing for real-time systems depends on appropriate techniques that can deal with continuous time evolution Several approaches rely on discretization methods to represent the behavior of timed models Test suites are then extracted from discretized models in order to verify the conformance between specifications and their respective implementations In this scenario the evaluation task of the test suite is important but rarely addressed on model-based testing approaches for real-time systems In this work we propose a systematic strategy to identify faults on grid automata This work aim is to define a fault model that supports model-based testing activities such as coverage analysis and test case generationpt_BR
dc.description.notesDissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Londrina, Centro de Ciências Exatas, Programa de Pós-Graduação em Ciência da Computaçãopt_BR
dc.identifier.urihttps://repositorio.uel.br/handle/123456789/13965
dc.languagepor
dc.relation.coursedegreeMestradopt_BR
dc.relation.coursenameCiência da Computaçãopt_BR
dc.relation.departamentCentro de Ciências Exataspt_BR
dc.relation.ppgnamePrograma de Pós-Graduação em Ciência da Computaçãopt_BR
dc.subjectSoftwarept_BR
dc.subjectTestespt_BR
dc.subjectEngenharia de softwarept_BR
dc.subjectProgramação em tempo-realpt_BR
dc.subjectProcessamento eletrônico de dados em tempo realpt_BR
dc.subjectSoftwarept_BR
dc.subjectSoftware engineeringpt_BR
dc.subjectReal-time programmingpt_BR
dc.subjectReal-time data processingpt_BR
dc.subjectFault locationpt_BR
dc.subjectTestingpt_BR
dc.titleUm modelo de falhas para sistemas de tempo realpt_BR
dc.typeDissertaçãopt_BR

Arquivos

Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
2772.pdf
Tamanho:
478.39 KB
Formato:
Adobe Portable Document Format
Baixar

Coleções

02 - Mestrado - Ciência da Computação