apuntes

Análisis
la primera etapa en la producción de un sistema de software es decir exactamente que se supone que ha de hacer el sistema. Esta etapa se conoce también como análisis de requisitos o especificaciones y por esta circunstancia muchos tratadistas suelen subdividir la etapa en otro dos:
Analisis y definición del problema.
Especificación de requisitos.

La parte mas difícil en la tarea de crear un software es definir cual es el problema.
Normalmente la definición del problema comienza analizando los requisitos del usuario pero estos requisitos, con frecuencia, pueden ser imprecisos y difíciles de describir.
En la etapa de especificaciones pueden ser muy utiles para mejorar la comunicación entre las diferentes partes implicadas construiran prototipo o medo sencillo del sistema normal.


Diseño
La especificación de un sistema indica lo que el sistema debe hacer. La etapa de diseño del sistema indica como debe hacerse. Para un sistema pequeño, la etapa de diseño puede ser tan sencillo como escribir un algoritmo en pseucodigo.
Es preciso determinar si se pueden utilizar programas o subprogramas que ya existen o es preciso construirlos totalmente. En este punto, es preciso especificar, claramente no solo el propósito de cada modulo, sino también el flujo de datos entre módulos.
Un medio para realizar estas especificaciones es escribir una precondición, que es una descripción de las condiciones que deben cumplirse al principio del modulo y una postcondicion, que es una descripción de condiciones al final del modulo.


Implementación
la etapa de implementación(codificación) traduce los algoritmo del diseño de un programa escrito en un lenguaje de programación. Los algoritmos y las estructuras de datos realizadas en pseudocodigo han de traducir codificados en un lenguaje que entienda la computadora: pascal, fortran, cobol.
Las reglas del sagrado (identacion) y los buenos comentarios faciitan la escritura del código. El pseucodio es una herramienta excelente que facilita notablemente la codificación.


Pruebas e integración
Cuando los diferentes componentes de un programa se han implementado y comprobado individualmente, el sistema completo se ensambla y se integra.
Las etapas de prueba sirven para mostrar que un programa es correcto. Las pruebas nunca son fáciles.las fases de pruebas es una parte esencial de un proyecto de programación. Durante la fase de pruebas se necesitan eliminar tantos errores lógicos como se puedan. se han de probar también datos aleatorios y, por ultimo, intentar algunos datos reales.

Verificación
la etapa de prueba han de comenzar tan pronto sea posible en la fase de diseño y continuara a lo largo de la implementación del sistema. Por esas razones se ha desarrollado un segundo método para demostrar la corrección o exactitud de un programa. Este método, denominado verificación formal implicada la construcción de pruebas matemáticas que ayudan a determinar si los programas hacen lo que se supone que han de hacer. La prueba de un algoritmo es correcto es como probar un teorema matemático. Si se descubre un error durante el proceso de verificación, se debe corregir su algoritmo y posiblemente se ha de modificar las especificaciones del problema.