Notas de Teste de Software

Este documento contém uma série de notas sobre teste de software, incluindo:  Teste Funcional Critério - Particionamento por Classes de Equivalência Critério - Análise de Valor Limite Critério - Teste Funcional Sistemático Critério - Grafo de Causa-Efeito  Teste Estrutural Grafo de Fluxo de Controle Grafo de Fluxo de Dados  (novo) Teste de Mutação (novo)...

Read More

Análise de Desempenho Usando Técnicas de Vetorização, Blocagem e Programação Concorrente

 A busca pela melhoria de performance pode ser alcançada por diversas técnicas, cuja a técnica de programação concorrente já é bastante consolidada e utilizada no mercado. Entretanto, adicionar concorrência possui um custo adicional de conhecimento e a escolha da tecnologia pode ser benéfica ou um entrave na utilização dessa estratégia. Diversos estudos reveleram...

Read More

Uma Solução Diferente para o Problema da Mochila Binária (Resolvido em 2 horas)

...

Read More

Hanoi Tower - 5 disks in 30 steps

Follow @jaguaracisilva !function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0];if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src="//platform.twitter.com/widgets.js";fjs.parentNode.insertBefore(js,fjs);}}(document,"script","twitter-wjs")...

Read More

Uma Análise de Vetorização Automática do Compilador GCC

Resumo: Existem três formas principais de se fazer uso de unidades de vetorização nos processadores atuais: (i) pela programação em código de montagem, (ii) através da programação de funções intrínsecas em linguagens de alto nível ou (iii) usar um compilador que traduz automaticamente as operações escalares em vetoriais. Seja através da programação em linguagem de montagem...

Read More

Sound Empirical Evidence in Software Testing - ICSE 2012

In this presentation I will show a set of important topics about Software Engineering Empirical Studies that can be useful for increasing quality on your thesis and monographs in general. You can read this presentation and to think about how to do a good experimentation by apply its objectives, validation methods, questions, answers expected, define metrics and measuring...

Read More

Verificação Automática de Situações Excepcionais Através de Casos de Testes Aspectuais Baseados em Modelos

Resumo: Através do paradigma de Programação Orientada a Aspectos (POA) é possível alcançar a modularização e o reuso de código para tratar os interesses transversais dos sistemas, onde diversos estudos ensejam uma integração dos mecanismos de tratamento de exceção com esse objetivo. Entretanto, estudos recentes destacam que ao promover essa integração, o paradigma pode...

Read More

Análise de Performance na Obtenção de Produtos de Matrizes

Resumo: O produto de matrizes é um tema profundamente pesquisado, pois sugere uma maior facilidade na comparação de performance de programas com a utilização da álgebra linear e algumas métricas para esse fim. Neste trabalho são apresentadas 4 estratégias de implementação: (i) multiplicação normal de matrizes, (ii) multiplicação utilizando blocos, (iii) implementação do...

Read More

Proposta de Solução para o Problema dos “Números Complicados”

Resumo: O problema dos “números complicados” é definido por um subconjunto dos números de 1 a 1.000 que devem ser escritos usando expressões aritméticas. Ao final, deverão ser exibidos os 10 números mais complicados, onde o grau de complicação é dado pela quantidade de vezes em que os números são utilizados em uma expressão. O trabalho apresenta uma proposta de solução...

Read More

Uma Proposta de Solução para o Problema do “Círculo Cortado”

Resumo: O problema do “circulo cortado” pode ser divido em dois desafios principais, quando os números de 1 a n são ordenados em forma circular. O primeiro é encontrar dois números (a e b) no círculo, de forma que se uma linha for desenhada ligando esses números, cortando o círculo, a soma dos números de um lado do círculo é igual à soma dos números do outro lado. O segundo,...

Read More

Proposta de Solução para o Problema "Palácio dos Espelhos"

Resumo: O problema "Palácio dos Espelhos"deseja encontrar uma solução algorítmica para calcular as possibilidades de caminhos que um raio de luz pode percorrer de acordo com um número variado de k reflexões em n placas de vidros. O estudo realizou diversas simulações e apresenta uma abordagem que utiliza o cálculo de seqüências de polinômios. Artigo completo pode ser...

Read More

Tratamento de Falhas Residuais Durante o Design de Sistemas de Software – O Estado da Arte

...

Read More

Solução para o Problema: "As Minas Encantadas"

Resumo: Este artigo demonstra a análise do algoritmo proposto para resolução do problema "As Minas Encantadas". O estudo apresenta o método utilizado para análise do problema, trechos do código-fonte desenvolvido e uma análise da sua complexidade e resultados. Para demonstração dos resultados foram feitas diversas análises sobre o tempo de execução do algoritmo, onde foi...

Read More

Managing Technical Debt - A Practical Approach Using Continuous Integration and Project Management

My last presentation on Agile Project Management have approached the Managing Technical Debt - A Practical Approach Using Continuous Integration and Project Management Follow @jaguaracisilva !function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0];if(!d.getElementById(id...

Read More

Mapas Mentais

Mapas Mentais para o Ensino de Engenharia de Software Os mapas mentais podem representar qualquer tipo de conhecimento de forma sintética, clara e objetiva. Abaixo estou disponiblizando alguns mapas mentais que podem ser utilizados para o ensino de engenharia de software em cursos técnicos ou superiores de computação como recurso adicional às notas de aulas: Engenharia...

Read More

What agile teams think about agile principles by Laurie Williams - Communications of the ACM 04/2012 vol.55 In the mid-1990s, the prescribed means of keeping software development projects out of trouble and on schedule was to follow a heavyweight software development methodology consisting of a complete requirements document, including architecture and design, followed...

Read More

Analysis and Design of Algorithms

1 - Often Data Structures and Structural Complexity   2 - Basic Definitions  3 - Series and Summary 4 - Master Method for Recurrences   5 - Converting a Mathematical Definition to a Method Actually, value-producing recursive algorithms are almost identical to inductive definitions. In fact, creating a value-producing...

Read More