Acerca de
Quick review of past work…
Actividad
-
‼‼ Charla DevOps para HPC en #FaMAF ‼‼ 📒 "spack-gantry: Asignación Dinámica de Recursos en Infraestructura de Compilación Distribuida en…
‼‼ Charla DevOps para HPC en #FaMAF ‼‼ 📒 "spack-gantry: Asignación Dinámica de Recursos en Infraestructura de Compilación Distribuida en…
Recomendado por 🧉 Tomás Hayes
-
Look at how well AI handles mirror surfaces 😳collab with James Perlman #ad made for NVIDIA using instant-ngp Our biggest challenge was trying to…
Look at how well AI handles mirror surfaces 😳collab with James Perlman #ad made for NVIDIA using instant-ngp Our biggest challenge was trying to…
Recomendado por 🧉 Tomás Hayes
Experiencia y educación
-
momox GmbH
Mira la experiencia completa de 🧉
Mira su cargo, antigüedad y más
o
Licencias y certificaciones
Publicaciones
-
PEF: Python Error Finder
FaMAF
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…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 .
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.Otros autores -
Idiomas
-
Español
Competencia bilingüe o nativa
-
Inglés
Competencia bilingüe o nativa