PEF: Python Error Finder
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis |
| Language: | spa |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/2766 |
| _version_ | 1801213493200814080 |
|---|---|
| author | Bordese, Andrés Matías Hayes, Tomás |
| author2 | Barsotti, Damián |
| author_facet | Barsotti, Damián Bordese, Andrés Matías Hayes, Tomás |
| author_sort | Bordese, Andrés Matías |
| collection | Repositorio Digital Universitario |
| description | Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. |
| format | bachelorThesis |
| id | rdu-unc.2766 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2016 |
| record_format | dspace |
| spelling | rdu-unc.27662022-10-13T11:31:53Z PEF: Python Error Finder Bordese, Andrés Matías Hayes, Tomás Barsotti, Damián Testing and Debugging Proxy Ejecución simbólica Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. 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. 2016-07-01T17:12:24Z 2016-07-01T17:12:24Z 2014-12 bachelorThesis http://hdl.handle.net/11086/2766 spa Atribución-NoComercial-CompartirIgual 2.5 Argentina http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ |
| spellingShingle | Testing and Debugging Proxy Ejecución simbólica Bordese, Andrés Matías Hayes, Tomás PEF: Python Error Finder |
| title | PEF: Python Error Finder |
| title_full | PEF: Python Error Finder |
| title_fullStr | PEF: Python Error Finder |
| title_full_unstemmed | PEF: Python Error Finder |
| title_short | PEF: Python Error Finder |
| title_sort | pef python error finder |
| topic | Testing and Debugging Proxy Ejecución simbólica |
| url | http://hdl.handle.net/11086/2766 |
| work_keys_str_mv | AT bordeseandresmatias pefpythonerrorfinder AT hayestomas pefpythonerrorfinder |