Software reliability analysis by considering fault dependency and debugging time lag Autores

Tamanho: px
Começar a partir da página:

Download "Software reliability analysis by considering fault dependency and debugging time lag Autores"

Transcrição

1 Campos extraídos diretamente Título Software reliability analysis by considering fault dependency and debugging time lag Autores Huang, Chin-Yu and Lin, Chu-Ti Ano de publicação 2006 Fonte de publicação IEEE Transactions on Reliability Abstract Over the past 30 years, many software reliability growth models (SRGM) have been proposed. Often, it is assumed that detected faults are immediately corrected when mathematical models are developed. This assumption may not be realistic in practice because the time to remove a detected fault depends on the complexity of the fault, the skill and experience of personnel, the size of debugging team, the technique(s) being used, and so on. During software testing, practical experiences show that mutually independent faults can be directly detected and removed, but mutually dependent faults can be removed iff the leading faults have been removed. That is, dependent faults may not be immediately removed, and the fault removal process lags behind the fault detection process. In this paper, we will first give a review of fault detection & correction processes in software reliability modeling. We will then illustrate the fact that detected faults cannot be immediately corrected with several examples. We also discuss the software fault dependency in detail, and study how to incorporate both fault dependency and debugging time lag into software reliability modeling. The proposed models are fairly general models that cover a variety of known SRGM under different conditions. Numerical examples are presented, and the results show that the proposed framework to incorporate both fault dependency and debugging time lag for SRGM has a better prediction capability. In addition, an optimal software release policy for the proposed models, based on cost-reliability criterion, is proposed. The main purpose is to minimize the cost of software development when a desired reliability objective is given IEEE. Máquina de Busca IEEE Campos extraídos a partir do entendimento Tipo de Critério Apriorístico. Minimiza custo restrito à confiabilidade prédeterminada Caracterização do software Níveis de testes Modelo Utilizado Nenhum Habilidades Necessárias Nenhuma Contexto de aplicação Princípio do critério Modelo de confiabilidade. O artigo apresenta uma maneira de incorporar dependência entre falhas e tempo de depuração em modelos de confiabilidade Objetivo do critério Atingir nível de confiabilidade prédeterminado Minimizar o custo Minimizar custo total restrito a uma confiabilidade Considera depuração perfeita Não Confiabilidade pré-determinada Sim Orçamento para testes é pré-determinado Não Tempo para testes pré-determinado Não Número de faltas pré-determinado Sim

2 Taxa de identificação de falhas prédeterminada Sim Considera qualidade dos casos de testes Não Considera atividade de testes isolada Sim Diferencia taxa de detecção de falhas Não Modelo de confiabilidade base Multi modelo (Diversos modelos podem ser utilizados) Modelo de Custo base Okumoto and Goel (1979) Distribuição de Falhas NHPP Unidade de Medida de Falhas Não aplicável (depende do modelo de confiabilidade escolhido) Tipo de modelo de confiabilidade Modelo de estimativa de confiabilidade Variações do critério 3. Atingir nível de confiabilidade prédeterminado Minimizar o custo Minimizar custo total restrito a uma confiabilidade Suposições Modelar detecção de faltas e Processo de correção Considerando dependencia entre faltas e debugging time lag na modelagem de confiabilidade do software

3 Parâmetros do critério C 1 Custo de correção de uma falta durante a fase de testes C 2 Custo de correção de uma falta durante a fase de operação C 3 Custo de teste por unidade de tempo T LC tamanho do ciclo de vida do software N número total de parâmetros no modelo a 1 número total de faltas principais a 2 número total de faltas dependentes Critério O artigo apresenta um estudo sobre dependência de falhas em software. É apresentado como incorporar dependência de faltas e tempo de debugging na modelagem de confiabilidade. Os modelos propostos são bastantes gerais que cobrem uma grande variedades de SRGM (Software Reliability Growth Model) sobre diferentes condições. Utilizando o modelo proposto é apresentado três formas diferentes de calcular os pontos de parada de testes. 1. Tempo de parada baseado no critério de confiabilidade: 2. Tempo de parada baseado no critério de custo:

4 3. Tempo de parada baseado no critério de custo e confiabilidade: Onde:

5 Critérios de Avaliação A 0 B 1 C 0 D 2 E 1 F 1 Total 5

Critérios para Apoiar a Decisão Sobre o Momento de Parada dos Testes de Software

Critérios para Apoiar a Decisão Sobre o Momento de Parada dos Testes de Software Critérios para Apoiar a Decisão Sobre o Momento de Parada dos Testes de Software Victor Vidigal Ribeiro Guilherme Horta Travassos {vidigal, ght}@cos.ufrj.br Agenda Introdução Resultados da revisão Corpo

Leia mais

UNIDADE DE PESQUISA CLÍNICA Centro de Medicina Reprodutiva Dr Carlos Isaia Filho Ltda. SAMPLE SIZE DETERMINATION FOR CLINICAL RESEARCH

UNIDADE DE PESQUISA CLÍNICA Centro de Medicina Reprodutiva Dr Carlos Isaia Filho Ltda. SAMPLE SIZE DETERMINATION FOR CLINICAL RESEARCH SAMPLE SIZE DETERMINATION FOR CLINICAL RESEARCH Duolao Wang; Ameet Bakhai; Angelo Del Buono; Nicola Maffulli Muscle, Tendons and Ligaments Journal, 2013 Santiago A. Tobar L., Dsc. Why to determine the

Leia mais

Técnicas de modelagem do improvement para construção de tábuas geracionais

Técnicas de modelagem do improvement para construção de tábuas geracionais Raquel Rodrigues Santos Técnicas de modelagem do improvement para construção de tábuas geracionais Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre

Leia mais

Modelamento Banco de Dados e modelos de tendencia

Modelamento Banco de Dados e modelos de tendencia Modelamento Banco de Dados e modelos de tendencia NOTA: Cada barra representa o grau de partidas de uma determinada origem de um conhecido percurso. Por exemplo, em Dezembro o fator sazonal para Chicago

Leia mais

