Verificação e Validação de Software
-
Upload
alfred-taddeus -
Category
Documents
-
view
8 -
download
0
description
Transcript of Verificação e Validação de Software
-
Verificao e Validao
Bacharelado em Engenharia de Computao
Prof. Ma. Renata Dutra Braga
1
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Agenda
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
2
Fonte: Google Imagens
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Dinmica
3
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Quem sou eu?!
4Fonte: Google Imagens
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Quem so vocs?!
Nome?
Trabalha?
Projeto final?
Experincia com V&V?
5
Fonte: Google Imagens
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Salrio das Profisses de TI
6
Fonte: http://info.abril.com.br/carreira/salarios/
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Dinmica: Profisses de TI
A disciplina apoia em...
7
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Dinmica
O que esperam da disciplina?
Registre em uma folha o que vocs esperam da disciplina
Entregue a folha professora
8
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Comunicao
9
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Acordos e Forma de Comunicao
Acordos
Horrio (incio / fim disciplina)
Frequncia (horrios)
Dispositivos eletrnicos
Conversas paralelas
E-mail: [email protected]
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Apresentao da Disciplina
11
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Para que a V&V til?
12
Fonte: Google Imagens
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
Uma disciplina que visa avaliar a qualidade do produto desenvolvido e do processo de
software utilizado!
-
Apresentao da disciplina
13
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Estudo de Caso
Tera-feira:Verificao e
Validao
Sexta-feira:Gerncia de
Configurao de Software
Sexta-feira:Estimativas de
Esforo em Projetos de Software U
niE
VA
NG
LIC
A /
BEC
/ V
V,
20
15
/1, B
RA
GA
, RD
14
-
Conceitos Bsicos sobre V&V
15
Motivao, Definies e Diferenas
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
Contextualizao e Motivao
Paralelo com Qualidade de Software
Concordam com essa afirmao?
16
Atualmente Qualidade de Software vem sendo apresentada como objeto de desejo
em quase todas as organizaes em diversos ramos de trabalho.
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
V&V na Engenharia de Software
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
17
(MURTA, 2011)
-
Definies e Diferenas
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
18
O que verificao?
O que validao?
-
Definies e Diferenas
19
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
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
-
Definies e Diferenas
20
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
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
-
Definies e Diferenas: testes
Validao
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.
Verificao
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.
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
21
(Sommerville, 2011)
-
Definies e Diferenas: testes
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
22
(Sommerville, 2011)
Os testes podem mostrar apenas a presena de erros, e no sua ausncia.
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.
-
Definies e Diferenas: testes
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
23
(Sommerville, 2011)
Objetivo da verificao:
Checar se o software atende a seus requisitos funcionais e no funcionais.
Objetivo da validao:
Garantir que o software atenda s expectativas do cliente.
Estabelecer a confiana de que o software estpronto pra seu propsito.
Objetivo final
-
Avaliao
24
Atividades Complementares
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D
-
25
Fonte: Google Imagens
Un
iEV
AN
GL
ICA
/ B
EC /
VV,
2
01
5/1
, BR
AG
A, R
D