{"id":148,"date":"2010-07-06T10:32:07","date_gmt":"2010-07-06T08:32:07","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/index.php\/2010\/07\/06\/soutenance-these-de-gerardo-morales\/"},"modified":"2020-09-04T18:47:17","modified_gmt":"2020-09-04T16:47:17","slug":"soutenance-these-de-gerardo-morales","status":"publish","type":"post","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/2010\/07\/06\/soutenance-these-de-gerardo-morales\/","title":{"rendered":"SOUTENANCE : th\u00e8se de Gerardo Morales"},"content":{"rendered":"

Mardi 13 juillet<\/strong> \u00e0 14h30 salle C06<\/p>\n

\u00ab\u00a0A Test Methodology for the Validation of Web Applications\u00a0\u00bb<\/strong><\/p>\n

Jury<\/strong><\/p>\n

– Abdelhamid MELLOUK, Universit\u00e9 de Paris XII, Pr\u00e9sident
\n– Ismael RODRIGUEZ, Universidad Complutense de Madrid, Rapporteur
\n– Eliane MARTINS, Universidade Estadual de Campinas, Rapporteur
\n– Kequin LI, SAP France, Examinateur
\n– St\u00e9phane Maag, T\u00e9l\u00e9com SudParis, Examinateur
\n– Ana Cavalli, T\u00e9l\u00e9com SudParis, Directrice de th\u00e8se<\/p>\n

R\u00e9sum\u00e9<\/strong><\/p>\n

\u00ab\u00a0De nos jours, les syst\u00e8mes bas\u00e9s sur le Web sont devenus de plus en plus importants en tant que \u00e9l\u00e9ments de base pour la collaboration synchrone ou asynchrone entre utilisateurs distants. D’une part, les applications Web (e.g. e-government ou e-banking) ont \u00e9volu\u00e9 en complexit\u00e9 pour devenir un moyen de communication puissant entre les petites\/grandes institutions et les internautes, et entre les internautes eux-m\u00eames. D’autre part, ces derni\u00e8res ann\u00e9es, les applications Web et plus g\u00e9n\u00e9ralement, toutes les applications, ont \u00e9volu\u00e9 vers une nouvelle architecture qui substitue un seul grand syst\u00e8me par des syst\u00e8mes multiples qui collaborent entre eux. Cette architecture est orient\u00e9e services et se nomme SOA pour \u00a0\u00bb Service Oriented Architecture \u00ab\u00a0. Elle permet la r\u00e9utilisation de services existants pour construire de nouveaux services Web plus complexes en moins de temps.<\/p>\n

Certains institutions utilisent des syst\u00e8mes bas\u00e9s sur le Web pour administrer des t\u00e2ches critiques relatives \u00e0 leurs m\u00e9tiers ou pour g\u00e9rer des donn\u00e9es sensibles et confidentielles (e.g. des donn\u00e9es utilisateurs, des donn\u00e9es bancaires etc.). Un comportement erron\u00e9 de ce type de syst\u00e8me peut \u00eatre exploitable par des actions malveillantes ou des attaques pour l’acc\u00e8s \u00e0 ces donn\u00e9es, par des utilisateurs ou des syst\u00e8mes internes ou externes.<\/p>\n

L’objectif de cette th\u00e8se est d’assurer le bon comportement des aspects fonctionnels des syst\u00e8mes bas\u00e9s sur le Web. Pour atteindre cet objectif, nous nous basons dans ce manuscrit, sur deux approches diff\u00e9rentes de test: l’approche active et l’approche passive. Le principe du test actif consiste \u00e0 g\u00e9n\u00e9rer automatiquement une suite de sc\u00e9narios de tests qui sera appliqu\u00e9e sur un syst\u00e8me sous test pour en \u00e9tudier sa conformit\u00e9 par rapport \u00e0 ses besoins fonctionnels. Quand au test passif, il consiste \u00e0 observer passivement le syst\u00e8me sous test, sans interrompre le flux normal de ses op\u00e9rations.<\/p>\n

Pour l’approche active, nous proposons une m\u00e9thodologie qui permet de g\u00e9n\u00e9rer automatiquement des s\u00e9quences de test afin de valider la conformit\u00e9 d’un syst\u00e8me par rapport \u00e0 la description formel du comportement du syst\u00e8me. Le comportement est sp\u00e9cifi\u00e9 en utilisant un mod\u00e8le formel bas\u00e9 sur des machines \u00e0 \u00e9tats finis \u00e9tendues temporis\u00e9es (TEFSM). La g\u00e9n\u00e9ration automatique des tests est ensuite effectu\u00e9e en utilisant des outils d\u00e9velopp\u00e9s dans notre laboratoire et permet d’obtenir des cas de tests ex\u00e9cutables qui permettent au moteur de test d’interagir avec une application Web r\u00e9el.<\/p>\n

Dans l’approche passive, nous sp\u00e9cifions des propri\u00e9t\u00e9s fonctionnelles \u00e0 tester sous la forme d’invariants temporis\u00e9es. Nous analysons ensuite les traces d’ex\u00e9cution d’un Web service compos\u00e9 afin d’\u00e9laborer un verdict sur sa conformit\u00e9 par rapport au comportement souhait\u00e9 du syst\u00e8me.<\/p>\n

Plusieurs algorithmes et outils sont fournis dans ce manuscrit pour effectuer le test actif et passif des syst\u00e8mes Web. Nous avons appliqu\u00e9 nos m\u00e9thodologies \u00e0 divers syst\u00e8mes (le Mission Handler et le Travel Reservation Service) pour illustrer les approches propos\u00e9es sur des syst\u00e8mes r\u00e9els.\u00a0\u00bb<\/p>\n

\n","protected":false},"excerpt":{"rendered":"

Mardi 13 juillet \u00e0 14h30 salle C06 \u00ab\u00a0A Test Methodology for the Validation of Web Applications\u00a0\u00bb Jury – Abdelhamid MELLOUK, Universit\u00e9 de Paris XII, Pr\u00e9sident – Ismael RODRIGUEZ, Universidad Complutense de Madrid, Rapporteur – Eliane MARTINS, Universidade Estadual de Campinas, Rapporteur – Kequin LI, SAP France, Examinateur – St\u00e9phane Maag, T\u00e9l\u00e9com SudParis, Examinateur – Ana […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ocean_post_layout":"","ocean_both_sidebars_style":"","ocean_both_sidebars_content_width":0,"ocean_both_sidebars_sidebars_width":0,"ocean_sidebar":"","ocean_second_sidebar":"","ocean_disable_margins":"enable","ocean_add_body_class":"","ocean_shortcode_before_top_bar":"","ocean_shortcode_after_top_bar":"","ocean_shortcode_before_header":"","ocean_shortcode_after_header":"","ocean_has_shortcode":"","ocean_shortcode_after_title":"","ocean_shortcode_before_footer_widgets":"","ocean_shortcode_after_footer_widgets":"","ocean_shortcode_before_footer_bottom":"","ocean_shortcode_after_footer_bottom":"","ocean_display_top_bar":"default","ocean_display_header":"default","ocean_header_style":"","ocean_center_header_left_menu":"","ocean_custom_header_template":"","ocean_custom_logo":0,"ocean_custom_retina_logo":0,"ocean_custom_logo_max_width":0,"ocean_custom_logo_tablet_max_width":0,"ocean_custom_logo_mobile_max_width":0,"ocean_custom_logo_max_height":0,"ocean_custom_logo_tablet_max_height":0,"ocean_custom_logo_mobile_max_height":0,"ocean_header_custom_menu":"","ocean_menu_typo_font_family":"","ocean_menu_typo_font_subset":"","ocean_menu_typo_font_size":0,"ocean_menu_typo_font_size_tablet":0,"ocean_menu_typo_font_size_mobile":0,"ocean_menu_typo_font_size_unit":"px","ocean_menu_typo_font_weight":"","ocean_menu_typo_font_weight_tablet":"","ocean_menu_typo_font_weight_mobile":"","ocean_menu_typo_transform":"","ocean_menu_typo_transform_tablet":"","ocean_menu_typo_transform_mobile":"","ocean_menu_typo_line_height":0,"ocean_menu_typo_line_height_tablet":0,"ocean_menu_typo_line_height_mobile":0,"ocean_menu_typo_line_height_unit":"","ocean_menu_typo_spacing":0,"ocean_menu_typo_spacing_tablet":0,"ocean_menu_typo_spacing_mobile":0,"ocean_menu_typo_spacing_unit":"","ocean_menu_link_color":"","ocean_menu_link_color_hover":"","ocean_menu_link_color_active":"","ocean_menu_link_background":"","ocean_menu_link_hover_background":"","ocean_menu_link_active_background":"","ocean_menu_social_links_bg":"","ocean_menu_social_hover_links_bg":"","ocean_menu_social_links_color":"","ocean_menu_social_hover_links_color":"","ocean_disable_title":"default","ocean_disable_heading":"default","ocean_post_title":"","ocean_post_subheading":"","ocean_post_title_style":"","ocean_post_title_background_color":"","ocean_post_title_background":0,"ocean_post_title_bg_image_position":"","ocean_post_title_bg_image_attachment":"","ocean_post_title_bg_image_repeat":"","ocean_post_title_bg_image_size":"","ocean_post_title_height":0,"ocean_post_title_bg_overlay":0.5,"ocean_post_title_bg_overlay_color":"","ocean_disable_breadcrumbs":"default","ocean_breadcrumbs_color":"","ocean_breadcrumbs_separator_color":"","ocean_breadcrumbs_links_color":"","ocean_breadcrumbs_links_hover_color":"","ocean_display_footer_widgets":"default","ocean_display_footer_bottom":"default","ocean_custom_footer_template":"","ocean_post_oembed":"","ocean_post_self_hosted_media":"","ocean_post_video_embed":"","ocean_link_format":"","ocean_link_format_target":"self","ocean_quote_format":"","ocean_quote_format_link":"post","ocean_gallery_link_images":"on","ocean_gallery_id":[],"footnotes":""},"categories":[7],"tags":[],"class_list":["post-148","post","type-post","status-publish","format-standard","hentry","category-uncategorized-fr","entry"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/148","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/comments?post=148"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/148\/revisions"}],"predecessor-version":[{"id":2071,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/148\/revisions\/2071"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=148"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/categories?post=148"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/tags?post=148"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}