Complutense University Library

Generador automático de casos de prueba unitarios para Junit

Sáez Bertrand, Jaime and Rodríguez Acero, Fernando (2010) Generador automático de casos de prueba unitarios para Junit. [Coursework] (Unpublished)

[img]
Preview
PDF
698kB
View download statistics for this eprint

==>>> Export to other formats

Abstract

Este trabajo está muy ligado al proyecto Pet. El objetivo de este programa es la generación automática de casos de prueba partiendo de un byte code de java (JBC). El sistema recibe como entrada un JBC y devuelve un conjunto de casos de prueba. Inspeccionando dichos casos se pueden detectar las situaciones conflictivas y/o especiales del programa, bajo las cuales se puede determinar si la aplicación funciona. Este conjunto de test cases son devueltos de manera implícita en términos Prolog, indicando los
valores de entrada, salida y sus heaps correspondientes.
Este proyecto también está relacionado con las pruebas unitarias y con Junit, framework que permite realizar la ejecución de clases Java de manera controlada, permitiendo evaluar si el funcionamiento de cada uno de los métodos de la clase se comporta como se espera.
El objetivo de este proyecto de fin de carrera radica en añadir a Pet la funcionalidad de crear automáticamente un archivo Junit con todos los métodos de prueba necesarios, automatizando por completo el trabajo del testing unitario y ahorrando mucho tiempo y esfuerzo al desarrollador del
software. Para ello recoge los casos de prueba y demás información relevante de la base de conocimiento de Pet, analiza estos datos y genera un archivo con el código necesario para testear los métodos creando e inicializando todos los objetos necesarios.
[ABSTRACT]
This work is related to the PET project. The objective of PET is to automatically generate test cases from a Java byte code (JBC) program.
The system receives as input a JBC and returns a set of test cases. From such test case, it is possible to spot erroneous situations and/or special program executions, from which the user can determine if the application
works correctly. This set of test cases are returned in the form of Prolog terms, which contain the values of input, output and their respective heaps.
This project is also related to unit testing and thus Junit. This framework enables the execution of Java classes in a testing mode which in turn allows the user to evaluate whether the execution of each of the methods of the class behaves as expected.
The goal of this master thesis is to extend PET with the functionality to automatically create Junit class. This way we achieve complete automation of the unit testing process and save much time and effort to the software developer. The main contribution is taking the test cases and other relevant information from the database of PET and parsing this information in order to generate a Java file with the code to test the methods, creating and initializing all necessary objects.

Item Type:Coursework
Additional Information:Proyecto de Sistemas Informáticos (Facultad de Informática, Curso 2009-2010)
Uncontrolled Keywords:Junit, Pet, Testing unitario, Generador automático, Java, Reflection, Prolog
Subjects:Sciences > Computer science > Expert systems (Computer science)
Sciences > Computer science > Programming languages (Electronic computers)
ID Code:11272
Deposited On:27 Oct 2010 07:09
Last Modified:06 Feb 2014 09:00

Repository Staff Only: item control page