Introduccin

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.