UNIVERSIDADE ESTADUAL PAULISTA INSTITUTO DE BIOCIÊNCIAS, LETRAS E CIÊNCIAS EXATAS DEPARTAMENTO DE CIÊNCIAS DE COMPUTAÇÃO E ESTATÍSTICA Teste de Software Engenharia de Software 2o. Semestre de 2006 Slide 1
Testes para a detecção de defeitos Testar programas para expor defeitos latentes no software antes de ser entregue. Slide 2
Tópicos Testes para a detecção de defeitos Testes de integração Testes orientados a objetos Slide 3
O processo de teste Testes de componentes Testes de componentes de programas individuais. Usualmente os programadores assumem a responsabilidade pelo teste de seu código (exceto em caso de sistemas críticos). Testes são derivados da experiência do desenvolvedor. Testes de integração Testes de grupos de componentes integrados para formar subsistemas ou sistemas completos. Uma equipe independente de teste fazem o teste de integração. Os testes são baseados em uma especificação do sistema. Slide 4
Teste para detecção de defeitos O objetivo de testes para a detecção de defeitos é revelar defeitos latentes nos programas. Um teste bem sucedido é aquele que revela a presença de um defeito (faz com que o programa se comporte de maneira anômala) Testes mostram a presença e não a ausência de defeitos. Slide 5
Teste para detecção de defeitos A única maneira de mostrar que um programa está correto é o teste exaustivo. Contudo, teste exaustivo é impraticável. Testes devem ser baseados em um subconjunto de possíveis casos de teste. Políticas devem ser utilizadas para escolher esse conjunto. Ex: todas as declarações do programa devem ser testadas pelo menos uma vez Todas as funções de sistema acessados por meio de menus devem ser testadas, etc. Slide 6
Dados de teste e Casos de teste Dados de teste entradas criadas para testar o sistema. Casos de teste Entradas para testar o sistema e saídas esperadas para essas entradas (quando o sistema opera de acordo com suas especificações). Slide 7
Processo de teste para a detecção de defeitos Casos Test cases Casos de teste de teste Dados Test data Dados de teste de teste Resultados Test Resultados de results teste de teste Relatórios Test reports Relatórios de teste de teste Projetar Design casos test Projetar cases casos de teste de teste Preparar Prepare dados test Preparar dados de data teste de teste Executar Run programa Executar programa com with dados test de datateste com dados de teste Comparar Compare resultados results Comparar resultados com to os test casos cases de teste com os casos de teste Slide 8
Teste de caixa preta Uma abordagem de teste onde o programa é considerado como uma caixa-preta. Os casos de teste para testar o programa são baseados na especificação do sistema. O planejamento dos testes podem começar nos primeiros estágios do processo de software. Slide 9
Teste Caixa preta Entrada de Dados de teste Ie Entradas que provocam comportamento anômalo Problema: selecionar entradas Ie SISTEMA SISTEMA Saída dos resultados de teste Oe Saídas que revelam a presença de defeitos Slide 10
Particionamento de equivalência (abordagem sistemática para seleção de dados de teste) Dados de entrada e resultados de saída se dividem em diferentes classes, por ex: números positivos, números negativos, strings, etc. Cada uma dessas classes é uma partição de equivalência onde o programa se comporta de maneira equivalente para cada membro da classe Casos de teste devem ser escolhidos de cada partição. Slide 11
(abordagem sistemática para seleção de dados de teste) Particição de Equivalência Entradas Invalid inválidas inputs Entradas Valid inputs válidas Sistema System Outputs Saídas Slide 12
(abordagem sistemática para seleção de dados de teste) Particionamento de equivalência Entradas e saídas do sistema são particionadas em conjuntos de equivalência Se a entrada é um inteiro de 5 dígitos entre 10.000 e 99.999, partições de equivalência são números < 10.000, números entre 10.000 e 99. 999 e números > 99. 999 Escolher casos de teste nos limites das partições: 00000, 09.999, 10.000, 50.0000, 99.999, 100.000 Slide 13
(abordagem sistemática para seleção de dados de teste) Partições de equivalência O programa aceita entre 4 a 10 entradas, que são números inteiros de cinco dígitos, maiores do que 10.000 e menores que 99.999 3 4 7 11 10 Menos Less than de 44 Between Entre 4 e 10 4 and 10 Mais More de than 10 10 Números Number de of valores input values de entrada 9999 10000 50000 100000 99999 Menos Less than de 10000 Entre Between 10 000 10000 e 99 999 and 99999 Mais More e than 99 999 99999 Valores Input values de entrada Slide 14
Especificação de uma rotina de busca procedure Busca (chave : ELEM ; T: ELEM_ARRAY; Achou : in out BOOLEAN; L: in out ELEM_INDEX) ; Pré-condição -- a seqüência tem pelo menos um elemento T FIRST <= T LAST Pós-condição -- O elemento é encontrado e é referenciado por L ( Achou and T (L) = chave) ou -- O elemento não está na seqüência ( not achou and not (existe i, T FIRST <= i <= T LAST, T (i) =chave )) Slide 15
Rotina de busca - partições de entrada Entradas que estão de acordo com a pré condição: seqüência com no mínimo um elemento. Entradas onde a pré condição não vale. Entradas onde o elemento chave é um elemento da seqüência. Entradas onde o elemento chave não é um membro da seqüência. Slide 16
Diretrizes de testes (no caso do exemplo usado) Teste o software com seqüências que possuem somente um único valor. Use diferentes seqüências, de diferentes tamanhos, em diferentes testes. Derive testes de maneira que o primeiro, o médio e o último elemento da seqüência sejam acessados. Teste com seqüências de comprimento zero. Slide 17
Rotina de busca - partições de equivalência Vetor Valor único Valor único Mais que 1 valor Mais que 1 valor Mais que 1 valor Mais que 1 valor Elemento Está na seqüência Não está na seqüência Primeiro elemento está na seqüência Último elemento está na seqüência Elemento médio está na seqüência Não está na seqüência Seqüência de entradas (T) Chave (key) Saídas (Found, L) 17 17 Verdadeiro, 1 17 0 Falso,?? 17, 29, 21, 23 17 Verdadeiro, 1 41, 18, 9, 31, 30, 16, 45 45 Verdadeiro, 7 17, 18, 21, 23, 29, 41, 38 23 Verdadeiro, 4 21, 23, 29, 33, 38 25 Falso,?? Slide 18
Teste Estrutural Algumas vezes chamado testes de caixa branca. Derivação de casos de teste de acordo com a estrutura do programa. O conhecimento do programa é usado para identificar casos de testes adicionais. Exemplo: exercitar todas as declarações do programa Slide 19
Testes caixa branca Dados Test Dados de teste data de teste Test s Testa Derives Deriva Component Código de componente Código code de componente Test Saídas outputs Saídas do teste do teste Slide 20
Testes de Caminho O objetivo dos testes de caminho é garantir que o conjunto de casos de teste é tal que cada caminho do programa é executado no mínimo uma vez. Para o teste de caminho, elabora-se um grafo de fluxo de programa, onde os nós, representam os pontos de decisão do programa, e os arcos representam o fluxo de controle. Slide 21
Grafos de fluxo de programa Modelo em esqueleto de todos os caminhos do programa. Consiste em nós que representam decisões e em ramos que mostram o fluxo de controle. É construído através do código fonte, onde substitui-se os comandos por nós e desvios pelos arcos (ou ramos) do grafo. Declarações seqüenciais são ignoradas na construção do grafo de fluxo. Slide 22
Grafos de fluxo de programa Em um comando condicional, cada ramo é mostrado como um caminho separado, e laços são indicados por uma seta fazendo o loop de volta para o nó de condição do laço. Usado como base para calcular o número de caminhos independentes no programa. Caminho independente - caminho que atravessa pelo menos um novo ramo no grafo de fluxo. Slide 23
Complexidade Ciclomática O número de caminhos independentes no código é igual à complexidade ciclomática. Cálculo da Complexidade ciclomática: CC = Número de ramos - Número de nós + 2. Complexidade ciclomática determina o número de casos de teste mínimo para testar adequadamente todos os caminhos independentes do programa. Slide 24
class BinSearch { // Esse é um encapsulamento de uma função de busca // binária que considera um vetor de objetos ordenados e uma chave // e retorna um objeto com 2 atributos, chamados // index o valor do índice de vetor // found um booleano que indica se uma chave está ou não no vetor // A chave será 1 se o elemento não for encontrado public static void Bu ( int key, int [] elemarray, Result r ) { int bottom = 0 ; int top = elemarray.length - 1 ; int mid ; r.found = false ; r.index = -1 ; while ( bottom <= top ) { mid = (top + bottom) / 2 ; if (elemarray [mid] == key) { r.index = mid ; r.found = true ; return ; } // if part else { if (elemarray [mid] < key) bottom = mid + 1 ; else top = mid - 1 ; } } //while loop } // search } //BinSearch Busca binária (Java)
1 bottom > top 2 while bottom < = top 3 if (elemarray [mid] == key 8 4 (if (elemarray [mid]< key 9 5 6 7 Grafo de fluxo para Busca Binária
Caminhos independentes 1, 2, 3, 8, 9 1, 2, 3, 4, 6, 7, 2 1, 2, 3, 4, 5, 7, 2 1, 2, 3, 4, 6, 7, 2, 8, 9 Casos de teste devem ser projetados para executar todos esses caminhos. Exercício: elaborar um conjunto de dados que execute os caminhos independentes acima. Slide 27
Teste de Caminhos Útil se usado com cuidado. Não implica que o programa foi adequadamente testado - embora todos os caminhos independentes são executados, todas as combinações possíveis de caminhos não são executadas. Slide 28
Testes de integração Testes feitos em sistemas completos ou subsistemas, compostos de componentes integrados. Testes de integração devem ser desenvolvidos a partir da especificação do sistema. A maior dificuldade é a localização de erros descobertos durante o processo. Integração incremental reduz esse problema. Slide 29
Testes de integração incremental A T1 A T1 A T1 T2 B T2 T2 B T3 B T3 C T3 T4 C T4 D T5 Test Seqüência sequence de teste 1 1 Seqüência Test sequence de teste 2 2 Test sequence Seqüência 3 de teste 3 Slide 30
Abordagens para o teste de integração Teste de integração top-down Começa com os componentes de alto nível de um sistema, e a integração se dá de cima para baixo em uma hierarquia de componentes. Componentes individuais em um nível mais baixo na hierarquia são representados por stubs. Teste de integração bottom-up Envolve integrar e testar os módulos de nível inferior na hierarquia e, então, subir na hierarquia de módulos, até que o módulo final seja testado. Na prática, a maioria das integrações envolve a combinação dessas estratégias. Slide 31
Testes de integração Top-down Level 1 Seqüência Testing Level 1 de sequence testes... Level 2 Level 2 Le vel 2 Level 2 Stubs Le vel do 2 nível stubs 2 Stubs Le vel do 3 nível stubs 3 Slide 32
Testes de integração bottom-up Drivers Test de drivers teste Level N Level N Le vel N Level N Level N Seqüência Testing sequence de testes Drivers Test de drivers teste Level N 1 Level N 1 Level N 1 Slide 33
Vantagens e desvantagens das abordagens de teste Validação da arquitetura Os testes top-down oferecem maior probabilidade de descobrir erros na arquitetura de sistema, em um estágio inicial do processo de desenvolvimento. Demonstração do sistema Os testes de integração top-down permite a demonstração de um sistema de trabalho limitado em uma fase inicial do desenvolvimento. Implementação de teste Testes top-down é necessário a produção de stubs (programas que simulam níveis inferiores). Testes bottom-up necessitam de drives. Observação de teste Problemas com ambas as abordagens. Código extra são necessários para poder observar os testes. Slide 34
Testes de interface Ocorrem quando módulos ou subsistemas são integrados para criar sistemas maiores. Objetivo é detectar erros devido a erros ou suposições inválidas sobre interfaces. Particularmente importante para o desenvolvimento orientado a objeto, uma vez que os objetos são definidos por suas interfaces Slide 35
Testes de Interface Test cases Casos de teste A B C Slide 36
Diretrizes para os testes de interface Projete conjunto de testes em que o valor dos parâmetros para os componentes externos esteja nos limites extremos. Sempre teste parâmetros ponteiros com ponteiros nulos. Em sistemas de passagem de mensagem, projete testes que gerem muito mais mensagens que é provável ocorrer na prática (teste de estresse). Em um sistemas de memória compartilhada, varie a ordem na qual os componentes são ativados. Slide 37
Testes de estresse Testam desempenho e confiabilidade: Exercitam o sistema além de sua carga máxima de projeto, até que o sistema falhe. Testa o comportamento de falha do sistema. É importante que a falha não cause a corrupção de dados ou a perda inesperada de serviços do usuário. Particularmente relevantes para sistemas distribuídos com base em redes de processadores, que podem exibir uma degradação severa quando a rede se torna sobrecarregada. Slide 38
Testes orientados a objetos Os componentes a serem testados são classes de objetos que são instanciadas como objetos. Diferentes de teste funcional, pois: Objetos individuais são, muitas vezes, maiores do que funções isoladas. Abordagens de teste de caixa-branca devem ser estendidas. Testadores podem não ter acesso ao código fonte do componente para análise, no caso de reuso de objetos Não existe um nível superior óbvio para integração e teste top-down. Slide 39
4 Níveis de teste Testar as operações associadas com os objetos. Testar classes de objetos individuais. Testar agrupamentos de objetos que cooperam entre si. Testar o sistema orientado a objeto completo. Slide 40
Pontos chave É mais importante testar as partes do sistema mais comumente utilizadas do que as partes que são exercitadas raramente. Partição de equivalência é uma maneira de derivar casos de teste. Partições são conjuntos de dados onde o programa deve se comportar de maneira equivalente. Teste de caixa preta é baseado na especificação do sistema. Não precisa analisar o código fonte. Teste estrutural baseia-se na análise do programa para determinar os caminhos a serem executados e a seleção de casos de teste. Slide 41
Pontos chave Os testes de integração se concentram no teste das interações entre os componentes. Os testes de interface procuram descobrir defeitos nas interfaces ou nos módulos. Para testar as classes de objetos, deve-se testar todas as operações, atributos e estados. Sistemas orientados à objetos devem ser integrados em torno de clusters de objetos. Slide 42