Bibliotecas PUCV

Sistema de verificación automática y aleatoria en código en lenguaje C

Repositorio Dspace/Manakin

Buscar en DSpace


Búsqueda avanzada

Mostrar el registro sencillo del ítem

dc.contributor Figueroa Palet, Ismael
dc.creator Cerpa Villagra, Angelo Julián
Fecha Ingreso dc.date.accessioned 2021-10-21T02:25:06Z
Fecha Disponible dc.date.available 2021-10-21T02:25:06Z
Fecha en Repositorio dc.date.issued 2021-10-20
Resumen dc.description <p>Este documento presenta el proyecto de software de verificaci&oacute;n y testing Verific que pretende dar soluci&oacute;n a problemas relacionados con los casos de prueba en la plataforma CodeRunner -1-. Se presentar&aacute; herramientas que aportan a la resoluci&oacute;n de este problema, objetivos, diagrama general de la soluci&oacute;n, cat&aacute;logo de problemas seleccionados, esquema de la soluci&oacute;n espec&iacute;fica y conclusiones. Se espera como resultado esperado el concluir con totalidad los objetivos presentes en el siguiente informe</p>
Resumen dc.description <p>This paper presents the verification and testing software project Verific that tries to solve problems related to the test cases in the CodeRunner-1- platform. It will present tools that contribute to the resolution of this problem, objectives, general diagram of the solution, catalog of selected problems, schematic of the specific solution and conclusions. It is expected as an expected result, to fully meet the objectives presented in the following paper</p>
Resumen dc.description last modification
Resumen dc.description Ingeniero de Ejecución en Informática
Resumen dc.description INGENIERIA DE EJECUCION INFORMATICA
Resumen dc.description <p>Este documento presenta el proyecto de software de verificaci&oacute;n y testing Verific que pretende dar soluci&oacute;n a problemas relacionados con los casos de prueba en la plataforma CodeRunner -1-. Se presentar&aacute; herramientas que aportan a la resoluci&oacute;n de este problema, objetivos, diagrama general de la soluci&oacute;n, cat&aacute;logo de problemas seleccionados, esquema de la soluci&oacute;n espec&iacute;fica y conclusiones. Se espera como resultado esperado el concluir con totalidad los objetivos presentes en el siguiente informe</p>
Resumen dc.description <p>This paper presents the verification and testing software project Verific that tries to solve problems related to the test cases in the CodeRunner-1- platform. It will present tools that contribute to the resolution of this problem, objectives, general diagram of the solution, catalog of selected problems, schematic of the specific solution and conclusions. It is expected as an expected result, to fully meet the objectives presented in the following paper</p>
Formato dc.format PDF
Lenguaje dc.language spa
dc.rights autorizado
dc.source http://opac.pucv.cl/pucv_txt/txt-4000/UCC4131_01.pdf
Materia dc.subject Lenguajes de programación
Materia dc.subject LENGUAJE C
Materia dc.subject Control automático
Title dc.title Sistema de verificación automática y aleatoria en código en lenguaje C
Tipo dc.type texto


Archivos en el ítem

Archivos Tamaño Formato Ver

No hay archivos asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem