Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Ré, Reginaldo | - |
Autor(es): dc.creator | Bartko, William | - |
Data de aceite: dc.date.accessioned | 2022-02-21T21:58:43Z | - |
Data de disponibilização: dc.date.available | 2022-02-21T21:58:43Z | - |
Data de envio: dc.date.issued | 2020-11-08 | - |
Data de envio: dc.date.issued | 2020-11-08 | - |
Data de envio: dc.date.issued | 2012-11-19 | - |
Fonte completa do material: dc.identifier | http://repositorio.utfpr.edu.br/jspui/handle/1/6453 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/665043 | - |
Descrição: dc.description | Safety-critical systems are programmable devices designed to be functional, even when failures can produce catastrophic results.Its is necessary attention during the development of this systems in ordem to avoid this situations. However, te lake of specific tools to suport appropriated testing criteria and to support testing coverage of safety critical embedded systems results in error-prone software. In this work we propose a coverage testing tool to support the test of microcontroller systems implemented to PIC microcontrollers of microchip. The main objective of our tool is to aid testing activities during the development process of safety critical embedded software. | - |
Descrição: dc.description | Os sistemas embarcados críticos são dispositivos programáveis projetados para trabalharem em conjunto com situações críticas, no qual falhas podem gerar resultados catastróficos.O desenvolvimento desses sistema necessita de atenção no hardware e software para que essas situações sejam prevenidas.Porém muitas falhas ocorrem por erro no programa, pois estão mal testados e propensos a problemas inesperados por não seguirem critérios de testes que cobririam todos os pontos do programa, e muitas vezes pela ausência de ferramentas com esse objetivo.Esse trabalho tem como propósito o desenvolvimento de uma ferramenta de teste para microcontroladores Pic, da Microchip, que mostre de forma visual os pontos cobertos do programa facilitando assim a atividade de teste nestes dispositivos. | - |
Formato: dc.format | application/pdf | - |
Idioma: dc.language | pt_BR | - |
Publicador: dc.publisher | Universidade Tecnológica Federal do Paraná | - |
Publicador: dc.publisher | Campo Mourao | - |
Palavras-chave: dc.subject | Sistemas embarcados (Computadores) | - |
Palavras-chave: dc.subject | Microcontroladores | - |
Palavras-chave: dc.subject | Embedded computer systems | - |
Palavras-chave: dc.subject | Microcontrollers | - |
Palavras-chave: dc.subject | Tecnologia em Sistemas para Internet | - |
Título: dc.title | CRIXUS-TRUCOV: uma ferramenta para apoiar o teste estrutural de sistemas embarcados críticos | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositorio Institucional da UTFPR - RIUT |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: