Geracao De Casos De Testes
Mostrando 13-24 de 70 artigos, teses e dissertações.
-
13. Proposta de metodologia para verificação e validação software de equipamentos eletromédicos / Proposed methodology for verification and validation of medical electrical equipment
Hoje boa parte dos equipamentos eletromedicos (EEM) possui algum tipo de controle realizado por software; esse controle pode ser restrito a um ou mais subsistemas do equipamento, ou ainda ser total. A partir do momento em que o software representa papel fundamental no controle de EEM ele deixa de ser um risco intrinseco do equipamento e deve ser analisado co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/12/2011
-
14. SOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications / SOLIMVA: Uma metodologia para geração de casos de testes baseados em modelos a partir de requisitos em linguagem natural e detecção de não completude em especificações de software
Em maior ou menor extensão, a Linguagem Natural (LN) é ainda amplamente usada para elaborar especificações de requisitos de software ou outros artefatos criados para a documentação de requisitos. Entretanto, fornecimentos elaborados em LN apresentam ambiguidade, inconsistência e não completude. Esta tese de doutorado apresenta uma metodologia, SOLIMV
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/12/2011
-
15. Rotinas de revisão no processo de geração e adoção de tecnologias na cafeicultura: estudos de casos
O objetivo do trabalho foi identificar como ocorre o processo de geração, difusão e adoção de Máquinas e Equipamentos Agrícolas na cafeicultura. Para atender a esse objetivo optou-se por uma abordagem qualitativa por meio de um estudo de caso. Foram analisadas empresas do setor e representantes de uma cooperativa de café. Os resultados mostraram que
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2011
-
16. GERAÇÃO E EXECUÇÃO AUTOMÁTICA DE SCRIPTS DE TESTE PARA APLICAÇÕES WEB A PARTIR DE CASOS DE USO DIRECIONADOS POR COMPORTAMENTO / AUTOMATIC GENERATION AND EXECUTION OF TEST SCRIPTS FOR WEB APPLICATIONS FROM USE CASE DRIVEN BY BEHAVIOR
Este trabalho visa explorar os requisitos de software, descritos na forma de casos de uso, como instrumento capaz de apoiar a geração e execução automática de testes funcionais, com o intuito de verificar automaticamente se o resultado obtido nos testes gerados e executados estão em conformidade com o especificado. O trabalho consiste em utilizar um pr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/08/2011
-
17. Uma abordagem evolutiva multiobjetivo para geração automática de casos de teste a partir de máquinas de estados / A multi-objective evolutionary approach for automatic generation of test cases from state machines
A geração automática de casos de teste contribui tanto para melhorar a produtividade quanto para reduzir esforço e custo no processo de desenvolvimento de software. Neste trabalho é proposta uma abordagem, denominada MOST (Multi-Objective Search-based Testing approach from EFSM), para gerar casos de teste a partir de Máquina de Estados Finitos Estendid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/07/2011
-
18. COEXISTENCE BETWEEN THIRD AND FOURTH GENERATION TECHNOLOGIES / COEXISTÊNCIA ENTRE AS TECNOLOGIAS DE TERCEIRA E QUARTA GERAÇÕES
A chegada da tecnologia 4G acontece simultaneamente com a tecnologia que hoje temos (2G e 3G). Deste modo, uma pergunta natural é se elas vão conseguir coexistir ou se, no futuro, apresentarão problemas de coexistência. Para responder a estas perguntas, é preciso pesquisar para podermos predizer se, de alguma maneira, há possibilidade de falhas no futu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/04/2011
-
19. Endoftalmite bacteriana: aspectos epidemiológicos e diagnósticos. / Bacterial endophthalmitis: epidemiologic and diagnostic aspects
Objetivos: I- Relatar a incidência de endoftalmite bacteriana e a frequência dos microorganismos identificados numa instituição brasileira. II- Avaliar a frequência de microorganismos isolados de pacientes com endoftalmite bacteriana e sua suscetibilidade antimicrobiana. III- Determinar a aplicabilidade da reação em cadeia de polimerase em tempo real
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/02/2011
-
20. Autoanticorpos na artrite reumatoide inicial: coorte Brasília - resultados de uma análise seriada de três anos
O valor diagnóstico e prognóstico da análise seriada dos anticorpos como fator reumatoide (FR), anticorpos antipeptídeos citrulinados cíclicos (anti-CCP) e antivimentina citrulinada (anti-Sa) não está definido nos pacientes com artrite reumatoide inicial (ERA). OBJETIVOS: Avaliar de forma prospectiva a presença de FR, anti-CCP e anti-Sa em pacientes
Revista Brasileira de Reumatologia. Publicado em: 2011-12
-
21. Classificação de pontos LIDAR para a geração do MDT
Nos últimos anos tem se observado uma representativa evolução da tecnologia LIDAR (Light Detection and Ranging) na aquisição automática do MDT (Modelo Digital do Terreno) em áreas urbanas e rurais. Os métodos existentes na literatura remetem a regiões para casos específicos no hemisfério norte, onde as condições de vegetação e uso do solo são
Bol. Ciênc. Geod.. Publicado em: 2011-09
-
22. Enfoque epidemiológico em dados de tuberculose e brucelose visando a implantação de um sistema informatizado de monitoramento e vigilância
A vigilância epidemiológica é descrita como o conjunto de procedimentos de coleta, processamento e análise de dados utilizado para dar suporte aos processos de tomadas de decisão por parte dos agentes de saúde animal e humana. A crescente atuação de profissionais do setor privado em sanidade animal tem ampliado a vigilância epidemiológica passiva,
Publicado em: 2011
-
23. Desenvolvimento de métodos para o preparo de amostras de Fertilizantes visando à determinação de cobre, cádmio e Chumbo por espectrometria de absorção atômica com chama
O fertilizante químico utilizado em lavouras, para suprir as deficiências nutricionais do solo e consequentemente aumentar a sua fertilidade e a produtividade, pode ser um dos principais responsáveis por contaminar o solo com metais pesados. Dessa forma, este trabalho apresenta um estudo de otimização para extração de cobre, chumbo e cádmio em amostr
Publicado em: 2011
-
24. Geração automática de casos de testes para máquinas de estados finitos / Automatic test case generation for finite state machines
Métodos formais são amplamente utilizados para modelar especificações e gerar casos de testes, imprescindíveis para validação de sistemas críticos. As Máquinas de Estados Finitos (MEFs) compõem um dos formalismos adotados, com várias aplicações em testes de sistemas aéreos e espaciais, além de sistemas médicos, entre vários outros. O objetiv
Publicado em: 2010