AUTOMATISIERTE BUCHHALTUNG

Autor: DÍAZ FERNÁNDEZ M. EUGENIA.
Jahr: 2004.
Universität: OVIEDO [www.uniovi.es].
Ort der Lesung: DPTO. DE INFORMÁTICA.
Ort der Vorbereitung: UNIVERSIDAD DE OVIEDO.

Inhaltsangabe: Die Prüfung von Software ist ein Prozess der Überprüfung und Bestätigung teuer, aber von entscheidender Bedeutung für die Gewährleistung ihrer Qualität. Das Ziel der Methoden zur Generierung von Testfällen ist es, eine Reihe von Testfällen, dass genügend Beweise (Effizienz), wobei die Kosten akzeptabel sind (Effizienz). Da die manuelle Erstellung von Testfällen ist ein sehr kostspielig und auch, wie das System wächst, ihre Wirksamkeit ist oft abgenommen, ein sehr wichtiger Aspekt der Prüfung werden muss ist die automatische Generierung von Testfällen. In dieser Arbeit entwickelt eine neue Methode für die automatische Generierung von Testfällen aus dem Programm Code und basiert auf der Technik metaheurística namens "Suche Tabu." Diese Methode ist in der Lage, mit leichten Variationen, automatisch generieren Testfälle für mehrere strukturelle Kriterien: Abdeckung von Zweigniederlassungen, die Voraussetzung / Entscheidung Abdeckung des Tests Loops und grundlegende Weise. Die Ergebnisse, die durch die entwickelte Methode ist im Vergleich mit den Ergebnissen für die anderen bestehenden automatischen Generatoren, die zeigen, wie Taboo entwickelten Methode ist effektiv und effizient.

Autor: ONIEVA GONZÁLEZ JOSÉ ANTONIO.
Jahr: 2005.
Universität: MÁLAGA [www.uma.es].
Ort der Lesung: INFORMÁTICA.
Ort der Vorbereitung: INFORMÁTICA.

Inhaltsangabe: Es besteht kein Zweifel daran, dass eines der Elemente, die Einfluss auf die rasante Entwicklung der Internet-E-Commerce. Selbst wenn ein Handschlag war genug in einigen traditionellen Unternehmen, für die meisten Geschäfte, Vertrauen ist nicht genug. Leider, Computer-Systeme erfordern heute oft zu uns Vertrauen in den anderen teilnehmenden Einrichtungen. Es wäre besser, wenn wir nachweisen können, wenn eine Person versucht zu gewinnen, so unehrlich Vorteil in einer Transaktion. Gerade in komplexen Umgebungen wie dem Internet. Die Mechanismen no-repudio uns mit den Mitteln zu generieren unwiderlegbare Beweise für unsere Geschäfte. Sie können verwendet werden, zu beweisen, wer war beteiligt, was damit verbundenen Transaktions-und ob eine Transaktion erfolgreich abgeschlossen wurde für alle Teilnehmer. Wir brauchen einen neuen Schritt in die Service-no-repudio: Gestaltung von Protokollen no-repudio mit einer Abstraktion in der Nummer (n) der Teilnehmer. Frühe Lösungen, die in dieser Arbeit zu erscheinen serviert no-repudio multipart. Wir erweitern ein bestehendes Protokoll der NRM (Multi Non-Rücktritt), über die ein Autor zu senden verschiedene Nachrichten an mehrere Empfänger in einer Transaktion. Diseñanos Protokoll no-repudio, in denen ein Zwischenprodukt Einheit unzuverlässig Benutzern hilft, zu sammeln und zu lagern derzeit verfügbar sind. Als Unterstützung für unsere Designs, wir studieren und Umsetzung eines Simulationsmodells orientierten Veranstaltungen, die es uns erlaubt die Schätzung der Parameter verwendet temporäre in der Gestaltung unserer Lösungen. Wachstum eine Anwendung EMC (Certified Electronic Mail) Immobilie Aktualität und Multicasting-Studie und das Problem der digitalen Signatur multipart Vertrag mit einer Analyse und neue Lösungen. Schließlich haben wir Studie Szenarien, die nicht integriert werden konnten Service-repudio multipart. Es gibt viele potenzielle Kandidaten, aber unter ihnen wählen Sie eine Anwendung auf der Grundlage der DRM-Plattform, auf der die Umsetzung der WZO zudem das Protokoll wurde konzipiert, ein praktisches Zahlungsmittel-Protokoll für den Vertrieb von Inhalten über P2P-Netzwerke, die Eigentumsverhältnisse nicht-repudio durch einen Vermittler und analysieren Diese Eigenschaft für eine Lösung der Verteidigung gegen Wortstammsuche der Ergebnisse, die von einem mobilen Agenten.