{"id":1119,"date":"2021-10-11T15:34:02","date_gmt":"2021-10-11T15:34:02","guid":{"rendered":"https:\/\/dsd.webs.upv.es\/?page_id=1119"},"modified":"2021-10-12T10:03:07","modified_gmt":"2021-10-12T10:03:07","slug":"idea-principal-2","status":"publish","type":"page","link":"https:\/\/dsd.webs.upv.es\/?page_id=1119","title":{"rendered":"Idea principal"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Repetimos nuestra idea principal: conseguir una verificaci\u00f3n \u201crandom\u201d, 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><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 .  Destacamos tres grandes acciones para este paso de cobertura funcional:<ul><li><strong>ACCI\u00d3N DEFINICION<\/strong>: Se definen variables que se desean muestrear y los casos \u00abbins\u00bb que nos interesa recopilar.<\/li><li><strong>ACCI\u00d3N MONITOR<\/strong> <strong>y MUESTREO<\/strong>. Normalmente el elemento a muestrear se encuentra muy cercano a las entradas y salidas del DUV y hay que hacerlo llegar al elemento que recopilar\u00e1 los casos que se hab\u00edan definido en la acci\u00f3n anterior. Normalmente la visibilidad es directa; pero en los bancos de pruebas m\u00e1s evolucionados es necesario resolver ordenadamente esta acci\u00f3n.<\/li><li><strong>ACCI\u00d3N SEGUIMIENTO<\/strong> e <strong>INFORMES<\/strong>: Aunque la acci\u00f3n anterior resuelve la interconexi\u00f3n, falta especificar el cuando muestrear y por supuesto como contabilizar en tiempo de ejecuci\u00f3n el grado de cobertura obtenido.<\/li><\/ul><\/li><\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">Vamos pues a centrarnos en  el paso 3. La cobertura funcional especifica qu\u00e9, c\u00f3mo y cu\u00e1ndo recopilar datos de cobertura.<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Prueba si el banco de pruebas es lo suficientemente bueno.<\/li><li>\u00bfHicimos todas las pruebas que quer\u00edamos hacer en base a nuestro plan de verificaci\u00f3n?<\/li><\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Normalmente el objetivo es alcanzar el 100% de cobertura para que el trabajo de verificaci\u00f3n se considere finalizado.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Repetimos nuestra idea principal: conseguir una verificaci\u00f3n \u201crandom\u201d, 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). 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 . Destacamos tres grandes acciones para este paso de cobertura funcional: ACCI\u00d3N DEFINICION: Se definen variables que se desean muestrear y los casos \u00abbins\u00bb que nos interesa recopilar. ACCI\u00d3N MONITOR y MUESTREO. Normalmente el elemento a muestrear se encuentra muy cercano a las entradas y salidas del DUV y hay que hacerlo llegar al elemento que recopilar\u00e1 los casos que se hab\u00edan definido en la acci\u00f3n anterior. Normalmente la visibilidad es directa; pero en los bancos de pruebas m\u00e1s evolucionados es necesario resolver ordenadamente esta acci\u00f3n. ACCI\u00d3N SEGUIMIENTO e INFORMES: Aunque la acci\u00f3n anterior resuelve la interconexi\u00f3n, falta especificar el cuando muestrear y por supuesto como contabilizar en tiempo de ejecuci\u00f3n el grado de cobertura obtenido. Vamos pues a centrarnos en el paso 3. La cobertura funcional especifica qu\u00e9, c\u00f3mo y cu\u00e1ndo recopilar datos de cobertura. Prueba si el banco de pruebas es lo suficientemente bueno. \u00bfHicimos todas las pruebas que quer\u00edamos hacer en base a nuestro plan de verificaci\u00f3n? Normalmente el objetivo es alcanzar el 100% de cobertura para que el trabajo de verificaci\u00f3n se considere finalizado.<\/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-1119","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\/1119","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=1119"}],"version-history":[{"count":4,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/1119\/revisions"}],"predecessor-version":[{"id":1162,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/1119\/revisions\/1162"}],"wp:attachment":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1119"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}