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 5 of 5 for “"prueba de software"”.
-
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 …
-
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 …
-
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 …
-
Metodología dirigida por modelos para las pruebas de un sistema distribuido multiagente de fabricación
Las presiones del mercado han empujado a las empresas de fabricación a reducir costes a la vez que mejoran sus productos, especializándose en las actividades sobre las que pueden añadir valor y colaborando con especialistas de las otras áreas para el resto. Estos sistemas distribuidos de …
-
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL
… a servicios están cambiando la filosofía de desarrollo de software en muchos entornos. El uso de servicios web facilita significativamente la interoperabilidad entre sistemas, permitiendo programar sistemas de gran tamaño usando otros más simples de manera sencilla. El principal lenguaje …