Algumas estórias sobre desenvolvimento e teste de software

Algumas estórias sobre desenvolvimento e

teste de software

Prof. M ´arcio Delamaro

Engenharias...

Engenharias...

• _{Tacoma Narrows Bridge – 1940}

• _{Software permite que se pratique a atividade de}

Engenharias...

• _{Tacoma Narrows Bridge – 1940}

• _{Software permite que se pratique a atividade de}

teste de forma mais sistemática.

• _{Ainda assim, existem situações imprevisíveis ou}

Grace Brewster Murray Hopper

Grace Brewster Murray Hopper

• _{Harvard Mark II}

O que faz o software falhar

O que faz o software falhar

• _{Defeitos (bugs)}

O que faz o software falhar

• _{Defeitos (bugs)}

• _{Por que eles aparecem?}

O que faz o software falhar

• _{Defeitos (bugs)}

• _{Por que eles aparecem?}

• _Complexidade

O que faz o software falhar

• _{Defeitos (bugs)}

• _{Por que eles aparecem?}

• _Complexidade

• _{Novos domínios}

O que faz o software falhar

• _{Defeitos (bugs)}

• _{Por que eles aparecem?}

• _Complexidade

• _{Novos domínios}

• _{Falta de métodos}

O que faz o software falhar

• _{Defeitos (bugs)}

• _{Por que eles aparecem?}

• _Complexidade

• _{Novos domínios}

• _{Falta de métodos}

• _{Situações imprevisíveis}

Seu software vai falhar

• _{A não ser que você invente nova forma de}

Seu software vai falhar

• _{A não ser que você invente nova forma de}

desenvolvê-lo.

• _{Mesmo com todas as precauções existem}

Seu software vai falhar

• _{A não ser que você invente nova forma de}

desenvolvê-lo.

• _{Mesmo com todas as precauções existem}

situações imprevisíveis (ou quase).

• _{Usuários são enorme fonte de comportamentos}

Seu software vai falhar

• _{A não ser que você invente nova forma de}

desenvolvê-lo.

• _{Mesmo com todas as precauções existem}

situações imprevisíveis (ou quase).

• _{Usuários são enorme fonte de comportamentos}

inesperados.

Seu software vai falhar

• _{A não ser que você invente nova forma de}

desenvolvê-lo.

• _{Mesmo com todas as precauções existem}

situações imprevisíveis (ou quase).

• _{Usuários são enorme fonte de comportamentos}

inesperados.

• _{Portanto esteja preparado para quando acontecer.}

O caso Panamá

O caso Panamá

• _{Instituto Nacional do Câncer – Panamá.}

O caso Panamá

• _{Instituto Nacional do Câncer – Panamá.}

• _{Software Multidata para cálculo de radiação.}

• _{Software permitia a instalação de 4 placas}

O caso Panamá

• _{Instituto Nacional do Câncer – Panamá.}

• _{Software Multidata para cálculo de radiação.}

• _{Software permitia a instalação de 4 placas}

(blocos) protetivas.

O caso Panamá

• _{Instituto Nacional do Câncer – Panamá.}

• _{Software Multidata para cálculo de radiação.}

• _{Software permitia a instalação de 4 placas}

(blocos) protetivas.

• _{Doutora panamenha gostaria de usar 5.}

• _{Para isso projetou um bloco único com um buraco}

O caso Panamá

• _{Instituto Nacional do Câncer – Panamá.}

• _{Software Multidata para cálculo de radiação.}

• _{Software permitia a instalação de 4 placas}

(blocos) protetivas.

• _{Doutora panamenha gostaria de usar 5.}

• _{Para isso projetou um bloco único com um buraco}

no centro.

O caso Panamá

• _{Instituto Nacional do Câncer – Panamá.}

• _{Software Multidata para cálculo de radiação.}

• _{Software permitia a instalação de 4 placas}

(blocos) protetivas.

• _{Doutora panamenha gostaria de usar 5.}

• _{Para isso projetou um bloco único com um buraco}

no centro.

• _{Dependendo de como essa placa fosse definida, o}

Caso semelhante: Therac 25

Caso semelhante: Therac 25

• _{Máquina de radioterapia}

• _{Dois tipos de tratamento: canhão de elétrons e}

Caso semelhante: Therac 25

• _{Máquina de radioterapia}

• _{Dois tipos de tratamento: canhão de elétrons e}

Raio-X

