AUTOMATED ACCOUNTING

Author: DÍAZ FERNÁNDEZ M. EUGENIA.
Year: 2004.
University: OVIEDO [www.uniovi.es].
Place of defense: DPTO. DE INFORMÁTICA.
Place of preparation: UNIVERSIDAD DE OVIEDO.

Summary: The test software is a process of verification and validation expensive but critical to ensuring their quality. The goal of the methods of generating test cases is to get a set of test cases that allow sufficient evidence (effectiveness), where the costs are acceptable (efficiency). Since the manual generation of test cases is a very costly and also, as the system grows, its effectiveness is often diminished, a very important aspect of the test that needs to be automated is the generation of test cases. In this thesis develops a new method for automatic generation of test cases from the program code and based on the technique metaheurística called "Search Taboo." This method is capable of, with slight variations, automatically generate test cases for several structural criteria: coverage of branches, covering condition / decision coverage of the test loops and basic way. The results obtained by the method developed is compared with the results available to other existing automatic generators, showing how Taboo developed method is effective and efficient.

Author: ONIEVA GONZÁLEZ JOSÉ ANTONIO.
Year: 2005.
University: MÁLAGA [www.uma.es].
Place of defense: INFORMÁTICA.
Place of preparation: INFORMÁTICA.

Summary: There is no doubt that one of the elements that have influenced the rapid development of Internet electronic commerce. Even when a handshake was enough in some traditional businesses, for most business transactions, trust is not enough. Unfortunately, computer systems today often require us to trust in the other participating entities. It would be better if we could demonstrate when an entity is trying to gain advantage so dishonest in a transaction. Particularly in complex environments such as the Internet. The mechanisms no-repudio provide us with the means to generate irrefutable evidence for our transactions. They can be used to prove who was involved, what related transaction, and whether a transaction has been successfully concluded for all participants. We need a new step in the service no-repudio: designing protocols no-repudio with an abstraction in the number (n) of participants. Early solutions presented in this thesis, to appear served no-repudio multipart. We extend an existing protocol of NRM (Multi Non-Repudiation) to allow an author to send different messages to multiple recipients in one transaction. Diseñanos protocol no-repudio in which an intermediate entity unreliable helps users collect and store presently available. As support for our designs, we study and implement a simulation model oriented events that allows us to estimate the parameters temporary used in the design of our solutions. Growth an application EMC (Certified Electronic Mail) Property timeliness and multicasting and study the problem of digital signatures multipart contract with an analysis and new solutions. Finally, we study scenarios that could integrate service no-repudio multipart. There are many potential candidates, but among them select an application DRM based on the platform on which WCO moreover implement the protocol has been designed, a practical protocol payment for the distribution of content on P2P networks incorporating ownership no-repudio through an intermediary and analyze this property in a solution of defense against truncation of the results accumulated by a mobile agent.