En el siguiente trabajo se realizara un informe de auditora informtica a una tesis de la
carrera de ingeniera informtica que plantea una resolucin de un UCTP con algoritmos de colonias de hormigas. La tesis que decidimos analizar trata sobre como poder solucionar el problema que existe en la universidad con respecto a los horarios, dado que estos se generan de forma manual y se pretende que sea con el uso de tecnologa para generar los horarios automticamente, basndose principalmente en los algoritmos de colonias de hormigas para resolver este problema. Por lo tanto nosotros debemos averiguar si cumple con la metodologa de trabajo para realizar el software adems de verificar el lenguaje de programacin y las tcnicas y meta heursticas ocupadas en el desarrollo, luego se har una verificacin de los objetivos tanto generales como especficos a modo de llevar a cabo la auditoria. Esta auditoria es un examen que se realiza con carcter objetivo, crtico, sistemtico y selectivo con el fin de evaluar la eficiencia y la eficacia del uso adecuado de los recursos informticos, es por esto que pretendemos verificar que en la tesis seleccionada se cumpla la metodologa, tcnicas, objetivos, lenguaje de programacin, entre otros. Por consiguiente se realizaran las conclusiones que se obtuvieron del anlisis de la tesis auditada, adems de las posibles recomendaciones y soluciones que pudieran existir.
Planteamiento del problema El problema planteado es, verificar que la tesis analizada cumpla con la metodologa de trabajo, objetivos planteados, codificacin del software, lenguaje de programacin usado y tcnicas utilizadas, para poder detectar algn posible fallo y los puntos crticos en el sistema para as poder dar las conclusiones y recomendaciones pertinentes al caso. Objetivo general Determinar si los procesos y funciones realizados en la tesis son correctos. Objetivos especficos Establecer en base a la tesis analizada cumplimiento de metodologa y tcnicas para el desarrollo del software.
Verificar correcta solucin al problema planteado.
Encontrar los puntos crticos y ejecutar pruebas y controles. Tareas 1. Comprobar veracidad de la metodologa, tcnicas y software realizado. 2. Comprobar que el software fue realizado segn la metodologa descrita. 3. Detectar algn posible error. 4. Establecer conclusiones y recomendaciones pertinentes
Programa de revisin
Revisin preliminar La Revisin Preliminar significa la recoleccin de evidencias por medio de entrevistas con el personal de la instalacin, la observacin de las actividades en la instalacin y la revisin de la documentacin preliminar, en este caso que es la revisin de una tesis la recoleccin de evidencias son la tesis en s y no hay entrevistas con el personal sino ms bien leer la tesis para obtener la informacin, la observacin de las actividades va abocado a ver si se cumple o no los procedimientos en la tesis y la revisin de documentacin que tenemos es la tesis ms toda la informacin que podamos encontrar en internet acerca de los procedimientos utilizados. Por lo tanto la revisin preliminar es el primer paso en el desarrollo de la auditora, despus de la planeacin, es objetivo de esto es obtener informacin necesaria para tomar la decisin de cmo proceder en la auditora. Al terminar la revisin preliminar puede proceder a seguir uno de los tres caminos:
Revisin detallada Los mtodos de obtencin de informacin son los mismos usados en la investigacin preliminar y lo nico que difiere es su profundidad con la que se obtiene y evala, el objetivo es obtener la informacin necesaria para que el auditor tenga un profundo entendimiento de los controles usados dentro del rea de informtica.
Examen y evaluacin de la informacin Se debe tener la informacin de todos los asuntos relacionados con los objetivos y alcances de la Auditora. La informacin deber ser suficiente, competente, relevante y til para que proporcione bases slidas en relacin con los hallazgos y recomendacin de la auditora.
Diseo de la Auditora Realizar una revisin detallada de los controles internos Decidir no confiar en los controles internos. Pruebas Sustantivas Obtener evidencia suficiente que permita emitir un juicio en las conclusiones acerca de cundo pueden ocurrir prdidas materiales durante el procesamiento de la informacin. Las pruebas sustantivas son: 1. Pruebas para identificar errores en el procesamiento. 2. Pruebas para asegura la calidad de los datos. 3. Pruebas para identificar la inconsistencia de los datos. 4. Pruebas para comparar con los datos. 5. Confirmacin de datos con fuentes externas. 6. Pruebas para confirmar la adecuada comunicacin. 7. Pruebas para determinar la falta de seguridad. 8. Pruebas para determinar problemas de legalidad.
Conclusiones Obtener a travs de la tesis analizada conclusiones especficas, recomendaciones y posibles soluciones tras analizar la tesis y encontrar los puntos crticos.
Por lo tanto el programa de revisin que utilizaremos son los pasos de la auditoria, los que son:
Realizar una investigacin preliminar de la tesis. Realizar una investigacin detallada. Examen y evaluacion de la informacion obtenida en la tesis. Se realizan pruebas sustantivas de los procedimientos. Dar una conclusion de la tesis analizada con recomendaciones pertinentes. Informacin Informacin general La tesis que decidimos auditar tiene por ttulo Planteamiento de resolucin de un UCTP con algoritmos de colonias de hormigas para la carrera de Ingeniera en Informtica de la Universidad de Playa Ancha. Lo que se quiere lograr con esta tesis es poder generar horarios automticamente para la Universidad de Playa Ancha y en especial para la carrera de Ingeniera informtica, esta tesis plantea como problema inicial la generacin de horarios dado que estos se hacen manualmente y se quiere usar la tecnologa para poder generar horarios optimizados automticamente de modo que no existan topes de horarios, adems de asignar horarios a los profesores basndose en la disponibilidad de sus horarios. Informacin detallada El software toma distintas restricciones que la asignatura o el profesor pudiera tener como la carga acadmica, disponibilidad de horarios, cantidad de periodos semanalmente, etc. Con la utilizacin de la metaheurstica ACO y algoritmos max-min se aborda el problema de los horarios por lo cual hay que estudiar el comportamiento de las hormigas y como estas buscan su alimento para poder resolver el problema. El objetivo general es proponer una mejora en el sistema de horarios para la Universidad de Playa Ancha, con la ayuda del algoritmo ACO y los objetivos especficos son plantear una solucin a travs de un algoritmo de optimizacin de colonias de hormigas, analizar las posibles restricciones que influyan en el desarrollo del algoritmo. Metodologa aplicada La metodologa aplicada es metodologa de desarrollo en cascada, comenzando con los requerimientos que eran necesarios para el desarrollo, luego viene el desarrollo donde est la etapa de diseo y se esquematizan las funcionalidades y las relaciones con los usuarios del sistema, luego se disea el modelo de datos, el modelo de casos de uso y el diagrama de clases. Lenguaje de programacin y Herramientas de desarrollo Las herramientas de desarrollo para la aplicacin son Microsoft visual studio 2010, trabajando con el lenguaje C# y Microsoft SQL server 2008 para modelar la base de datos e interactuar con Visual Studio.
Tcnicas utilizadas Algoritmos heursticas; algoritmos constructivos, algoritmos de descomposicin y divisin, algoritmos de reduccin, algoritmos de manipulacin del modelo, algoritmos de bsqueda que se clasifican en; algoritmos genticos, simuleated annealing, bsqueda tabu, algoritmos de colonia de hormigas, GRASP, entre otros.
Procedimientos de auditoria
Los procedimientos de auditora debern ser elegidos con anterioridad, cuando esto sea posible, modificarse cuando las circunstancias lo requieran. Se requieren varios pasos para realizar una auditora, se debe evaluar los riesgos globales y luego desarrollar un programa de auditoria que consta de objetivos de control y procedimientos de auditoria que deben satisfacer esos objetivos. El procedimiento de auditoria exige reunir evidencia, evaluar fortalezas y debilidades de los controles existentes basado en la evidencia recopilada, preparar un informe de auditora que presente esos temas en forma objetiva. Los procedimientos de la auditora informtica varan sin embargo, existen ciertas tcnicas y/o procedimientos que son compatibles en la mayora de los ambientes de informtica. Estas tcnicas caen en dos categoras: mtodos manuales y mtodos asistidos por computadora. Entonces segn la definicin nosotros usaremos procedimientos manuales para evaluar la tesis, los cuales se refieren a la obtencin y evaluacin de material manualmente sin programas de auditoria, donde se dividirn las tareas entre los integrantes del grupo, se recopilara la informacin y se evaluara si es consistente y congruente, realizando distintos controles, para luego obtener una conclusin sobre la tesis analizada mediante la cual se puedan hacer recomendaciones pertinentes acerca del trabajo realizado en la tesis viendo si esta cumple o no los objetivos planteados y si usa las tcnicas nombradas para la realizacin del software final.