Prova de Seleção Mestrado LINGUA INGLESA 15/02/2016

Prova de Seleção Mestrado LINGUA INGLESA 15/02/2016 Prova de Seleção Mestrado LINGUA INGLESA 15/02/2016 Instruções aos candidatos: (1) Preencher somente o número de inscrição em todas as folhas. (2) Usar caneta preta ou azul. 1 2 3 4 5 6 7 8 9 10 11 12

Leia mais

Margarida Isabel A Auditoria Tributária e a Deteção. Melo de Oliveira de Comportamento Evasivo

Margarida Isabel A Auditoria Tributária e a Deteção. Melo de Oliveira de Comportamento Evasivo Universidade de Aveiro Instituto Superior de Contabilidade e Administração 2012 Margarida Isabel A Auditoria Tributária e a Deteção Melo de Oliveira de Comportamento Evasivo 1 Universidade de Aveiro Instituto

Leia mais

User interface evaluation experiences: A brief comparison between usability and communicability testing

User interface evaluation experiences: A brief comparison between usability and communicability testing User interface evaluation experiences: A brief comparison between usability and communicability testing Kern, Bryan; B.S.; The State University of New York at Oswego kern@oswego.edu Tavares, Tatiana; PhD;

Leia mais

Geração automática de suíte de teste para GUI a partir de Rede de Petri

Geração automática de suíte de teste para GUI a partir de Rede de Petri Raquel Jauffret Guilhon Geração automática de suíte de teste para GUI a partir de Rede de Petri Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo

Leia mais

Ficha da Unidade Curricular

Ficha da Unidade Curricular ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO DE FELGUEIRAS CURSO Licenciatura em Engenharia Informática U.C. ENGENHARIA DE SOFTWARE I Ficha da Unidade Curricular Horas presenciais / Ano 56 Ano Lectivo 2010 /

Leia mais

T Ã O B O M Q U A N T O N O V O

T Ã O B O M Q U A N T O N O V O D I S S E R T A Ç Ã O D E M E S T R A D O M A S T E R I N G D I S S E R T A T I O N A V A L I A Ç Ã O D A C O N D I Ç Ã O D E T Ã O B O M Q U A N T O N O V O U M A A P L I C A Ç Ã O E N V O L V E N D O

Leia mais

INFORMATION SECURITY IN ORGANIZATIONS

INFORMATION SECURITY IN ORGANIZATIONS INFORMATION SECURITY IN ORGANIZATIONS Ana Helena da Silva, MCI12017 Cristiana Coelho, MCI12013 2 SUMMARY 1. Introduction 2. The importance of IT in Organizations 3. Principles of Security 4. Information

Leia mais

Componentes Cerâmicos em Substituições Articulares Protéticas: Onde estamos hoje?

Componentes Cerâmicos em Substituições Articulares Protéticas: Onde estamos hoje? Venha buscar o seu Voucher para 1 Pendrive. Para todos os participantes. Componentes Cerâmicos em Substituições Articulares Protéticas: Onde estamos hoje? Simpósio 4 de Setembro de 2015, das 12:30 as 14:00

Leia mais

Uma arquitetura baseada em agentes de software para a automação de processos de gerênciadefalhasemredesde telecomunicações

Uma arquitetura baseada em agentes de software para a automação de processos de gerênciadefalhasemredesde telecomunicações Adolfo Guilherme Silva Correia Uma arquitetura baseada em agentes de software para a automação de processos de gerênciadefalhasemredesde telecomunicações Dissertação de Mestrado Dissertação apresentada

Leia mais

Serviços: API REST. URL - Recurso

Serviços: API REST. URL - Recurso Serviços: API REST URL - Recurso URLs reflectem recursos Cada entidade principal deve corresponder a um recurso Cada recurso deve ter um único URL Os URLs referem em geral substantivos URLs podem reflectir

Leia mais

GARANTIA DA QUALIDADE DE SOFTWARE

GARANTIA DA QUALIDADE DE SOFTWARE GARANTIA DA QUALIDADE DE SOFTWARE Fonte: http://www.testexpert.com.br/?q=node/669 1 GARANTIA DA QUALIDADE DE SOFTWARE Segundo a NBR ISO 9000:2005, qualidade é o grau no qual um conjunto de características

Leia mais

Ética na Propaganda (Portuguese Edition)

Ética na Propaganda (Portuguese Edition) Ética na Propaganda (Portuguese Edition) Antonio Paraguassú Lopes Click here if your download doesn"t start automatically Ética na Propaganda (Portuguese Edition) Antonio Paraguassú Lopes Ética na Propaganda

Leia mais

Modelagem e Simulação de Incêndios. Fire dynamics. Carlos André Vaz Junior

Modelagem e Simulação de Incêndios. Fire dynamics. Carlos André Vaz Junior Modelagem e Simulação de Incêndios Fire dynamics Carlos André Vaz Junior INTRODUÇÃO Fire dynamics is a very quantitative and mathematically complex subject. The term fire dynamics came into common use

Leia mais

Introdução geral sobre um assunto que é de consenso geral, mas que você gostaria de questionar

Introdução geral sobre um assunto que é de consenso geral, mas que você gostaria de questionar - Nesta redação/ tese/ dissertação será examinado(a)/ investigado(a)/ avaliado(a)... geral para uma redação / tese/ dissertação Para responder esta questão deve-se observar... Introduzindo o assunto sobre

Leia mais

MÉTODO DE ANÁLISE DA VULNERABILIDADE COSTEIRA À EROSÃO

MÉTODO DE ANÁLISE DA VULNERABILIDADE COSTEIRA À EROSÃO MÉTODO DE ANÁLISE DA VULNERABILIDADE COSTEIRA À EROSÃO João Thadeu de Menezes; Antonio Henrique da Fontoura Klein. Laboratório de Oceanografia Geológica.- Centro de Ciências Tecnológicas da Terra e do

Leia mais

Normas Técnicas SWP Safe Working Periods General overhaul

Normas Técnicas SWP Safe Working Periods General overhaul Normas Técnicas SWP Safe Working Periods General overhaul 21 21 Demag Cranes & Components 2012 NR18 Desde de dezembro de 2011 a norma NR18 foi revisada no item 18.14.1 e aplica-se também a equipamentos

