Universidad Tecnológica de PueblaAuditoría de sistemas de calidad de TIEnrique Delgado Tecayehuatl

Evaluación del software

Nombre: “MicroDescuentos”

Uso: Práctica básica de Auditoría de sistemas de TI

Descripción: Programa ejecutable bajo la plataforma .NET, que calcula el descuento del monto ingresado por el usuario, dónde si su compra (precio) es mayor a 1,000 pesos tendrá por consecuencia un descuento del 20%.

Especificación del programa

1. ¿Se han inicializado todas las variables del programa antes de usarlas?2. ¿Están especificadas todas las entradas al sistema, incluyendo su

origen, precisión, rango de valores y frecuencia?3. ¿Están especificadas todas las salidas al sistema, incluyendo su origen,

precisión, rango de valores, frecuencia y formato?4. ¿Se ha especificado, para todas aquellas operaciones que sea necesario,

el tiempo esperado de respuesta desde el punto de vista del usuario?5. ¿Se han especificado todas las tareas que el usuario desea realizar?

Lista de Comprobación

6. ¿Se ha especificado la fiabilidad incluyendo las consecuencias de los fallos del software, información vital que ha de protegerse de fallos, detección de errores y recuperación de los mismos?

7. ¿Se comportan las comprobaciones if-then correctamente con la igualdad?

8. ¿Es la cláusula “else” correcta?9. ¿Se usan las expresiones: “verdadero” y “falso” en lugar de 1 y 0?10. ¿Se han ocultado todas las estructuras de datos con funciones de

acceso?

Lista de Comprobación

11. Si hay ciclos, ¿Terminan todos los bucles?12. ¿Están correctamente puestos los paréntesis y/o llaves en las

sentencias?13. ¿Tiene comentarios de estructuración del código en el mismo código?14. ¿Se ha especificado el límite de memoria RAM a usar?15. ¿Se ha especificado el límite de almacenamiento?16. ¿Se usan todas las variables definidas?17. ¿Se libera la memoria dinámica cuando ya no se necesita más?18. ¿Se han tenido en cuenta todas las posibles condiciones de error?

Lista de Comprobación

http://codepad.org/LJ0uLSJk

Código fuente

Herramienta para el análisis estático

The end