Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CONCEPTOS BÁSICOS…
2.- Diseñar
• 2.2.- Verificar Manualmente
• Verificación estática
• Consiste en utilizar aserciones:
• Pre condición
• Estados de la variables en procesos intermedios
• Pos condición
• Verificación dinámica
• Se prepara un juego de datos para los cuales ya se conocen los
resultados. Luego, se efectúan algunas ejecuciones de prueba,
para verificar si el algoritmo produce los resultados esperados en
función de los datos suministrados. Esta técnica se ha utilizado
desde que se crearon los lenguajes de programación.
Ejemplo
Ing. Godofredo Poccori Umeres
Programación I
CONCEPTOS BÁSICOS…
3.- Codificar en un Lenguaje de programación
Programa Programa
Algoritmo
Codificación Fuente Compilación Ejecutable
(Seudo código)
(*.PAS) (*.EXE)
Ver Ver
DATOS RESULTADOS
PROCESO
Radio Area
10 r 2 = 3.1416 x10x10 314.16
2 r =2x 3.1416 x10 Longitud
62.832
• - Pos condición
{¦ Area = 3.1416 * Radio 2 , Longitud = 2* 3.1416*Radio ¦}
Ing. Godofredo Poccori Umeres
Programación I
CONCEPTOS BÁSICOS…
Que es el Pseudocódigo
El Pseudocódigo es un lenguaje, pero un
lenguaje hipotético que permite describir
algoritmos.
CARACTERISITICAS:
Puede estar formado por símbolos y códigos
definidos por el usuario.
Las reglas y sintaxis son mínimas, lo que
nos permite concentrarnos en la lógica del
algoritmo.
La semántica es la misma que la de los
lenguajes de programación.
Ing. Godofredo Poccori Umeres
Programación I
CONCEPTOS BÁSICOS…
Entrada/
Proceso Proceso Iterativo
Salida
Subprogra Si
Decisión
ma
No
{ Calcular el Área }
Area 3.1416 * Radio* Radio 314.16
Longitud 2*3.1416 * Radio 62.832
{ Escribir el Área }
ESCRIBIR Area
ESCRIBIR Longitud
FIN