• _{Para tratamento de raio-X, um anteparo é}

Caso semelhante: Therac 25

• _{Máquina de radioterapia}

• _{Dois tipos de tratamento: canhão de elétrons e}

Raio-X

• _{Para tratamento de raio-X, um anteparo é}

interposto entre o canhão de elétrons e o paciente

• _{Em alguns casos o paciente era bombardeado}

Caso semelhante: Therac 25

• _{Máquina de radioterapia}

• _{Dois tipos de tratamento: canhão de elétrons e}

Raio-X

• _{Para tratamento de raio-X, um anteparo é}

interposto entre o canhão de elétrons e o paciente

• _{Em alguns casos o paciente era bombardeado}

diretamente, sem o anteparo

Therac 25 – problemas

Therac 25 – problemas

• _{Sucessor do Therac 6 e Therac 20}

Therac 25 – problemas

• _{Sucessor do Therac 6 e Therac 20}

• _{Muito mais dependente do software}

• _{Não possuía travas de segurança que}

Therac 25 – problemas

• _{Sucessor do Therac 6 e Therac 20}

• _{Muito mais dependente do software}

• _{Não possuía travas de segurança que}

prevenissem superexposição

• _{Ou seja: software passou a assumir papel crítico}

Therac 25 – problemas

• _{Sucessor do Therac 6 e Therac 20}

• _{Muito mais dependente do software}

• _{Não possuía travas de segurança que}

prevenissem superexposição

• _{Ou seja: software passou a assumir papel crítico}

na máquina

Therac 25 – problemas

• _{Sucessor do Therac 6 e Therac 20}

• _{Muito mais dependente do software}

• _{Não possuía travas de segurança que}

prevenissem superexposição

• _{Ou seja: software passou a assumir papel crítico}

na máquina

• _{Falta de teste}

Therac 25 – problemas

• _{Sucessor do Therac 6 e Therac 20}

• _{Muito mais dependente do software}

• _{Não possuía travas de segurança que}

prevenissem superexposição

• _{Ou seja: software passou a assumir papel crítico}

na máquina

• _{Falta de teste}

• _{Falta de equipe de teste}

O que teria evitado os acidentes

O que teria evitado os acidentes

• _{Metodologia de desenvolvimento.}

O que teria evitado os acidentes

• _{Metodologia de desenvolvimento.}

• _{Metodologia de teste.}

O que teria evitado os acidentes

• _{Metodologia de desenvolvimento.}

• _{Metodologia de teste.}

• _{Pessoal adequado.}

O que teria evitado os acidentes

• _{Metodologia de desenvolvimento.}

• _{Metodologia de teste.}

• _{Pessoal adequado.}

