CURSO: CET/DSAS DISCIPLINA: Eng.

de Software ANO LECTIVO: 2009/2011

CET/DSAS {EngSoft}
Joel Carvalho - 14.10.2010 Captulo 4
Validao e Verificao

FORMAO TECNOLGICA

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Sntese
i. Definies ii. Inspeco de Software iii. Testes

FORMAO TECNOLGICA

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Definies

i.

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Validao
A validao consiste em determinar se o que est construdo cumpre com os requisitos, ,ou seja, ser que o produto final o que o cliente pretendia?

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Verificao
A verificao consiste em determinar se o que est construdo est bem construdo, ,ou seja, ser que o produto final funciona correctamente?
Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Inspeco Vs Testes
A inspeco de software uma abordagem esttica que consiste em examinar o cdigo e a documentao (requisitos, modelos, manuais). Esta abordagem pode ser implementada em qualquer fase do ciclo de desenvolvimento de software. Os testes de software so por sua vez uma abordagem dinmica que consiste em examinar o comportamento do software e os resultados produzidos pelo mesmo. Esta abordagem s pode ser implementada no fim de cada caracterstica ou funcionalidade do software estar devidamente implementada.

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Inspeco de Software

ii.

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Vantagens da inspeco
Durante os testes, alguns erros podem esconder outros e aquando da correco se surgirem novos erros nunca se sabe se estes so devido correco ou se j existiam e no tinham sido detectados. Como a inspeco um processo esttico, nunca existe o problema da interaco entre erros. As inspeces podem ser efectuadas a qualquer momento sem o cdigo estar todo implementado. A inspeco tambm permite avaliar a portabilidade, a documentao e identificar se ser fcil efectuar manuteno do software.

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Outros factores
As inspeces devem comear cedo no processo de desenvolvimento e devem abordar todas as fases do ciclo de desenvolvimento. Estudos afirmam que as inspeces so a melhor forma de detectar erros uma vez que permitem abordagens mais formais com capacidade de analisar mais de 90% do software. No entanto as inspeces implicam um custo acrescido e horas de trabalho adicionais que nem sempre so fceis de implementar ou serem aceites.

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Equipas de Inspeco
As equipas de inspeco so normalmente constitudas por: Autor: Quem escreveu o cdigo ou documento a inspeccionar Leitor: Quem apresenta o cdigo ou documento aos restantes elementos Inspector: Quem procura e tenta detectar os erros, as omisses e as inconsistncias Moderador: Quem gere o processo, facilita a inspeco e responsvel por produzir um relatrio da inspeco.
Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Formas de Inspeco
Alm do referido pode-se ainda usar as seguintes abordagens:
Inspeco Automtica: realizada por intermdio de programas com capacidades de analisar e detectar automaticamente alguns tipos de erros ou falhas mais comuns. Mtodos Formais: realizada atravs de uma especificao formal (matemtica) do software e atravs de ferramentas automatizadas, ou semi-automatizadas, realiza-se a a correspondncia entre o funcionamento/cdigo do software e essa especificao. Esta abordagem seguida no sistemas crticos, isto , onde as vidas ou grandes investimentos podem ser postos em risco. Por exemplo: Nuclear, Aerospacial, TGV, etc.

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Testes

iii.

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Actividades
O teste de software pode dividir-se em duas actividades distintas: Testes de Componentes: tem por objectivo detectar defeitos em componentes que podem ir de funes individuais a mdulos completos do software passando por objectos. Testes de sistema: tem por objectivo determinar se o sistema cumpre os requisitos e se o software no seu todo, no se comporta de forma inesperada.
Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Validao Vs Defeito
Os testes de software podem ainda testar se algo funciona bem ou se algo funciona mal. Um teste de validao com sucesso significa que essa situao tem o comportamento o desejado. Um teste de defeito com sucesso significa que essa situao possu um defeito no seu comportamento. Ao contrrio da inspeco os testes no do garantias absolutas sobre o correcto funcionamento, para reduzir este problema muitas vezes os testes so repetidos diversas vezes sobre condies diferentes.

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Perguntas?
{Bom Trabalho!}
Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Qual a diferena entre Validao e Verificao? Os mtodos formais so considerados testes ou inspeces? Quais as principais vantagens da validao? Enumere e indique quais os papeis dos diferentes elementos de uma equipa de inspeco. Qual a importncia de serem outras pessoas a validar ou verificar o software alm de quem desenvolveu o software? Na sua opinio prefervel usar inspeces ou testes para validar o correcto funcionamento do software? Na sua opinio prefervel usar inspeces ou testes para verificar o software?

Mod.AFTEBI.P-052.rev02

CURSO: CET/DSAS DISCIPLINA: Eng. de Software ANO LECTIVO: 2009/2011

Ipsa scientia potestas est

{O saber poder}

FORMAO TECNOLGICA

Mod.AFTEBI.P-052.rev02