Leia mais

Tipos de teste de software

Tipos de teste de software Tipos de teste de software Volnys Borges Bernal volnys@lsi.usp.br Adilson Hira ayhira@lsi.usp.br Laboratório de Sistemas Integráveis Departamento de Sistemas Eletrônicos Escola Politécnica da USP Sumário

Leia mais

Interactive Internet TV Architecture Based on Scalable Video Coding

Interactive Internet TV Architecture Based on Scalable Video Coding Interactive Internet TV Architecture Based on Scalable Video Coding Pedro Gomes Moscoso Dissertação para obtenção do Grau de Mestre em Engenharia de Redes de Comunicações Presidente: Orientador: Co-Orientador:

Leia mais

CENTRO ESTADUAL DE EDUCAÇÃO TECNOLÓGICA PAULA SOUZA

CENTRO ESTADUAL DE EDUCAÇÃO TECNOLÓGICA PAULA SOUZA CENTRO ESTADUAL DE EDUCAÇÃO TECNOLÓGICA PAULA SOUZA FACULDADE DE TECNOLOGIA DE LINS PROF. ANTONIO SEABRA CURSO SUPERIOR DE TECNOLOGIA EM LOGÍSTICA DANIEL ALVES PEREIRA JULIO CESAR JUSTINO UM ESTUDO EXPLORATÓRIO

Leia mais

Cigré/Brasil. CE B5 Proteção e Automação. Seminário Interno de Preparação para a Bienal de 2008

Cigré/Brasil. CE B5 Proteção e Automação. Seminário Interno de Preparação para a Bienal de 2008 Cigré/Brasil CE B5 Proteção e Automação Seminário Interno de Preparação para a Bienal de 2008 Rio de Janeiro, 26-27 de junho de 2008 B5-201 Dados do Artigo Exploiting the IEC61850 Potential for New Testing

Leia mais

Utilização de FMEA nos Processos de Desenvolvimento e Teste de Software

Utilização de FMEA nos Processos de Desenvolvimento e Teste de Software Utilização de FMEA nos Processos de Desenvolvimento e Teste de Software Bolívar Arthur Butzke 1, Karine Baiotto 1, Msc. Adalberto Lovato 1, Msc. Vera Lúcia Lorenset Benedetti 1 1 Sistemas de Informação

Leia mais

Transformação de um Modelo de Empresa em Requisitos de Software

Transformação de um Modelo de Empresa em Requisitos de Software Transformação de um Modelo de Empresa em Requisitos de Software Fábio Levy Siqueira 1 and Paulo Sérgio Muniz Silva 2 1 Programa de Educação Continuada da Poli-USP, São Paulo, Brazil 2 Escola Politécnica

Leia mais

LINGUAGEM DE ESPECIFICAÇÃO E DESCRIÇÃO (SDL) APLICADA AO PROCESSO DE VERIFICAÇÃO E VALIDAÇÃO DE SISTEMAS REATIVOS

LINGUAGEM DE ESPECIFICAÇÃO E DESCRIÇÃO (SDL) APLICADA AO PROCESSO DE VERIFICAÇÃO E VALIDAÇÃO DE SISTEMAS REATIVOS LINGUAGEM DE ESPECIFICAÇÃO E DESCRIÇÃO (SDL) APLICADA AO PROCESSO DE VERIFICAÇÃO E VALIDAÇÃO DE SISTEMAS REATIVOS Fabiana Fraga Ferreira Bacharelanda em Sistemas de Informação Bolsista de Iniciação Científica

Leia mais

What is Bullying? Bullying is the intimidation or mistreating of weaker people. This definition includes three important components:1.

What is Bullying? Bullying is the intimidation or mistreating of weaker people. This definition includes three important components:1. weaker people. This definition includes three important components:1. Bullying is aggressive behavior that involves unwanted, negative actions. 2. Bullying involves a pattern of behavior repeated over

Leia mais

Proposta de um método para auditoria de projetos de desenvolvimento de software iterativo e incremental

Proposta de um método para auditoria de projetos de desenvolvimento de software iterativo e incremental Proposta de um método para auditoria de projetos de desenvolvimento de software iterativo e incremental Francisco Xavier Freire Neto 1 ; Aristides Novelli Filho 2 Centro Estadual de Educação Tecnológica

Leia mais

GUIÃO A. Ano: 9º Domínio de Referência: O Mundo do Trabalho. 1º Momento. Intervenientes e Tempos. Descrição das actividades

GUIÃO A. Ano: 9º Domínio de Referência: O Mundo do Trabalho. 1º Momento. Intervenientes e Tempos. Descrição das actividades Ano: 9º Domínio de Referência: O Mundo do Trabalho GUIÃO A 1º Momento Intervenientes e Tempos Descrição das actividades Good morning / afternoon / evening, A and B. For about three minutes, I would like

Leia mais

INVESTIMENTOS HOTELEIROS EM CABO VERDE: O CASO DO RIU HOTELS & RESORTS

INVESTIMENTOS HOTELEIROS EM CABO VERDE: O CASO DO RIU HOTELS & RESORTS INVESTIMENTOS HOTELEIROS EM CABO VERDE: O CASO DO RIU HOTELS & RESORTS Minarvino Filomeno Silva Furtado Caso de Estudo Mestrado em Finanças Orientadora: Prof. Doutora Clara Raposo, Prof. Associada, ISCTE

Leia mais

UNIVERSIDADE FEDERAL DE MINAS GERAIS DEPARTAMENTO DE CIÊNCIAS POLÍTICAS ESPECIALIZAÇÃO EM MARKETING POLÍTICO. Fabiana Caroline Caldeira

