Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Verificación y validación"”.
-
Verificación y validación de composiciones de servicios web en ws-bpel con prueba metamórfica
… (uno para cada versión del método), abordando la verificación y validación de composiciones de servicios web en WS-BPEL empleando pruebas metamórficas. Para la validación del conjunto de casos de pruebas obtenido en los casos de estudio se ha utilizado la prueba de mutaciones. En el caso de caja …
-
Aportación al diseño de aplicaciones de tiempo real sobre arquitecturas paralelas
… o distribuidas. El entorno propuesto permite la verificación y validación del STR desde una óptica marcadamente experimental, contrastando con análisis más formales como el popular RMA (Rate Monotonic Analysis), que también son aplicables de forma complementaria, con objeto de obtener sistemas …
-
Prueba de Mutación Evolutiva en Entornos Orientados a Objetos
La prueba de mutaciones es reconocida como un potente método para evaluar la fortaleza de un conjunto de casos de prueba en la detección de posibles fallos en el código. No obstante, la aplicación de esta técnica es costosa, lo cual ha supuesto normalmente un obstáculo para una mayor acogida de la …
-
Contribution to the automation of software quality control of web applications
… El control de calidad (también conocido como verificación y validación) es el conjunto de actividades dirigidas a evaluar un sistema software con el objetivo de asegurar la calidad del mismo. El control de calidad es por tanto el proceso encargado de asegurar que se cumplen los requisitos de …