{"id":92265,"date":"2018-03-11T10:11:15","date_gmt":"2018-03-11T10:11:15","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/marcos-temporales-y-probabila%c2%adsticos-para-testing-formal\/"},"modified":"2018-03-11T10:11:15","modified_gmt":"2018-03-11T10:11:15","slug":"marcos-temporales-y-probabila%c2%adsticos-para-testing-formal","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/marcos-temporales-y-probabila%c2%adsticos-para-testing-formal\/","title":{"rendered":"Marcos temporales y probabil\u00edsticos para testing formal"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Mercedes Garcia Merayo <\/strong><\/h2>\n<p>Null los m\u00e9todos formales son t\u00e9cnicas con base matem\u00e1tica que se utilizan tanto para el dise\u00f1o y an\u00e1lisis de sistemas como para la evaluaci\u00f3n de su correcci\u00f3n. El uso de m\u00e9todos formales es especialmente relevante en sistemas en los que es importante ase gurar que durante el proceso de desarrollo no se han producido errores. La representaci\u00f3n formal de estos sistemas permite un an\u00e1lisis riguroso de sus propiedades. En particular, permite establecer la correcci\u00f3n del sistema con respecto a su especifi caci\u00f3n y, por tanto, asegurar su calidad. El m\u00e9todo anal\u00edtico de mayor aplicaci\u00f3n en entornos industriales orientado a dicho objetivo es el testing.  inicialmente, los m\u00e9todos de testing estaban orientados al chequeo de aspectos cualitativos del sist ema.  Sin embargo, una gran parte de los sistemas desarrollados requieren considerar no s\u00f3lo las acciones que se pueden ejecutar sino tambi\u00e9n los aspectos cuantitativos asociados con dichas acciones. Entre estas cabe destacar tanto condiciones tempor ales como probabil\u00edsticas, que juegan un papel decisivo a la hora de establecer la correcci\u00f3n de los sistemas. Un primer paso para poder realizar testing formal de sistemas que presentan este tipo de restricciones es la extensi\u00f3n de los lenguajes de especificaci\u00f3n  con elementos que permitan expresar dichas propiedades. As\u00ed mismo, las nociones de correcci\u00f3n deben adecuarse para tener en cuenta la dimensi\u00f3n temporal y\/o probabil\u00edstica. De un modo similar, los algoritmos de generaci\u00f3n de tests deb en ser adaptados para tratar con dichos requerimientos.  el principal objetivo de esta tesis es la extensi\u00f3n de los m\u00e9todos formales utilizados en las metodolog\u00edas para el testing de sistemas, de modo que estos puedan ser aplicados a sistemas con res tricciones temporales referentes al tiempo consumido por las acciones, el tiempo de espera del sistema para recibir una reacci\u00f3n del entorno, la probabilidad de que una acci\u00f3n tenga lugar, o la probabilidad de que una acci\u00f3n consuma una determinada c antidad de tiempo en su ejecuci\u00f3n. Junto a ello, la aplicaci\u00f3n de tests para la comprobaci\u00f3n de dichas propiedades y la obtenci\u00f3n de diagn\u00f3sticos respecto a la correcci\u00f3n de los sistemas, es un objetivo prioritario de nuestro trabajo.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Marcos temporales y probabil\u00edsticos para testing formal<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Marcos temporales y probabil\u00edsticos para testing formal <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Mercedes Garcia Merayo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 16\/03\/2009<\/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>Manuel N\u00fa\u00f1ez Garc\u00eda<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Fernando Lopez pelayo <\/li>\n<li>  (vocal)<\/li>\n<li>  (vocal)<\/li>\n<li>  (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Mercedes Garcia Merayo Null los m\u00e9todos formales son t\u00e9cnicas con base matem\u00e1tica que se utilizan tanto para [&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":[1],"tags":[143039,39796,190914],"class_list":["post-92265","post","type-post","status-publish","format-standard","hentry","category-sin-categoria","tag-fernando-lopez-pelayo","tag-manuel-nunez-garcia","tag-mercedes-garcia-merayo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/92265","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=92265"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/92265\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=92265"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=92265"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=92265"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}