UNIVERSIDADE FEDERAL DE MINAS GERAIS DEPARTAMENTO DE CIÊNCIAS POLÍTICAS ESPECIALIZAÇÃO EM MARKETING POLÍTICO. Fabiana Caroline Caldeira UNIVERSIDADE FEDERAL DE MINAS GERAIS DEPARTAMENTO DE CIÊNCIAS POLÍTICAS ESPECIALIZAÇÃO EM MARKETING POLÍTICO Fabiana Caroline Caldeira ESTRATÉGIA POLÍTICA DE UMA CAMPANHA PARA O CANDIDATO FELIPE MOTA A

Leia mais

Availability Modeling and Cost Analysis for VoD Streaming Service

Availability Modeling and Cost Analysis for VoD Streaming Service WMoDCS 2015.1 Recife, 01 april, 2015. Availability Modeling and Cost Analysis for VoD Streaming Service Maria Clara dos Santos Bezerra mcsb@cin.ufpe.br Prof. Paulo Romero Martins Maciel prmm@cin.ufpe.br

Leia mais

Métodos Formais em Engenharia de Software. VDMToolTutorial

Métodos Formais em Engenharia de Software. VDMToolTutorial Métodos Formais em Engenharia de Software VDMToolTutorial Ana Paiva apaiva@fe.up.pt www.fe.up.pt/~apaiva Agenda Install Start Create a project Write a specification Add a file to a project Check syntax

Leia mais

Medicina e Meditação - Um Médico Ensina a Meditar (Portuguese Edition)

Medicina e Meditação - Um Médico Ensina a Meditar (Portuguese Edition) Medicina e Meditação - Um Médico Ensina a Meditar (Portuguese Edition) Roberto Cardoso Click here if your download doesn"t start automatically Medicina e Meditação - Um Médico Ensina a Meditar (Portuguese

Leia mais

ÍNDICE PORTUGUÊS INDEX ENGLISH

ÍNDICE PORTUGUÊS INDEX ENGLISH ÍNDICE PORTUGUÊS 1. Características... 2 2. Conteúdo da Embalagem... 3 3. Como usar o Receptor de TV Digital... 3 4. Tela de Vídeo... 6 5.Requisitos Mínimos... 6 6. Marcas Compatíveis... 8 INDEX ENGLISH

Leia mais

Conteúdo Programático Anual

