Verificação e Validação de Software

Embed Size (px)

DESCRIPTION

Conceito e técnica de verificação e validação. Inspeções de software. Testes de software. Aplicação de técnicas de verificação e validação de software

Citation preview

  • 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