{"id":58049,"date":"2018-03-09T22:45:54","date_gmt":"2018-03-09T22:45:54","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/generacion-de-casos-de-prueba-para-composiciones-de-servicios-web\/"},"modified":"2018-03-09T22:45:54","modified_gmt":"2018-03-09T22:45:54","slug":"generacion-de-casos-de-prueba-para-composiciones-de-servicios-web","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencia-de-los-ordenadores\/generacion-de-casos-de-prueba-para-composiciones-de-servicios-web\/","title":{"rendered":"Generacion de casos de prueba para composiciones de servicios web"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jose Garcia Fanjul <\/strong><\/h2>\n<p>En los \u00faltimos a\u00f1os se ha detectado un importante y sostenido aumento en la inversi\u00f3n que las empresas dedican al desarrollo de software basado en servicios (soas). El desarrollo de soas y, especialmente, los procesos de prueba de este tipo de software plantean un reto a los ingenieros que algunos autores califican como un cambio de paradigma en la ingenier\u00eda del software. Entre los retos que deben afrontarse en los procesos de prueba cabe destacar, por ejemplo, la falta de informaci\u00f3n homog\u00e9nea acerca de los servicios disponibles y el coste asociado a la ejecuci\u00f3n de soas. Una parte muy importante de los soas existentes hoy en d\u00eda son composiciones de servicios y, concretamente, aquellas especificadas utilizando el est\u00e1ndar bpel, que se ha convertido en un est\u00e1ndar de facto. en esta tesis se describe un m\u00e9todo sistem\u00e1tico de generaci\u00f3n de casos de prueba para composiciones de servicios especificadas en el lenguaje bpel. Se utiliza el comprobador de modelos spin para generar autom\u00e1ticamente las especificaciones de los casos. Inicialmente se expone c\u00f3mo obtener un modelo de comportamiento operacional expresado en el lenguaje promela (el lenguaje de entrada de spin) a partir de la especificaci\u00f3n de una composici\u00f3n de servicios expresada en bpel. A continuaci\u00f3n en el m\u00e9todo se aplica un criterio de suficiencia dado, lo que se traduce en la instrumentaci\u00f3n del modelo promela y la obtenci\u00f3n sistem\u00e1tica de un conjunto de requisitos de prueba. En la tesis se utilizan dos criterios de suficiencia diferentes basados en transiciones: cobertura de transiciones y cobertura de pares de transiciones adyacentes. Cada uno de los requisitos se transforma en una propiedad en l\u00f3gica temporal ltl que se incluye como entrada de la herramienta spin. Al ejecutar el comprobador de modelos, se obtendr\u00e1 un contraejemplo que cumple, al menos, el requisito incluido en la f\u00f3rmula y que se transforma en un caso de prueba. Pa ilustrar y validar el m\u00e9todo, se incluyen do<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Generacion de casos de prueba para composiciones de servicios web<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Generacion de casos de prueba para composiciones de servicios web <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jose Garcia Fanjul <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Oviedo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 20\/04\/2007<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Pablo Tuya Gonzalez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: pere Botella l\u00f3pez <\/li>\n<li>Jos\u00e9 Javier Dolado cos\u00edn (vocal)<\/li>\n<li>Miguel Toro bonilla (vocal)<\/li>\n<li>isabel Ramos roman (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jose Garcia Fanjul En los \u00faltimos a\u00f1os se ha detectado un importante y sostenido aumento en la [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1890,8846],"tags":[47248,128270,62594,14675,128271,15853],"class_list":["post-58049","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-oviedo","tag-isabel-ramos-roman","tag-jose-garcia-fanjul","tag-jose-javier-dolado-cosin","tag-miguel-toro-bonilla","tag-pablo-tuya-gonzalez","tag-pere-botella-lopez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/58049","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=58049"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/58049\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=58049"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=58049"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=58049"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}