CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

PEF: Python Error Finder / Bordese, Andrés M. , Hayes, Tomás.

By: Bordese, Andrés Matías, 1988-.
Contributor(s): Hayes, Tomás, 1991- | Barsotti, Damián, 1969- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2014Description: ix, 190 p. : il. ; 30 cm.Subject(s): Testing and Debugging | Testing tools | Debugging aids | Ejecución simbólica | Python | Proxy | Error | TeestingOnline resources: Acceso a Versión Digital | Acceso RDU-UNC Disponible en línea.Dissertation note: Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. Summary: La verificación del correcto funcionamiento de los sistemas es uno de los aspectos más importante del desarrollo de software, y a su vez, uno de los más costosos de llevar a cabo. El testing tradicional y la verificación de modelos requiere mucho esfuerzo para lograr una buena cobertura de las posibles ejecuciones. En este trabajo, utilizamos y extendemos una técnica que combina ejecución simbólica, el poder de los razonadores recientes y la versatilidad de lenguajes puramente orientados a objetos, para crear una librería que explora y describe los caminos de un programa, detectando errores de manera automática y facilitando posteriormente, la generación de tests. Presentaremos a PEF, una herramienta novedosa que hace uso de la técnica mencionada para detectar errores en programas escritos en Python 3 con muy poco esfuerzo por parte del usuario. Mostraremos la arquitectura del motor de ejecución simbólica y los aspectos fundamentales del lenguaje necesarios para construir el motor en forma de librería, sin tener que re-implementar el intérprete, como es usual en proyectos similares. También explicaremos el sistema de contratos que incorporamos para indicar pre y post condiciones que se desean aplicar y validar en los programas a ser explorados por PEF.
Tags from this library: No tags from this library for this title.
Item type Current location Call number URL Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C BORp http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/17144.pdf 1 Available Disponible también en línea. 22201
Total holds: 0

Incluye apéndices.

Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.

Bibliografía : p. 133-143.

La verificación del correcto funcionamiento de los sistemas es uno de los aspectos más importante del desarrollo de software, y a su vez, uno de los más costosos de llevar a cabo.
El testing tradicional y la verificación de modelos requiere mucho esfuerzo para lograr una buena cobertura de las posibles ejecuciones. En este trabajo, utilizamos y extendemos una técnica que combina ejecución simbólica, el poder de los razonadores recientes y la versatilidad de lenguajes puramente orientados a objetos, para crear una librería que explora y describe los caminos de un programa, detectando errores de manera automática y facilitando posteriormente, la generación de tests.
Presentaremos a PEF, una herramienta novedosa que hace uso de la técnica mencionada para detectar errores en programas escritos en Python 3 con muy poco esfuerzo por parte del usuario.
Mostraremos la arquitectura del motor de ejecución simbólica y los aspectos fundamentales del lenguaje necesarios para construir el motor en forma de librería, sin tener que re-implementar el intérprete, como es usual en proyectos similares. También explicaremos el sistema de contratos que incorporamos para indicar pre y post condiciones que se desean aplicar y validar en los programas a ser explorados por PEF.

Disponible en línea.

La biblioteca posee 1 ej.

Click on an image to view it in the image viewer

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//