Conteúdo Programático Anual INGLÊS 1º BIMESTRE 5ª série (6º ano) Capítulo 01 (Unit 1) What s your name? What; Is; My, you; This; Saudações e despedidas. Capítulo 2 (Unit 2) Who s that? Who; This, that; My, your, his, her; Is (afirmativo,

Leia mais

REAPROVEITAMENTO DE RESÍDUOS LENHOSOS EM PROPRIEDADES PARTICULARES REUSING WOOD DEBRIS FROM PRIVATE PROPERTIES

REAPROVEITAMENTO DE RESÍDUOS LENHOSOS EM PROPRIEDADES PARTICULARES REUSING WOOD DEBRIS FROM PRIVATE PROPERTIES REAPROVEITAMENTO DE RESÍDUOS LENHOSOS EM PROPRIEDADES PARTICULARES REUSING WOOD DEBRIS FROM PRIVATE PROPERTIES APRESENTAÇÃO O designer Hugo França propõe um melhor reaproveitamento para resíduos lenhosos

Leia mais

versão 2.0 do BABOK Cover this area with a picture related to your presentation. It can

versão 2.0 do BABOK Cover this area with a picture related to your presentation. It can Uma visão geral da versão 2.0 do BABOK Cover this area with a picture related to your presentation. It can be humorous. Make sure you look at the Notes Pages for more information about how to use the template.

Leia mais

Endomarketing de A a Z (Portuguese Edition) By Analisa de Medeiros Brum

Endomarketing de A a Z (Portuguese Edition) By Analisa de Medeiros Brum Endomarketing de A a Z (Portuguese Edition) By Analisa de Medeiros Brum Endomarketing de A a Z (Portuguese Edition) By Analisa de Medeiros Brum Em Endomarketing de A a Z, a publicitária, consultora e palestrante

Leia mais

Modelagem de Sistemas Computacionais. Seleção de Carga de Trabalho Aula 04 Profa. Priscila Solís Barreto

Modelagem de Sistemas Computacionais. Seleção de Carga de Trabalho Aula 04 Profa. Priscila Solís Barreto Modelagem de Sistemas Computacionais Seleção de Carga de Trabalho Aula 04 Profa. Priscila Solís Barreto Servicos Exercidos SUT = System Under Test CUS = Component Under Study Serviços Exercidos Não confundir

Leia mais

Análise de Ponto de Teste. Uma proposta de adaptação

Análise de Ponto de Teste. Uma proposta de adaptação Análise de Ponto de Teste Uma proposta de adaptação Agenda Histórico O que é Análise de Ponto de Teste (APT)? A Técnica APT Dificuldades no uso da APT Proposta de adaptação Análise de Ponto de Teste Adaptada

Leia mais

Prevendo Defeitos de Software I: Avaliação da Qualidade

Prevendo Defeitos de Software I: Avaliação da Qualidade Prevendo Defeitos de Software I: Avaliação da Qualidade Esta série de tutoriais sobre Defeitos de Software apresentará técnicas de prevenção desses defeitos usando os resultados obtidos na fase de testes.

Leia mais

Contribution of the top boat game for learning production engineering concepts

Contribution of the top boat game for learning production engineering concepts Contribution of the top boat game for learning production engineering concepts Carla Sena Batista, Fabiana Lucena Oliveira, Enily Vieira do Nascimento, Viviane Da Silva Costa Novo Research Problem: How

Leia mais

Banca examinadora: Professor Paulo N. Figueiredo, Professora Fátima Bayma de Oliveira e Professor Joaquim Rubens Fontes Filho

Banca examinadora: Professor Paulo N. Figueiredo, Professora Fátima Bayma de Oliveira e Professor Joaquim Rubens Fontes Filho Título: Direção e Taxa (Velocidade) de Acumulação de Capacidades Tecnológicas: Evidências de uma Pequena Amostra de Empresas de Software no Rio de Janeiro, 2004 Autor(a): Eduardo Coelho da Paz Miranda

Leia mais

Vaporpunk - A fazenda-relógio (Portuguese Edition)

Vaporpunk - A fazenda-relógio (Portuguese Edition) Vaporpunk - A fazenda-relógio (Portuguese Edition) Octavio Aragão Click here if your download doesn"t start automatically Vaporpunk - A fazenda-relógio (Portuguese Edition) Octavio Aragão Vaporpunk - A

Leia mais

Capital Humano e Capital Social: Construir Capacidades para o Desenvolvimento dos Territórios

Capital Humano e Capital Social: Construir Capacidades para o Desenvolvimento dos Territórios UNIVERSIDADE DE LISBOA FACULDADE DE LETRAS DEPARTAMENTO DE GEOGRAFIA Capital Humano e Capital Social: Construir Capacidades para o Desenvolvimento dos Territórios Sandra Sofia Brito da Silva Dissertação

Leia mais

Fundamentos em Teste de Software. Vinicius V. Pessoni viniciuspessoni@gmail.com

Fundamentos em Teste de Software. Vinicius V. Pessoni viniciuspessoni@gmail.com Fundamentos em Teste de Software Vinicius V. Pessoni viniciuspessoni@gmail.com Objetivos do treinamento 1. Expor os fundamentos de Teste de Software; 2. Conceituar os Níveis de Teste; 3. Detalhar sobre

Leia mais

Análise e Desenvolvimento de Sistema de Estimação de Modelos da Classe STAR-TREE

Análise e Desenvolvimento de Sistema de Estimação de Modelos da Classe STAR-TREE Bernardo da Rocha Spindel Análise e Desenvolvimento de Sistema de Estimação de Modelos da Classe STAR-TREE Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de

Leia mais

Diabetes e Hipogonadismo: estamos dando a devida importância?

Diabetes e Hipogonadismo: estamos dando a devida importância? Diabetes e Hipogonadismo: estamos dando a devida importância? por Manuel Neves-e-Castro,M.D. Clinica de Feminologia Holistica Website: http://neves-e-castro.pt Lisboa/Portugal Evento Cientifico Internacional

Leia mais

Maria Amália Silva Costa ADMINISTRAÇÃO ESTRATÉGICA E GESTÃO DE PESSOAS POR COMPETÊNCIAS: O CASO POLICARBONATOS

Maria Amália Silva Costa ADMINISTRAÇÃO ESTRATÉGICA E GESTÃO DE PESSOAS POR COMPETÊNCIAS: O CASO POLICARBONATOS Maria Amália Silva Costa ADMINISTRAÇÃO ESTRATÉGICA E GESTÃO DE PESSOAS POR COMPETÊNCIAS: O CASO POLICARBONATOS Salvador, 2003 MARIA AMÁLIA SILVA COSTA A D M I N I S T R A Ç Ã O E S T R A T É G I C A E

Leia mais

Scrum. Gestão ágil de projetos

Scrum. Gestão ágil de projetos Scrum Gestão ágil de projetos Apresentação feita por : Igor Macaúbas e Marcos Pereira Modificada por: Francisco Alecrim (22/01/2012) Metas para o o Metas para treinamento seminário Explicar o que é Scrum

Leia mais

POTENCIAL DE INTERCÂMBIO DE ENERGIA ELÉTRICA ENTRE OS SISTEMAS ELÉTRICOS DO BRASIL E DA ARGENTINA

POTENCIAL DE INTERCÂMBIO DE ENERGIA ELÉTRICA ENTRE OS SISTEMAS ELÉTRICOS DO BRASIL E DA ARGENTINA Revista Brasileira de Energia, Vol. 17, N o. 1, 1 o Sem. 2011, pp. 73-81 73 POTENCIAL DE INTERCÂMBIO DE ENERGIA ELÉTRICA ENTRE OS SISTEMAS ELÉTRICOS DO BRASIL E DA ARGENTINA André Luiz Zanette 1 RESUMO

Leia mais

SOAR Data Quality Management: A Brazilian SOAR Data Archive. Iranderly Fernandes de Fernandes UEFS

SOAR Data Quality Management: A Brazilian SOAR Data Archive. Iranderly Fernandes de Fernandes UEFS SOAR Data Quality Management: A Brazilian SOAR Data Archive Iranderly Fernandes de Fernandes UEFS O que é Data Quality É o desagradável ser que fica apontando os defeitos no conjunto de dados? Prefiro

Leia mais

UAb Session on Institutional Change Students and Teachers. Lina Morgado

UAb Session on Institutional Change Students and Teachers. Lina Morgado UAb Session on Institutional Change Students and Teachers Lina Morgado Lina Morgado l SUMMARY 1 1. Pedagogical Model : Innovation Change 2. The context of teachers training program at UAb.pt 3. The teachers

Leia mais

COMPANY PRESENTATION

COMPANY PRESENTATION COMPANY PRESENTATION THE COMPANY First Portuguese company treating and recovering industrial oils «in situ» years know-how and expertise PURIFICADORA with its own process and technology developed over

Leia mais

UNIVERSIDADE FEDERAL DA FRONTEIRA SUL - UFFS CAMPUS ERECHIM LICENCIATURA EM PEDAGOGIA DANIÊ REGINA MIKOLAICZIK

UNIVERSIDADE FEDERAL DA FRONTEIRA SUL - UFFS CAMPUS ERECHIM LICENCIATURA EM PEDAGOGIA DANIÊ REGINA MIKOLAICZIK 1 UNIVERSIDADE FEDERAL DA FRONTEIRA SUL - UFFS CAMPUS ERECHIM LICENCIATURA EM PEDAGOGIA DANIÊ REGINA MIKOLAICZIK CAI A NOITE NA UNIVERSIDADE PÚBLICA: TRABALHADORES(AS) QUE ESTUDAM E O SONHO DO DIPLOMA

Leia mais

Análise de Persistência de Participantes em Planos de Previdência

Análise de Persistência de Participantes em Planos de Previdência Roberta de Souza Chun Análise de Persistência de Participantes em Planos de Previdência Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo Programa

Leia mais

A Tool to Evaluate Stuck-Open Faults in CMOS Logic Gates

A Tool to Evaluate Stuck-Open Faults in CMOS Logic Gates FURG A Tool to Evaluate Stuck-Open Faults in CMOS Logic Gates Alexandra L. Zimpeck, Cristina Meinhardt e Paulo F. Butzen Summary Introduction Motivation Stuck-Open Faults Stuck-Open Faults in Nanometer

Leia mais

BENEFÍCIOS DO ALEITAMENTO MATERNO EXLUSIVO ATÉ O SEXTO MÊS DE VIDA, E AS PRINCIPAIS CAUSAS DO DESMAME PRECOCE

BENEFÍCIOS DO ALEITAMENTO MATERNO EXLUSIVO ATÉ O SEXTO MÊS DE VIDA, E AS PRINCIPAIS CAUSAS DO DESMAME PRECOCE BENEFÍCIOS DO ALEITAMENTO MATERNO EXLUSIVO ATÉ O SEXTO MÊS DE VIDA, E AS PRINCIPAIS CAUSAS DO DESMAME PRECOCE MARIN, T; MORAES, A.C.S. Resumo:O aleitamento materno consiste na prática alimentar ideal para

Leia mais

Minhas lembranças de Leminski (Portuguese Edition)

Minhas lembranças de Leminski (Portuguese Edition) Minhas lembranças de Leminski (Portuguese Edition) Domingos Pellegrini Click here if your download doesn"t start automatically Minhas lembranças de Leminski (Portuguese Edition) Domingos Pellegrini Minhas

Leia mais

Leonardo Pereira Rodrigues dos Santos

Leonardo Pereira Rodrigues dos Santos Leonardo Pereira Rodrigues dos Santos Desenvolvimento de serviços na área de educação: uma aplicação de análise conjunta nos cursos de mestrado em administração de empresas DISSERTAÇÃO DE MESTRADO DEPARTAMENTO

Leia mais

Uma Análise da Eficiência dos Mercados Futuros Agrícolas Brasileiros

Uma Análise da Eficiência dos Mercados Futuros Agrícolas Brasileiros 1 Universidade Federal de Pernambuco Centro de Ciências Sociais Aplicadas Programa de Pós-graduação em Administração Uma Análise da Eficiência dos Mercados Futuros Agrícolas Brasileiros Carlos Flávio Pedroza

Leia mais

Rede de Laboratórios de Produtividade de Software

Rede de Laboratórios de Produtividade de Software Rede de Laboratórios de Produtividade de Software Processo de Teste de Software Programa de Capacitação em Testes de Software O que é Teste de Software? A atividade de teste de software é o processo de

Leia mais

Aula 12 - Correção de erros

Aula 12 - Correção de erros Aula 12 - Correção de erros Prof. Renan Sebem Disciplina de Eletrônica Digital Graduação em Engenharia Elétrica Universidade do Estado de Santa Catarina Joinville-SC Brasil 5 de abril de 2016 ELD0001 Prof.

Leia mais

Livro do Desassossego

Livro do Desassossego Livro do Desassossego Fernando Pessoa Click here if your download doesn"t start automatically Livro do Desassossego Fernando Pessoa Livro do Desassossego Fernando Pessoa [...] Download Livro do Desassossego...pdf

Leia mais

Desempenho no trabalho: Revisão da literatura [I] Job performance: An overview of literature

Desempenho no trabalho: Revisão da literatura [I] Job performance: An overview of literature PSICOLOGIA ARGUMENTO doi: 10.7213/psicol.argum.5895 ARTIGOS [T] Desempenho no trabalho: Revisão da literatura [I] Job performance: An overview of literature [R] [A] Pedro Fernando Bendassolli Resumo Received

Leia mais

A importância do PDTI na implantação da Governança de TI nas Prefeituras Brasileiras

A importância do PDTI na implantação da Governança de TI nas Prefeituras Brasileiras A importância do PDTI na implantação da Governança de TI nas Prefeituras Brasileiras Hugo Queiroz Abonizio 1, Rodolfo Miranda de Barros 1 1 Departamento de Computação Universidade Estadual de Londrina

Leia mais

ANÁLISE EXPERIMENTAL DA SECAGEM DE ARGILA

ANÁLISE EXPERIMENTAL DA SECAGEM DE ARGILA 2 de junho a 1º de julho de 24 Curitiba-PR 1 ANÁLISE EXPERIMENTAL DA SECAGEM DE ARGILA W.A. Lehmkuhl, T.S. Possamai, D.S. Weber, V. Fornazieri, V.P. Nicolau Universidade Federal de Santa Catarina / Campus

Leia mais

O candomblé e seus orixás (Coleção Autoconhecimento) (Portuguese Edition)

O candomblé e seus orixás (Coleção Autoconhecimento) (Portuguese Edition) O candomblé e seus orixás (Coleção Autoconhecimento) (Portuguese Edition) Carlos Renato Assef Click here if your download doesn"t start automatically O candomblé e seus orixás (Coleção Autoconhecimento)

Leia mais

Sistemas Operativos - Mooshak. 1 Mooshak. in http://mooshak.deei. fct.ualg.pt/. mooshak.deei.fct.ualg.pt/.

Sistemas Operativos - Mooshak. 1 Mooshak. in http://mooshak.deei. fct.ualg.pt/. mooshak.deei.fct.ualg.pt/. Sistemas Operativos - Mooshak 1 Mooshak O Mooshak (Leal and Silva, 2003) é um sistema para gerir concursos de programação. Para a sua utilização no âmbito da unidade curricular de Sistemas Operativos,

Leia mais

Guião M. Descrição das actividades

Guião M. Descrição das actividades Proposta de Guião para uma Prova Grupo: Inovação Disciplina: Inglês, Nível de Continuação, 11.º ano Domínio de Referência: O Mundo do trabalho Duração da prova: 15 a 20 minutos 1.º MOMENTO Guião M Intervenientes

Leia mais

A Gerência em Redes de Computadores

A Gerência em Redes de Computadores A Gerência em Redes de Computadores Gerência de Redes Redes Ferramenta fundamental Tecnicamente: constante expansão, tanto fisicamente como em complexidade. O que o usuário espera da rede? Disponibilidade

Leia mais

ESTRUTURA DE CAPITAL: UMA ANÁLISE EM EMPRESAS SEGURADORAS

ESTRUTURA DE CAPITAL: UMA ANÁLISE EM EMPRESAS SEGURADORAS ESTRUTURA DE CAPITAL: UMA ANÁLISE EM EMPRESAS SEGURADORAS THE CAPITAL STRUCTURE: AN ANALYSE ON INSURANCE COMPANIES FREDERIKE MONIKA BUDINER METTE MARCO ANTÔNIO DOS SANTOS MARTINS PAULA FERNANDA BUTZEN

Leia mais

106 BANCO DE PORTUGAL Boletim Estatístico

106 BANCO DE PORTUGAL Boletim Estatístico 106 BANCO DE PORTUGAL Boletim Estatístico B.7.1.1 Taxas de juro sobre novas operações de empréstimos (1) concedidos por instituições financeiras monetárias a residentes na área do euro (a) Interest rates

Leia mais

Módulo 4 DISPONIBILIDADE E CONFIABILIDADE DE ATIVOS DE TRANSPORTES

Módulo 4 DISPONIBILIDADE E CONFIABILIDADE DE ATIVOS DE TRANSPORTES Módulo 4 DISPONIBILIDADE E CONFIABILIDADE DE ATIVOS DE TRANSPORTES Análise da Vida Útil do Ativo MAXIMIZAR o Tempo de Operação dos equipamentos pela contenção das causas fundamentais das falhas. Qualificar

Leia mais

Guião A. Descrição das actividades

Guião A. Descrição das actividades Proposta de Guião para uma Prova Grupo: Ponto de Encontro Disciplina: Inglês, Nível de Continuação, 11.º ano Domínio de Referência: Um Mundo de Muitas Culturas Duração da prova: 15 a 20 minutos 1.º MOMENTO

Leia mais

Online Collaborative Learning Design

Online Collaborative Learning Design "Online Collaborative Learning Design" Course to be offered by Charlotte N. Lani Gunawardena, Ph.D. Regents Professor University of New Mexico, Albuquerque, New Mexico, USA July 7- August 14, 2014 Course

Leia mais

TÉCNICAS AVANÇADAS PARA CRIAÇÃO E CONSTRUÇÃO DE VALORIZAÇÃO DE MARCA

TÉCNICAS AVANÇADAS PARA CRIAÇÃO E CONSTRUÇÃO DE VALORIZAÇÃO DE MARCA TÉCNICAS AVANÇADAS PARA CRIAÇÃO E CONSTRUÇÃO DE VALORIZAÇÃO DE MARCA ALMEIDA, Gabriela Maria de. Discente do Curso de Administração de Empresas da Faculdade de Ciências Jurídicas e Gerencias MICHEL, Murillo

Leia mais

Curso Completo de Memorização (Portuguese Edition)

Curso Completo de Memorização (Portuguese Edition) Curso Completo de Memorização (Portuguese Edition) Silvio Luiz Matos Click here if your download doesn"t start automatically Curso Completo de Memorização (Portuguese Edition) Silvio Luiz Matos Curso Completo

Leia mais

Cigré/Brasil. CE B5 Proteção e Automação. Seminário Interno de Preparação para o Colóquio do SC B5 2009

Cigré/Brasil. CE B5 Proteção e Automação. Seminário Interno de Preparação para o Colóquio do SC B5 2009 Cigré/Brasil CE B5 Proteção e Automação Seminário Interno de Preparação para o Colóquio do SC B5 2009 Rio de Janeiro, 15-16 de setembro de 2009 Dados do Artigo Número: PS1 107 Título: Client Conformance

Leia mais

MAUS TRATOS NA POPULAÇÃO IDOSA INSTITUCIONALIZADA

MAUS TRATOS NA POPULAÇÃO IDOSA INSTITUCIONALIZADA Universidade de Lisboa Faculdade de Medicina de Lisboa MAUS TRATOS NA POPULAÇÃO IDOSA INSTITUCIONALIZADA Catarina Isabel Fonseca Paulos Mestrado em Medicina Legal e Ciências Forenses 2005 Esta dissertação

Leia mais

English version at the end of this document

English version at the end of this document English version at the end of this document Ano Letivo 2018-19 Unidade Curricular ANÁLISE MATEMÁTICA II Cursos ENGENHARIA INFORMÁTICA (1.º ciclo) Unidade Orgânica Faculdade de Ciências e Tecnologia Código

Leia mais

Eduardo Beira. Eduardo Beira (MIT Portugal Program, U. Minho, Portugal)

Eduardo Beira. Eduardo Beira (MIT Portugal Program, U. Minho, Portugal) TUA VALLEY: HOW DIFFERENT IS IT NOW? AN INTRODUCTION TO POPULATION DYNAMICS (1864 2011) VALE DO TUA: QUAIS AS DIFERENÇAS? UMA INTRODUÇÃO À DINÂMICA POPULACIONAL (1864-2010) Eduardo Beira (MIT Portugal

Leia mais

PROCESSO DE DESENVOLVIMENTO DE SOFTWARE E SEU USO NO EXÉRCITO BRASILEIRO

PROCESSO DE DESENVOLVIMENTO DE SOFTWARE E SEU USO NO EXÉRCITO BRASILEIRO PROCESSO DE DESENVOLVIMENTO DE SOFTWARE E SEU USO NO EXÉRCITO BRASILEIRO LAURO DE SOUZA SILVA * Resumo: O presente trabalho versa sobre a importância de um processo de desenvolvimento padronizado na instituição

Leia mais

Video Game Localization

Video Game Localization Video Game Localization Video game localization refers to the process of transforming video game software and hardware so it is ready for importation and for sale in a new region, usually a different country.

Leia mais

OPTICAL IMAGE SYNTHESIS FOR CLOUD REMOVAL WITH GENERATIVE ADVERSARIAL NETWORKS

OPTICAL IMAGE SYNTHESIS FOR CLOUD REMOVAL WITH GENERATIVE ADVERSARIAL NETWORKS OPTICAL IMAGE SYNTHESIS FOR CLOUD REMOVAL WITH GENERATIVE ADVERSARIAL NETWORKS José David Bermúdez Castro Advisor: Prof. Raul Queiroz Feitosa Co-advisor: Dr. Patrick Nigri Happ Laboratório de Visão Computacional

Leia mais

Um Modelo de Componentes de Software com Suporte a Múltiplas Versões

Um Modelo de Componentes de Software com Suporte a Múltiplas Versões Hugo Roenick Um Modelo de Componentes de Software com Suporte a Múltiplas Versões Dissertação de Mestrado Dissertação apresentada ao Programa de Pós graduação em Informática do Departamento de Informática

Leia mais

ANÁLISE DA DISTRIBUIÇÃO TEMPORAL DE DADOS HORÁRIOS DE TEMPERATURA EM CURITIBA

ANÁLISE DA DISTRIBUIÇÃO TEMPORAL DE DADOS HORÁRIOS DE TEMPERATURA EM CURITIBA ANÁLISE DA DISTRIBUIÇÃO TEMPORAL DE DADOS HORÁRIOS DE TEMPERATURA EM CURITIBA Miriam Pittigliani Instituto Tecnológico Simepar Centro Politécnico da UFPR Cx. Postal 19.1, Curitiba-PR, 81.531-99 e-mail:

Leia mais

Avaliação de Investimentos em Tecnologia da Informação: uma Perspectiva de Opções Reais

Avaliação de Investimentos em Tecnologia da Informação: uma Perspectiva de Opções Reais André Fichel Nascimento Avaliação de Investimentos em Tecnologia da Informação: uma Perspectiva de Opções Reais Dissertação de Mestrado Dissertação apresentada ao Programa de Pós-graduação em Engenharia

Leia mais

Engenharia de Requisitos

Engenharia de Requisitos 1 Engenharia de Requisitos Gerenciamento de Requisitos Prof Ms Vinícius Costa de Souza www.inf.unisinos.br/~vinicius 2 Agenda Introdução Requisitos voláteis x estáveis Identificação Armazenamento Gerenciamento

Leia mais

FACULDADE DE TECNOLOGIA SENAC PELOTAS. Trabalho sobre Drupal-7 Atividade-05-Sistemas de Informação

FACULDADE DE TECNOLOGIA SENAC PELOTAS. Trabalho sobre Drupal-7 Atividade-05-Sistemas de Informação FACULDADE DE TECNOLOGIA SENAC PELOTAS Trabalho sobre Drupal-7 Atividade-05-Sistemas de Informação Eduardo Perin Wille Análise e desenvolvimento de sistemas,2013 1 Sumário 1 Introdução... 1 1.1 Como surgiu...

Leia mais

MUDANÇAS CLIMÁTICAS DOS EVENTOS SEVEROS DE PRECIPITAÇÃO NO LESTE DE SANTA CATARINA DE ACORDO COM O MODELO HADRM3P

MUDANÇAS CLIMÁTICAS DOS EVENTOS SEVEROS DE PRECIPITAÇÃO NO LESTE DE SANTA CATARINA DE ACORDO COM O MODELO HADRM3P MUDANÇAS CLIMÁTICAS DOS EVENTOS SEVEROS DE PRECIPITAÇÃO NO LESTE DE SANTA CATARINA DE ACORDO COM O MODELO HADRM3P Gilson Carlos da Silva, 1,2 André Becker Nunes 1 1 UFPEL Brazil Pelotas gilson.carloss@ig.com.br

Leia mais

01-A GRAMMAR / VERB CLASSIFICATION / VERB FORMS

01-A GRAMMAR / VERB CLASSIFICATION / VERB FORMS 01-A GRAMMAR / VERB CLASSIFICATION / VERB FORMS OBS1: Adaptação didática (TRADUÇÃO PARA PORTUGUÊS) realizada pelo Prof. Dr. Alexandre Rosa dos Santos. OBS2: Textos extraídos do site: http://www.englishclub.com

Leia mais

Solutions. Adição de Ingredientes. TC=0.5m TC=2m TC=1m TC=3m TC=10m. O Tempo de Ciclo do Processo é determinado pelo TC da operação mais lenta.

Solutions. Adição de Ingredientes. TC=0.5m TC=2m TC=1m TC=3m TC=10m. O Tempo de Ciclo do Processo é determinado pelo TC da operação mais lenta. Operations Management Homework 1 Solutions Question 1 Encomenda Preparação da Massa Amassar Adição de Ingredientes Espera Forno Entrega TC=0.5m TC=2m TC=1m TC=3m TC=10m TC=1.5m (se mesmo operador) O Tempo

Leia mais

Prova Escrita de Inglês

Prova Escrita de Inglês EXAME NACIONAL DO ENSINO SECUNDÁRIO Decreto-Lei n.º 139/2012, de 5 de julho Prova Escrita de Inglês.º e 11.º Anos de Escolaridade Continuação bienal Prova 550/2.ª Fase Critérios de Classificação 7 Páginas

Leia mais

Uma visão geral da versão 2.0 do BABOK

Uma visão geral da versão 2.0 do BABOK Uma visão geral da versão 2.0 do BABOK Cover this area with a picture related to your presentation. It can be humorous. Make sure you look at the Notes Pages for more information about how to use the template.

Leia mais

TRANSPLANTE DE CÉLULAS TRONCO HEMATOPOIÉTICAS NO TRATAMENTO DA LEUCEMIA.

TRANSPLANTE DE CÉLULAS TRONCO HEMATOPOIÉTICAS NO TRATAMENTO DA LEUCEMIA. UNIVERSIDADE CASTELO BRANCO ATUALIZA ASSOCIAÇÃO CULTURAL ESPECIALIZAÇÃO EM BIOLOGIA MOLECULAR E CITOGÉNETICA HUMANA MÔNICA DE SOUSA PITA TRANSPLANTE DE CÉLULAS TRONCO HEMATOPOIÉTICAS NO TRATAMENTO DA LEUCEMIA.

Leia mais