• _{Lição #1: software vai falhar.}

Airbus 320

• _{Em setembro de 1993 um Airbus 320 fazia um}

Airbus 320

• _{Em setembro de 1993 um Airbus 320 fazia um}

pouso no aeroporto de Varsóvia, na Polônia.

Airbus 320

• _{Em setembro de 1993 um Airbus 320 fazia um}

pouso no aeroporto de Varsóvia, na Polônia.

• _{Avião varou o fim da pista e parou num morro.}

Airbus 320

• _{Em setembro de 1993 um Airbus 320 fazia um}

pouso no aeroporto de Varsóvia, na Polônia.

• _{Avião varou o fim da pista e parou num morro.}

• _{Dois mortos, 40 feridos.}

Airbus 320

• _{Em setembro de 1993 um Airbus 320 fazia um}

pouso no aeroporto de Varsóvia, na Polônia.

• _{Avião varou o fim da pista e parou num morro.}

• _{Dois mortos, 40 feridos.}

• _{Tempo feio: chuva, vento, pista molhada.}

Airbus 320

• _{Em setembro de 1993 um Airbus 320 fazia um}

pouso no aeroporto de Varsóvia, na Polônia.

• _{Avião varou o fim da pista e parou num morro.}

• _{Dois mortos, 40 feridos.}

• _{Tempo feio: chuva, vento, pista molhada.}

• _{Tripulação seguiu procedimentos.}

Airbus 320

• _{Em setembro de 1993 um Airbus 320 fazia um}

pouso no aeroporto de Varsóvia, na Polônia.

• _{Avião varou o fim da pista e parou num morro.}

• _{Dois mortos, 40 feridos.}

• _{Tempo feio: chuva, vento, pista molhada.}

• _{Tripulação seguiu procedimentos.}

• _{Avião aquaplanou nos 9 segundos inicias.}

• _{Vento e chuva ludibriaram o computador, que}

Airbus 320

• _{Em setembro de 1993 um Airbus 320 fazia um}

pouso no aeroporto de Varsóvia, na Polônia.

• _{Avião varou o fim da pista e parou num morro.}

• _{Dois mortos, 40 feridos.}

• _{Tempo feio: chuva, vento, pista molhada.}

• _{Tripulação seguiu procedimentos.}

• _{Avião aquaplanou nos 9 segundos inicias.}

Houston, we have a (lot of) problem

Houston, we have a (lot of) problem

• _{Viagens no espaço são campeãs em bugs}

Houston, we have a (lot of) problem

• _{Viagens no espaço são campeãs em bugs}

• _{Por um lado software é complexo e crítico}

• _{Por outro, erros bizarros levam a perdas}

Pathfinder – Marte (1997)

Pathfinder – Marte (1997)

• _{Sonda de exploração do solo marciano.}

• _{Inaugurou diversos conceitos, inclusive o uso de}

Pathfinder – Marte (1997)

• _{Sonda de exploração do solo marciano.}

• _{Inaugurou diversos conceitos, inclusive o uso de}

airbags para permitir o pouso.

• _{O seu “rover” capaz de coletar e analisar}

Pathfinder – Marte (1997)

• _{Sonda de exploração do solo marciano.}

• _{Inaugurou diversos conceitos, inclusive o uso de}

airbags para permitir o pouso.

• _{O seu “rover” capaz de coletar e analisar}

amostras.

• _{Colhia dados por um longo tempo e depois os}

Pathfinder – Marte (1997)

• _{Sonda de exploração do solo marciano.}

• _{Inaugurou diversos conceitos, inclusive o uso de}

airbags para permitir o pouso.

• _{O seu “rover” capaz de coletar e analisar}

amostras.

• _{Colhia dados por um longo tempo e depois os}

transmitia para a Terra.

O problema

• _{Software do robô é concorrente, com}

O problema

• _{Software do robô é concorrente, com}

escalonamento preemptivo.

O problema

• _{Software do robô é concorrente, com}

escalonamento preemptivo.

• _{Cada thread possui uma prioridade.}

• _{“Information bus” é uma memória compartilhada}

que serve para trocar informação entre diversas partes do sistema.

O problema

• _{Software do robô é concorrente, com}

escalonamento preemptivo.

• _{Cada thread possui uma prioridade.}

• _{“Information bus” é uma memória compartilhada}

que serve para trocar informação entre diversas partes do sistema.

O problema

• _{Software do robô é concorrente, com}

escalonamento preemptivo.

• _{Cada thread possui uma prioridade.}

• _{“Information bus” é uma memória compartilhada}

que serve para trocar informação entre diversas partes do sistema.

• _{Acesso controlado por mutex.}

• _{Gerenciador do I.B.: roda freqüentemente, com}

O problema

• _{Software do robô é concorrente, com}

escalonamento preemptivo.

• _{Cada thread possui uma prioridade.}

• _{“Information bus” é uma memória compartilhada}

que serve para trocar informação entre diversas partes do sistema.

• _{Acesso controlado por mutex.}

• _{Gerenciador do I.B.: roda freqüentemente, com}

alta prioridade.

O problema

• _{Software do robô é concorrente, com}

escalonamento preemptivo.

• _{Cada thread possui uma prioridade.}

• _{“Information bus” é uma memória compartilhada}

que serve para trocar informação entre diversas partes do sistema.

• _{Acesso controlado por mutex.}

• _{Gerenciador do I.B.: roda freqüentemente, com}

alta prioridade.

• _{Thread meteorológica: roda de vez em quando,}

O problema

O problema

• _{Essa combinação geralmente funciona bem.}

• _{Situação de erro: Gerenciador do I.B. bloqueado}

O problema

• _{Essa combinação geralmente funciona bem.}

• _{Situação de erro: Gerenciador do I.B. bloqueado}

no mutex.

• _{Comunicação é escalonada e ganha processador}

O problema

• _{Essa combinação geralmente funciona bem.}

• _{Situação de erro: Gerenciador do I.B. bloqueado}

no mutex.

• _{Comunicação é escalonada e ganha processador}

pois tem prioridade maior que a meteorologia.

O problema

• _{Essa combinação geralmente funciona bem.}

• _{Situação de erro: Gerenciador do I.B. bloqueado}

no mutex.

• _{Comunicação é escalonada e ganha processador}

pois tem prioridade maior que a meteorologia.

• _{Comunicação demora quanto tempo quiser.}

• _{Timer expira indicando que gerenciador do I.B.}

O problema

• _{Essa combinação geralmente funciona bem.}

• _{Situação de erro: Gerenciador do I.B. bloqueado}

no mutex.

• _{Comunicação é escalonada e ganha processador}

pois tem prioridade maior que a meteorologia.

• _{Comunicação demora quanto tempo quiser.}

• _{Timer expira indicando que gerenciador do I.B.}

não foi executado por um longo período de tempo.

O que salvou o projeto?

O que salvou o projeto?

• _{Horas de execução em “debug mode”.}

O que salvou o projeto?

• _{Horas de execução em “debug mode”.}

• _Sorte.

O que salvou o projeto?

• _{Horas de execução em “debug mode”.}

• _Sorte.

• _{Lição # 1.}

• _{Alterando valor de uma constante no programa, o}

O que salvou o projeto?

• _{Horas de execução em “debug mode”.}

• _Sorte.

• _{Lição # 1.}

• _{Alterando valor de uma constante no programa, o}

problema foi resolvido.

• _{Herança de prioridade: quando o gerenciado do}

I.B. ficou bloqueado no mutex, a meteorologia iria herdar sua prioridade.

O que salvou o projeto?

• _{Horas de execução em “debug mode”.}

• _Sorte.

• _{Lição # 1.}

• _{Alterando valor de uma constante no programa, o}

problema foi resolvido.

• _{Herança de prioridade: quando o gerenciado do}

I.B. ficou bloqueado no mutex, a meteorologia iria herdar sua prioridade.

O que aprendemos

O que aprendemos

• _{O software vai falhar.}

• _{Mecanismos de depuração em alguns casos são}

O que aprendemos

• _{O software vai falhar.}

• _{Mecanismos de depuração em alguns casos são}

essenciais.

• _{Meio para corrigir o problema de maneira fácil é}

O que aprendemos

• _{O software vai falhar.}

• _{Mecanismos de depuração em alguns casos são}

essenciais.

• _{Meio para corrigir o problema de maneira fácil é}

benvindo (flexibilidade)

O que aprendemos

• _{O software vai falhar.}

• _{Mecanismos de depuração em alguns casos são}

essenciais.

• _{Meio para corrigir o problema de maneira fácil é}

benvindo (flexibilidade)

• _{Aplicar técnicas de teste adequadas ao domínio.}

• _{O que diferencia o laboratório de teste do}

O que aprendemos

• _{O software vai falhar.}

• _{Mecanismos de depuração em alguns casos são}

essenciais.

• _{Meio para corrigir o problema de maneira fácil é}

benvindo (flexibilidade)

• _{Aplicar técnicas de teste adequadas ao domínio.}

• _{O que diferencia o laboratório de teste do}

ambiente real?

Os Russos também

Os Russos também

E nesse caso?

E nesse caso?

• _{Lançado 12 de julho.}

E nesse caso?

• _{Lançado 12 de julho.}

• _{Sumiu 2 de setembro.}

• _{Foi emitido um comando de terra que desabilitou o}

E nesse caso?

• _{Lançado 12 de julho.}

• _{Sumiu 2 de setembro.}

• _{Foi emitido um comando de terra que desabilitou o}

sistema referencial na nave.

• _{Com isso ela perdeu o sol e não pôde recarregar}

Perguntas

Perguntas

• _{Por que alguém iria emitir tal comando?}

Perguntas

• _{Por que alguém iria emitir tal comando?}

• _{Falha humana.}

• _{Por que uma nave deveria ter uma funcionalidade}

Perguntas

• _{Por que alguém iria emitir tal comando?}

• _{Falha humana.}

• _{Por que uma nave deveria ter uma funcionalidade}

para desabilitar o sistema de orientação?

Perguntas

• _{Por que alguém iria emitir tal comando?}

• _{Falha humana.}

• _{Por que uma nave deveria ter uma funcionalidade}

para desabilitar o sistema de orientação?

• _{Não deveria.}

Perguntas

• _{Por que alguém iria emitir tal comando?}

• _{Falha humana.}

• _{Por que uma nave deveria ter uma funcionalidade}

para desabilitar o sistema de orientação?

• _{Não deveria.}

• _{Útil para algumas rotinas de teste.}

Lições?

Lições?

• _{Teste é teste, produção é produção.}

• _{Mantenha o software simples, remova o}

Lições?

• _{Teste é teste, produção é produção.}

• _{Mantenha o software simples, remova o}

desnecessário.

E até os Europeus

E até os Europeus

• _{Lançamento do foguete Ariane 5.}

• _{Após 40 segundos do lançamento, o foguete}

perdeu completamente sua orientação, tombou e se autodestruiu.

E até os Europeus

• _{Lançamento do foguete Ariane 5.}

• _{Após 40 segundos do lançamento, o foguete}

perdeu completamente sua orientação, tombou e se autodestruiu.

• _{Foi determinado que o sistema de orientação}

deixou de funcionar por causa de um conversão de tipos.

E até os Europeus

• _{Lançamento do foguete Ariane 5.}

• _{Após 40 segundos do lançamento, o foguete}

perdeu completamente sua orientação, tombou e se autodestruiu.

• _{Foi determinado que o sistema de orientação}

deixou de funcionar por causa de um conversão de tipos.

• _{Ao tentar converter um valor real em inteiro, houve}

uma exceção que resetou o computador que cuidava da orientação.

E até os Europeus

• _{Lançamento do foguete Ariane 5.}

• _{Após 40 segundos do lançamento, o foguete}

perdeu completamente sua orientação, tombou e se autodestruiu.

• _{Foi determinado que o sistema de orientação}

deixou de funcionar por causa de um conversão de tipos.

• _{Ao tentar converter um valor real em inteiro, houve}

uma exceção que resetou o computador que cuidava da orientação.

Causas da falha?

Causas da falha?

• _{Software foi reaproveitado do Ariane 4.}

• _{Existia um sistema de ajuste do foguete na}

Causas da falha?

• _{Software foi reaproveitado do Ariane 4.}

• _{Existia um sistema de ajuste do foguete na}

plataforma, antes de ser lançado.

• _{Sistema continuava operante por 40 segundos}

Causas da falha?

• _{Software foi reaproveitado do Ariane 4.}

• _{Existia um sistema de ajuste do foguete na}

plataforma, antes de ser lançado.

• _{Sistema continuava operante por 40 segundos}

depois era desligado.

• _{Esse sistema não era usado no Ariane 5, mas}

Causas da falha?

• _{Software foi reaproveitado do Ariane 4.}

• _{Existia um sistema de ajuste do foguete na}

plataforma, antes de ser lançado.

• _{Sistema continuava operante por 40 segundos}

depois era desligado.

• _{Esse sistema não era usado no Ariane 5, mas}

estava presente.

Causas da falha?

• _{Software foi reaproveitado do Ariane 4.}

• _{Existia um sistema de ajuste do foguete na}

plataforma, antes de ser lançado.

• _{Sistema continuava operante por 40 segundos}

depois era desligado.

• _{Esse sistema não era usado no Ariane 5, mas}

estava presente.

• _{Com a trajetória do Ariane 5, ocorria um erro de}

conversão que era tratado (ou não) resetando-se o computador.

Lições

• _{Reúso de software é ótimo mas a necessidade de}

Lições

• _{Reúso de software é ótimo mas a necessidade de}

teste é a mesma

Lições

• _{Reúso de software é ótimo mas a necessidade de}

teste é a mesma

• _{Dificuldade em se testar situações de exceção.}

Lições

• _{Reúso de software é ótimo mas a necessidade de}

teste é a mesma

• _{Dificuldade em se testar situações de exceção.}

• _{Mecanismos de redundância às vezes são inúteis.}

Lições

• _{Reúso de software é ótimo mas a necessidade de}

teste é a mesma

• _{Dificuldade em se testar situações de exceção.}

• _{Mecanismos de redundância às vezes são inúteis.}

• _{Compatibilidade é...}

Lições

• _{Reúso de software é ótimo mas a necessidade de}

teste é a mesma

• _{Dificuldade em se testar situações de exceção.}

• _{Mecanismos de redundância às vezes são inúteis.}

• _{Compatibilidade é...}

• _{Não manter coisas desnecessárias ou perigosas.}

Mas o que é teste?

Mas o que é teste?

• _{Atividade de VV}

Mas o que é teste?

• _{Atividade de VV}

• _{Atividade dinâmica}

• _{Consiste em executar um programa e analisar seu}

Mas o que é teste?

• _{Atividade de VV}

• _{Atividade dinâmica}

• _{Consiste em executar um programa e analisar seu}

comportamento

Mas o que é teste?

• _{Atividade de VV}

• _{Atividade dinâmica}

• _{Consiste em executar um programa e analisar seu}

comportamento

• _Etapas

Mas o que é teste?

• _{Atividade de VV}

• _{Atividade dinâmica}

• _{Consiste em executar um programa e analisar seu}

comportamento

• _Etapas

• _Planejamento

Mas o que é teste?

• _{Atividade de VV}

• _{Atividade dinâmica}

• _{Consiste em executar um programa e analisar seu}

comportamento

• _Etapas

• _Planejamento

• _Projeto

Mas o que é teste?

• _{Atividade de VV}

• _{Atividade dinâmica}

• _{Consiste em executar um programa e analisar seu}

comportamento • _Etapas • _Planejamento • _Projeto • _Execução • _Análise

O que se estuda em relação ao teste?

O que se estuda em relação ao teste?

• _Processo

O que se estuda em relação ao teste?

• _Processo

• _{Documentação}

O que se estuda em relação ao teste?

• _Processo • _{Documentação} • _{Aspecto humano} •

Técnicas e ferramentas

de seleção de casos de

teste

Técnicas e critérios de seleção

Package Design Pattern Role 1 Role 2 Role 3 id: Object id: Object Design Pattern Role 1 Role 2 Role 3 F B Bath Living Room Bedroom Bedroom Laundry Kitchen CL. CL. CL. CL. from: The Design of Light Aircraft

contact: phiscock@ee.ryerson.ca R.D. Hiscocks Vancouver, BC, Canada CLK LOAD INHIBITCLK 15 1 2 9 F G H E 3 4 5 6 A B C D 11 12 13 14 SER 10 _{74165 Qh}

Teste exaustivo

D(P) Sucesso ou Falha S(P) P

Teste randômico

D(P) Sucesso ou Falha S(P) P T

Teste de subdomínios

D(P) Sucesso ou Falha S(P) P T

Teste de subdomínios

D(P) Sucesso ou Falha S(P) P T

Como computar domínios

Como computar domínios

• _{Teste funcional}

Como computar domínios

• _{Teste funcional}

• _{Teste estrutural}

Teste funcional

• _{Analisa o domínio de entrada e tenta dividi-lo}

Teste funcional

• _{Analisa o domínio de entrada e tenta dividi-lo}

igualmente.

Teste funcional

• _{Analisa o domínio de entrada e tenta dividi-lo}

igualmente.

• _{Não leva em consideração a implementação.}

Teste funcional

• _{Analisa o domínio de entrada e tenta dividi-lo}

igualmente.

• _{Não leva em consideração a implementação.}

• _{É o mais flexível.}

• _{Pode ser aplicado em diversas fases do teste e do}

Exemplo:

x

Y

Exemplo:

x

Y

• _{x: número inteiro}

Exemplo:

x

Y

• _{x: número inteiro}

• _{y: número inteiro não negativo}

Exemplo:

x

Y

• _{x: número inteiro}

• _{y: número inteiro não negativo}

• _{Domínio de entrada: todo par hx, yi com y ≥ 0.}

<0,0> <0,1> <0,2> <1,0> <2,0> <3,0> ... <1,1> <1,2> <−1,1> <−2,2> <−2,3> ... ...

Critérios funcionais

• _{Partição em classe de equivalência}

• _{Análise de valor limite}

Teste estrutural

Teste estrutural

• _{Baseia-se na implementação}

Teste estrutural

• _{Baseia-se na implementação}

• _{Requisitos: comandos, desvios, variáveis}

Grafo de fluxo de controle

void m() { read(x); ... if ( a < x ) ... else ... while ( ... ) { ...

Teste de mutação

if ( a > b) .... OK OK OK OK

Teste de mutação

? ? ? ? if ( a >= b) ....

Teste de mutação

? ? ? ? if ( a >= b) .... NOK

Teste de mutação

NOK OK NOK NOK OK

Introdução ao teste de software - Ed.

Campus

• _{17 pesquisadores}

• _{Conceitos básicos}

• _{Teste funcional, estrutural, baseado em defeitos,}

baseado em modelos

• _{Teste OO, aspectos, WEB, programas}

concorrentes

• _{Propriedades, depuração, confiabilidade}