Bacharelado em Engenharia de Computao

Prof. Ma. Renata Dutra Braga

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Verificao e Validao

Dinmica
Comunicao (professora alunos)
Apresentao da disciplina e do plano de ensino
Conceitos bsicos sobre Verificao e Validao (V&V)
motivao e diferena entre V&V.

Avaliao: atividades complementares

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Agenda

Fonte: Google Imagens

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Dinmica

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Quem sou eu?!

Fonte: Google Imagens

Quem so vocs?!
Nome?

Projeto final?
Experincia com V&V?

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Trabalha?

Fonte: Google Imagens

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Salrio das Profisses de TI

6
Fonte: http://info.abril.com.br/carreira/salarios/

Dinmica: Profisses de TI

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

A disciplina apoia em...

Dinmica
O que esperam da disciplina?
Registre em uma folha o que vocs esperam da disciplina

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Entregue a folha professora

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Comunicao

Acordos e Forma de Comunicao

Horrio (incio / fim disciplina)

Frequncia (horrios)
Dispositivos eletrnicos
Conversas paralelas

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Acordos

E-mail: professorarenatabraga@gmail.com
10

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Apresentao da Disciplina

11

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Para que a V&V til?

Fonte: Google Imagens

Uma disciplina que visa avaliar a qualidade do

produto desenvolvido e do processo de
software utilizado!

12

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Apresentao da disciplina

13

Estudo de Caso
Sexta-feira:
Gerncia de
Configurao de
Software

Sexta-feira:
Estimativas de
Esforo em Projetos
de Software

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Tera-feira:
Verificao e
Validao

14

Motivao, Definies e Diferenas

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Conceitos Bsicos sobre V&V

15

Contextualizao e Motivao

Atualmente Qualidade de Software vem

sendo apresentada como objeto de desejo
em quase todas as organizaes em
diversos ramos de trabalho.

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Paralelo com Qualidade de Software

Concordam com essa afirmao?

16

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

V&V na Engenharia de Software

17

(MURTA, 2011)

Definies e Diferenas

O que validao?

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

O que verificao?

18

Verificao um processo para determinar se os

produtos (executveis ou no executveis)
desenvolvidos em uma fase do ciclo do software,
cumprem as exigncias estabelecidas durante a fase
precedente, e se os mtodos e processos aplicados
durante o desenvolvimento estavam adequados.
(Maldonado, 2001)

Verificao: Avalia um sistema ou componente para determinar se

os produtos de uma dada atividade de desenvolvimento satisfazem
as condies impostas no incio desta atividade. Estamos
construindo certo o produto? Os artefatos construdos devem
estar de acordo com a especificao do software.
http://www.devmedia.com.br/qualidade-de-software-parte-02/9418

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Definies e Diferenas

19

Validao o processo de averiguar se o software

que est sendo desenvolvido satisfaz aos requisitos
predeterminados pelo usurio.
(Maldonado, 2001)

Validao: Avalia um sistema ou componente para determinar se

ele satisfaz os requisitos para ele especificados. Estamos
construindo o produto certo?. O software deve atender s
necessidades dos usurios.
http://www.devmedia.com.br/qualidade-de-software-parte-02/9418

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Definies e Diferenas

20

Validao

Verificao

Espera-se que o sistema

execute corretamente
usando determinado
conjunto de casos de
teste que refletem o uso
esperado do sistema.
Durante os testes de
validao voc
encontrar defeitos no
sistema.

Leva-se a testes de
defeitos, nos quais os
casos de teste so
projetados para expor os
defeitos.
Durante os testes de
defeitos, alguns deles
mostraro que o
programa corresponde a
seus requisitos.
(Sommerville, 2011)

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Definies e Diferenas: testes

21

Definies e Diferenas: testes

O teste parte de um amplo processo de verificao e

validao
Objetivo desse processo:
Verificar se o software em desenvolvimento satisfaz suas
especificaes e oferece a funcionalidade esperada pelas pessoas
que esto pagando pelo software.
Inicia assim que os requisitos esto disponveis e continuam em
todas as fases do processo de desenvolvimento.
(Sommerville, 2011)

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Os testes podem mostrar apenas a presena de

erros, e no sua ausncia.

22

Definies e Diferenas: testes

Objetivo da verificao:

Objetivo da validao:
Garantir que o software atenda s expectativas do cliente.
Objetivo
final

Estabelecer a confiana de que o software est

pronto pra seu propsito.
(Sommerville, 2011)

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Checar se o software atende a seus requisitos funcionais e no

funcionais.

23

Atividades Complementares

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD

Avaliao

24

Fonte: Google Imagens

25

UniEVANGLICA / BEC / VV,

2015/1, BRAGA, RD