Analise

[pic]

Vilhena
2012

SUMÁRIO

1 INTRODUÇÃO 3
2 OBJETIVOS 4
3 DESENVOLVIMENTO 5
3.1.1 VERIFICAÇÃO E VALIDAÇÃO 5
3.1.2 INSPEÇÃO DE SOFTWARE 6
3.1.3 TESTABILIDADE DE SOFTWARE 6
3.2 SISTEMA GERENCIADOR DE BANCO DE DADOS 7
3.3 LINGUAGEM DE PROGRAMAÇÃO 8
3.4 MODELOS DE PROCESSOS DE SOFTWARE 9
4 CONCLUSÃO 10
REFERÊNCIAS 11

INTRODUÇÃO

Este trabalho apresenta o conceito de alguns procedimentos utilizados como forma de analisar se o que esta sendo realizado atende aos requisitos solicitados. Esses procedimentos são a verificação e validação, inspeção e testes. Além da exposição de argumentos motivadores da escolha de um sistema gerenciador de banco de dados (SGBD), uma linguagem e um modelo de processo de software, baseados nos requisitos propostos no caso "Nossa Locadora de Livros".

2 OBJETIVOS

Os objetivos deste trabalho são ressaltar a importância da Engenharia de Software nos processos de criação, desenvolvimento e manutenção de sistemas informatizados. Realizar pesquisa bibliográfica a respeito de procedimentos de análise, verificação, teste e correção de erros. E por fim é proposto três exercícios baseados no cenário de "Nossa Locadora de Livros".

3 DESENVOLVIMENTO

Hoje em dia, o software está presente em diversos aspectos da vida do homem, sendo capaz de torna - lá mais confortável, eficiente e efetiva. Para Pfleeger o software representa mais do que somente o programa em si, compreende todo o conjunto de programas, procedimentos, dados e documentação associados a um sistema de computador. (PFLEEGER, 2004, p.1) Sendo assim, fica evidente a importância de softwares que atendam as especificações e expectativas dos usuários. Para analisar esses quesitos são utilizados os procedimentos de verificação e validação que são compostos por diversas técnicas, dentre elas a inspeção e testes de software.

3.1.1 VERIFICAÇÃO E VALIDAÇÃO

Verificação e validação (V & V) é a denominação dada