TY  - THES
AU  - García Castillo, Pedro
A3  - Peña Marí, Ricardo
PY  - 2017
UR  - https://hdl.handle.net/20.500.14352/20535
AB  - Una de las partes más costosas dentro del desarrollo de programas es el testeo, ya que requiere un gran esfuerzo humano para poder especificar los diferentes casos de prueba, lanzarlos y analizar los resultados. Ello provoca que en la mayoría de los...
AB  - One of the most costly parts in software development is testing because it requires a lot of human effort to be able to specify all the test cases launch them and analise all their results. This leads to the problems of most of the programms not being...
LA  - spa
KW  - Prueba
KW  - Verificación
KW  - Automática
KW  - Caja negra
KW  - Pruebas basadas en asertos
KW  - Testing
KW  - Verification
KW  - Automatic
KW  - Black box
KW  - Assertion based testing
TI  - Case Generator : implementación de una herramienta de pruebas basadas en asertos para una plataforma de verificación
M3  - bachelor thesis
ER  -