{"id":949,"date":"2021-09-24T18:40:14","date_gmt":"2021-09-24T18:40:14","guid":{"rendered":"https:\/\/dsd.webs.upv.es\/?page_id=949"},"modified":"2021-10-11T15:32:10","modified_gmt":"2021-10-11T15:32:10","slug":"idea-principal","status":"publish","type":"page","link":"https:\/\/dsd.webs.upv.es\/?page_id=949","title":{"rendered":"Idea principal"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\"><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Nuestra idea principal es ver de conseguir una verificaci\u00f3n \u00abrandom\u00bb, de forma que podamos de manera suficientemente automatizada, probar todos los casos de verificaci\u00f3n que nos hemos propuesto en nuestro plan de verificaci\u00f3n.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Para ello debemos seguir los siguientes pasos<\/p>\n\n\n\n<ol class=\"wp-block-list\"><li>Generar pruebas aleatorias usando \u201crandom constrained stimuli generation\u201d(RCSG). <\/li><\/ol>\n\n\n\n<ul class=\"wp-block-list\"><li><strong><span class=\"has-inline-color has-red-color\">ACCI\u00d3N DEFINICION<\/span><\/strong>: Se definen variables  aleatorias y restricciones que deben de cumplir cada vez que sea aleatorizadas<\/li><li><strong><span class=\"has-inline-color has-red-color\">ACCI\u00d3N RANDOMIZACI\u00d3N<\/span><\/strong>: Se pide al \u201crandom solver\u00bb que encuentre un conjunto aleatorio de variables que satisfaga las restricciones<\/li><li><strong><span class=\"has-inline-color has-red-color\">ACCI\u00d3N DRIVER<\/span><\/strong>: Los valores obtenidos son conducidos a las entradas del DUV<\/li><\/ul>\n\n\n\n<ol class=\"wp-block-list\" start=\"2\"><li>Observamos en el DUV si hay errores en los comportamientos esperados y los corregimos si los hay<\/li><li>Comprobamos el grado de cobertura funcional conforme voy estimulando mi DUV con los nuevos est\u00edmulos que estoy generando.  Si no satisface ciertos casos (porque no llega a probarlos) o avanza demasiado lentamente a la hora de comprobar nuevos casos, quiz\u00e1 sea necesario agregar nuevas restricciones, deshabilitarlas o redirigirlas  y repetir desde  1 para mejorar la cobertura .<\/li><\/ol>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Vamos pues a centrarnos en c\u00f3mo y donde hacer estas <strong><span class=\"has-inline-color has-red-color\">ACCIONES<\/span><\/strong> del punto 1<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Nuestra idea principal es ver de conseguir una verificaci\u00f3n \u00abrandom\u00bb, de forma que podamos de manera suficientemente automatizada, probar todos los casos de verificaci\u00f3n que nos hemos propuesto en nuestro plan de verificaci\u00f3n. Para ello debemos seguir los siguientes pasos Generar pruebas aleatorias usando \u201crandom constrained stimuli generation\u201d(RCSG). ACCI\u00d3N DEFINICION: Se definen variables aleatorias y restricciones que deben de cumplir cada vez que sea aleatorizadas ACCI\u00d3N RANDOMIZACI\u00d3N: Se pide al \u201crandom solver\u00bb que encuentre un conjunto aleatorio de variables que satisfaga las restricciones ACCI\u00d3N DRIVER: Los valores obtenidos son conducidos a las entradas del DUV Observamos en el DUV si hay errores en los comportamientos esperados y los corregimos si los hay Comprobamos el grado de cobertura funcional conforme voy estimulando mi DUV con los nuevos est\u00edmulos que estoy generando. Si no satisface ciertos casos (porque no llega a probarlos) o avanza demasiado lentamente a la hora de comprobar nuevos casos, quiz\u00e1 sea necesario agregar nuevas restricciones, deshabilitarlas o redirigirlas y repetir desde 1 para mejorar la cobertura . Vamos pues a centrarnos en c\u00f3mo y donde hacer estas ACCIONES del punto 1<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ub_ctt_via":"","footnotes":""},"class_list":["post-949","page","type-page","status-publish","hentry"],"featured_image_src":null,"_links":{"self":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/949","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=949"}],"version-history":[{"count":5,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/949\/revisions"}],"predecessor-version":[{"id":1121,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/949\/revisions\/1121"}],"wp:attachment":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=949"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}