{"id":31981,"date":"1997-01-01T00:00:00","date_gmt":"1997-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/prueba-incremental-de-modelos-de-sistemas-de-tiempo-real\/"},"modified":"1997-01-01T00:00:00","modified_gmt":"1997-01-01T00:00:00","slug":"prueba-incremental-de-modelos-de-sistemas-de-tiempo-real","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/prueba-incremental-de-modelos-de-sistemas-de-tiempo-real\/","title":{"rendered":"Prueba incremental de modelos de sistemas de tiempo real."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Alvaro Rendon Gallon <\/strong><\/h2>\n<p>Se define una metodolog\u00eda de pruebas para sistemas de tiempo real integrada al proceso de desarrollo de modo que las pruebas se dise\u00f1an y ejecutan a lo largo de las diferentes fases del ciclo de vida. Las pruebas se aplican a modelos ejecutables de especificacion, dise\u00f1o e implementacion, en un entorno de desarrollo en el cual las notaciones graficas de los modelos se convierten y ejecutan como una red de petri temporizada de alto nivel (hltpn) distribuida. Los casos de prueba se obtienen a partir de propositos de prueba definidos con base en escenarios de eventos, transacciones y restricciones temporales. La notacion utilizada son los diagrmas de secuencias de mensajes (msc) con algunas extensiones propuestas para el efecto. Tambien se caracterizan los terminadores necesarios para conectar el probador con el sistema bajo prueba y se proponen sus modelos hltpn.  sobre esta base se desarrollan los algoritmos para convertir los casos prueba msc a hltpn. Por ultimo se describen las herramientas de ejecucion y animacion de casos de prueba y un tragador msc de eventos.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Prueba incremental de modelos de sistemas de tiempo real.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Prueba incremental de modelos de sistemas de tiempo real. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Alvaro Rendon Gallon <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1997<\/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>Gonzalo Le\u00f3n Serrano<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Juan  Antonio De La Puente Alfaro <\/li>\n<li>\u00e1ngel Vi\u00f1a Casti\u00f1eiras (vocal)<\/li>\n<li>Carlos Delgado Kloos (vocal)<\/li>\n<li> Miranda Gonzalez Francisco Javier (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Alvaro Rendon Gallon Se define una metodolog\u00eda de pruebas para sistemas de tiempo real integrada al proceso [&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,332,126,16008,13227,8967,2535],"tags":[46825,16200,30894,16198,11017,30847],"class_list":["post-31981","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-matematicas","category-politecnica-de-madrid","category-simulacion","category-sistemas-en-tiempo-real","category-tecnologia-de-los-ordenadores","tag-alvaro-rendon-gallon","tag-angel-vina-castineiras","tag-carlos-delgado-kloos","tag-gonzalo-leon-serrano","tag-juan-antonio-de-la-puente-alfaro","tag-miranda-gonzalez-francisco-javier"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/31981","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=31981"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/31981\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=31981"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=31981"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=31981"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}