Exportação concluída — 

Um modelo de falhas para sistemas de tempo real

Detalhes bibliográficos
Ano de defesa: 2024
Autor(a) principal: Doi Junior, Gilson
Orientador(a): Bonifácio, Adilson Luiz [Orientador]
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:
Software
Testes
Engenharia de software
Programação em tempo-real
Processamento eletrônico de dados em tempo real
Software engineering
Real-time programming
Real-time data processing
Fault location
Testing
Link de acesso: https://repositorio.uel.br/handle/123456789/13965
Resumo: Resumo: 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 teste
id UEL_0ee2bff3e3d40a7bce6bec27a3602b7f
oai_identifier_str oai:repositorio.uel.br:123456789/13965
network_acronym_str UEL
network_name_str Repositório Institucional da UEL
repository_id_str
spelling Doi Junior, GilsonMoura, Arnaldo Vieirae454d84c-d509-4716-8bfc-3944cf783d15-1Baccarin, Evandro13181688-bd0a-41ab-a1c0-c308f4eabd03-1Attrot, Wesleya65991cb-da1f-4d80-a942-f4f8f2146c7e-13bbda1c3-8dfe-45fc-b72e-e986f25818399416441a-92ef-4095-bff7-98cd508dc702Bonifácio, Adilson Luiz [Orientador]Londrina2024-05-01T14:21:53Z2024-05-01T14:21:53Z2013.0010.04.2013https://repositorio.uel.br/handle/123456789/13965Resumo: 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 testeDissertaçã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çãoAbstract: 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 generationporSoftwareTestesEngenharia de softwareProgramação em tempo-realProcessamento eletrônico de dados em tempo realSoftwareSoftware engineeringReal-time programmingReal-time data processingFault locationTestingUm modelo de falhas para sistemas de tempo realinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisMestradoCiência da ComputaçãoCentro de Ciências ExatasPrograma de Pós-Graduação em Ciência da Computação-1-1reponame:Repositório Institucional da UELinstname:Universidade Estadual de Londrina (UEL)instacron:UELinfo:eu-repo/semantics/openAccess161893vtls000184204SIMvtls000184204http://www.bibliotecadigital.uel.br/document/?code=vtls00018420464.00SIMhttp://www.bibliotecadigital.uel.br/document/?code=vtls0001842042772.pdf123456789/5002 - Mestrado - Ciência da ComputaçãoORIGINAL2772.pdfapplication/pdf489867https://repositorio.uel.br/bitstreams/4d3b80d6-988a-4241-857f-667e2a5e1b1e/download59d2fd71f0c5b958aad2686e7afd081aMD51LICENCElicence.txttext/plain263https://repositorio.uel.br/bitstreams/4719b964-34f1-4fcd-860d-45b8fcc378cc/download753f376dfdbc064b559839be95ac5523MD52THUMBNAIL2772.pdf.jpg2772.pdf.jpgGenerated Thumbnailimage/jpeg3165https://repositorio.uel.br/bitstreams/b7e88f2a-f642-415e-ba23-ce7163d2b744/download350451c656cd23d9408ade4dbc3b8118MD53123456789/139652024-07-12 01:20:08.85open.accessoai:repositorio.uel.br:123456789/13965https://repositorio.uel.brBiblioteca Digital de Teses e Dissertaçõeshttp://www.bibliotecadigital.uel.br/PUBhttp://www.bibliotecadigital.uel.br/OAI/oai2.phpbcuel@uel.br||opendoar:2024-07-12T04:20:08Repositório Institucional da UEL - Universidade Estadual de Londrina (UEL)false
dc.title.pt_BR.fl_str_mv Um modelo de falhas para sistemas de tempo real
title Um modelo de falhas para sistemas de tempo real
spellingShingle Um modelo de falhas para sistemas de tempo real
Doi Junior, Gilson
Software
Testes
Engenharia de software
Programação em tempo-real
Processamento eletrônico de dados em tempo real
Software
Software engineering
Real-time programming
Real-time data processing
Fault location
Testing
title_short Um modelo de falhas para sistemas de tempo real
title_full Um modelo de falhas para sistemas de tempo real
title_fullStr Um modelo de falhas para sistemas de tempo real
title_full_unstemmed Um modelo de falhas para sistemas de tempo real
title_sort Um modelo de falhas para sistemas de tempo real
author Doi Junior, Gilson
author_facet Doi Junior, Gilson
author_role author
dc.contributor.banca.pt_BR.fl_str_mv Moura, Arnaldo Vieira
Baccarin, Evandro
Attrot, Wesley
dc.contributor.author.fl_str_mv Doi Junior, Gilson
dc.contributor.authorID.fl_str_mv 3bbda1c3-8dfe-45fc-b72e-e986f2581839
dc.contributor.advisor1ID.fl_str_mv 9416441a-92ef-4095-bff7-98cd508dc702
dc.contributor.advisor1.fl_str_mv Bonifácio, Adilson Luiz [Orientador]
contributor_str_mv Bonifácio, Adilson Luiz [Orientador]
dc.subject.por.fl_str_mv Software
Testes
Engenharia de software
Programação em tempo-real
Processamento eletrônico de dados em tempo real
Software
Software engineering
Real-time programming
Real-time data processing
Fault location
Testing
topic Software
Testes
Engenharia de software
Programação em tempo-real
Processamento eletrônico de dados em tempo real
Software
Software engineering
Real-time programming
Real-time data processing
Fault location
Testing
description Resumo: 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 teste
publishDate 2024
dc.date.defesa.pt_BR.fl_str_mv 10.04.2013
dc.date.created.fl_str_mv 2013.00
dc.date.accessioned.fl_str_mv 2024-05-01T14:21:53Z
dc.date.available.fl_str_mv 2024-05-01T14:21:53Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.uel.br/handle/123456789/13965
url https://repositorio.uel.br/handle/123456789/13965
dc.language.iso.fl_str_mv por
language por
dc.relation.confidence.fl_str_mv -1
-1
dc.relation.coursedegree.pt_BR.fl_str_mv Mestrado
dc.relation.coursename.pt_BR.fl_str_mv Ciência da Computação
dc.relation.departament.pt_BR.fl_str_mv Centro de Ciências Exatas
dc.relation.ppgname.pt_BR.fl_str_mv Programa de Pós-Graduação em Ciência da Computação
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.coverage.spatial.pt_BR.fl_str_mv Londrina
dc.source.none.fl_str_mv reponame:Repositório Institucional da UEL
instname:Universidade Estadual de Londrina (UEL)
instacron:UEL
instname_str Universidade Estadual de Londrina (UEL)
instacron_str UEL
institution UEL
reponame_str Repositório Institucional da UEL
collection Repositório Institucional da UEL
bitstream.url.fl_str_mv https://repositorio.uel.br/bitstreams/4d3b80d6-988a-4241-857f-667e2a5e1b1e/download
https://repositorio.uel.br/bitstreams/4719b964-34f1-4fcd-860d-45b8fcc378cc/download
https://repositorio.uel.br/bitstreams/b7e88f2a-f642-415e-ba23-ce7163d2b744/download
bitstream.checksum.fl_str_mv 59d2fd71f0c5b958aad2686e7afd081a
753f376dfdbc064b559839be95ac5523
350451c656cd23d9408ade4dbc3b8118
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UEL - Universidade Estadual de Londrina (UEL)
repository.mail.fl_str_mv bcuel@uel.br||
_version_ 1856675798946152448

Registros relacionados