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 “"Prueba de mutaciones"”.
-
Aplicación de la prueba de mutaciones a composiciones de servicios web en WS-BPEL para la generación de casos de prueba de calidad
La prueba de mutaciones ha sido objeto de múltiples trabajos de investigación durante los últimos 30 años; sin embargo, aún hoy día sigue presentando algunos problemas que no están resueltos, como la determinación de los programas semánticamente equivalentes, el coste computacional implicado en la …
-
Generación Automática de Casos en Procesamiento de Eventos con EPL
La aplicación en diversas áreas de Internet de las Cosas (IoT) ha ido en aumento en los últimos años. Uno de los principales inconvenientes que tienen los sistemas IoT es la cantidad de información que tienen que manejar. Esta información llega en forma de eventos, cuyo receptor ha de tomar las …
-
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 …
-
Verificación y validación de composiciones de servicios web en ws-bpel con prueba metamórfica
En la actualidad, el software forma parte del día a día de la gran mayoría de las personas. Los objetos cotidianos y las herramientas que utilizamos para trabajar, comunicarnos o simplemente realizar tareas cotidianas de forma más eficiente, dependen de código para poder funcionar. Esta dependencia …