Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
???dc.contributor.advisor???: dc.contributor.advisor | Ré, Reginaldo | - |
Autor(es): dc.contributor.author | Bartko, William | - |
Data de aceite: dc.date.accessioned | 2013-04-01T13:30:23Z | - |
Data de aceite: dc.date.accessioned | 2017-03-17T14:03:30Z | - |
Data de disponibilização: dc.date.available | 2013-04-01T13:30:23Z | - |
Data de disponibilização: dc.date.available | 2017-03-17T14:03:30Z | - |
Data de envio: dc.date.issued | 2013-04-01 | - |
Fonte completa do material: dc.identifier | http://repositorio.roca.utfpr.edu.br/jspui/handle/1/706 | - |
???dc.identifier.citation???: dc.identifier.citation | BARTKO, William. CRIXUS-TRUCOV: uma ferramenta para apoiar o teste estrutural de sistemas embarcados críticos. 2012. 62 f. Trabalho de Conclusão de Curso (Graduação)- Universidade Tecnológica Federal do Paraná, Campo Mourão, 2012. | pt_BR |
Fonte: dc.identifier.uri | http://www.educapes.capes.gov.br/handlecapes/167899 | - |
Resumo: dc.description.abstract | 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. | pt_BR |
Palavras-chave: dc.subject | Sistemas embarcados (Computadores) | pt_BR |
Palavras-chave: dc.subject | Microcontroladores | pt_BR |
Palavras-chave: dc.subject | Embedded computer systems | pt_BR |
Palavras-chave: dc.subject | Microcontrollers | pt_BR |
Título: dc.title | CRIXUS-TRUCOV: uma ferramenta para apoiar o teste estrutural de sistemas embarcados críticos | pt_BR |
Tipo de arquivo: dc.type | outro | pt_BR |
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: