CONTABILIDAD AUTOMATIZADA

Autor: DÍAZ FERNÁNDEZ M. EUGENIA.
Año: 2004.
Universidad: OVIEDO [www.uniovi.es].
Centro de lectura: DPTO. DE INFORMÁTICA.
Centro de realización: UNIVERSIDAD DE OVIEDO.

Resumen: La prueba del software es un proceso de verificación y validación caro pero fundamental para asegurar su calidad. El objetivo de los métodos de generación de casos de prueba es obtener un conjunto de casos de prueba que permitan realizar una prueba suficiente (eficacia) y cuyo coste sea aceptable (eficiencia). Puesto que la generación manual de casos de prueba es una tarea muy costosa y además, a medida que el sistema aumenta, su eficacia suele disminuir, un aspecto muy importante de la prueba que necesita ser automatizado es la generación de casos de prueba. En esta tesis se desarrolla un nuevo método de generación automática de casos de prueba a partir del código del programa y basado en la técnica metaheurística denominada "Búsqueda Tabú". Este método es capaz de, con ligeras variaciones, generar automáticamente casos de prueba para varios criterios estructurales: cobertura de ramas, cobertura de condición/decisión, cobertura de bucles y prueba del camino básico. Los resultados obtenidos por el método desarrollado son comparados con los resultados disponibles para otros generadores automáticos existentes, mostrando cómo el método Tabú desarrollado es eficaz y eficiente.

Autor: ONIEVA GONZÁLEZ JOSÉ ANTONIO.
Año: 2005.
Universidad: MÁLAGA [www.uma.es].
Centro de lectura: INFORMÁTICA.
Centro de realización: INFORMÁTICA.

Resumen: Nadie duda que uno de los elementos que han influido en el rápido desarrollo de Internet es el comercio electrónico. Aun cuando un apretón de manos es suficiente en algunos negocios tradicionales, para la mayoría de las transacciones de negocio, la confianza no es suficiente. Desafortunadamente, los sistemas informáticos de hoy requieren a menudo que confiemos en el resto de entidades participantes. Sería mejor si pudiéramos demostrar cuando una entidad está intentado obtener ventaja de forma deshonestas en una transacción. Particularmente en ambientes complejos tales como Internet. Los mecanismos de no-repudio nos proveen con los medios para generar evidencias irrefutables para nuestras transacciones. Pueden ser utilizadas para probar quién ha participado, sobre qué versaba la transacción, y si una transacción ha terminado con éxito para todos los participantes. Es necesario un nuevo paso en el servicio de no-repudio: el diseño de protocolos de no-repudio con una abstracción en el número (n) de participantes. Las primeras soluciones presentadas en esta tesis, aparecen para el servido de no-repudio multiparte. Ampliamos un protocolo existente de MNR (Multi-Party Non-Repudiation) para permitir que un autor envíe diferentes mensajes a varios recipientes en una sola transacción. Diseñanos un protocolo de no-repudio en el que una entidad intermediaria no confiable ayuda a los usuarios a obtener y almacenar existentes en la actualidad. Como apoyo a nuestros diseños, estudiamos e implementamos un modelo de simulación orientado a eventos que nos permite estimar los valores de los parámetros temporales usados en el diseño de nuestras soluciones. Mejoramos una aplicación CEM (Certified Electronic Mail) con propiedad timeliness y multicasting y estudiamos el problema de firmas digitales de contrato multiparte con un análisis y nuevas soluciones. Por último, estudiamos escenarios susceptibles de integrar el servicio de no-repudio multiparte. Muchos son los posibles candidatos, pero entre ellos seleccionaremos una aplicación de DRM basada en la plataforma OMA en la que por añadidura implementamos el protocolo que ha sido diseñado; un protocolo práctico de pago para la distribución de contenido en redes P2P que incorpora la propiedad de no-repudio a través de un intermediario y también analizamos esta propiedad en una solución de defensa contra el truncamiento de los resultados acumulados por un agente móvil.