{"id":283,"date":"2012-01-25T23:29:53","date_gmt":"2012-01-25T22:29:53","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/index.php\/2012\/01\/25\/soutenance-these-felipe-lalanne\/"},"modified":"2020-09-04T18:46:59","modified_gmt":"2020-09-04T16:46:59","slug":"soutenance-these-felipe-lalanne","status":"publish","type":"post","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/2012\/01\/25\/soutenance-these-felipe-lalanne\/","title":{"rendered":"SOUTENANCE : Th\u00e8se Felipe Lalanne"},"content":{"rendered":"

vendredi 3 F\u00e9vrier<\/strong> 2012 \u00e0 10h00 en salle C06 \u00e0 TELECOM SudParis \u00ab Mod\u00e9lisation et M\u00e9thodologie pour le Test de Services IMS \u00bb<\/strong>.<\/p>\n

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

– Mlle Mercedes Merayo, Professeur \u00e0 l\u2019Universidad Complutense de Madrid, rapporteur<\/p>\n

– Mlle Fatiha Zaidi, Maitre de Conf\u00e9rences \u00e0 l\u2019Universit\u00e9 Paris Sud XI, rapporteur<\/p>\n

– M. Michel Diaz, Directeur de Recherche au LAAS CNRS, examinateur<\/p>\n

– M. Jean-Luc Richier, Charg\u00e9 de Recherche au Laboratoire d\u2019Informatique de Grenoble, examinateur<\/p>\n

– Mme Ana Cavalli, Professeur \u00e0 Telecom SudParis, Directeur<\/p>\n

– M. Stephane Maag, Maitre de Conf\u00e9rences \u00e0 Telecom SudParis, Encadrant<\/p>\n

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

Le test de conformit\u00e9 est le processus permettant de contr\u00f4ler qu’un syst\u00e8me poss\u00e8de un ensemble de propri\u00e9t\u00e9s souhait\u00e9es et se comporte conform\u00e9ment \u00e0 certaines exigences pr\u00e9d\u00e9finies. <\/p>\n

Dans ce contexte, les techniques de test passif sont utilis\u00e9es lorsque le syst\u00e8me sous test ne peut \u00eatre interrompu ou l’acc\u00e8s aux interfaces du syst\u00e8me est indisponible.<\/p>\n

Le test passif s’appuie sur l’observation de l’application pendant l’ex\u00e9cution, et la comparaison de l’observation avec le comportement attendu, d\u00e9fini \u00e0 travers des propri\u00e9t\u00e9s de conformit\u00e9. <\/p>\n

L’objectif de cette th\u00e8se est la d\u00e9finition d’une m\u00e9thodologie de validation des protocoles communicants par test passif. Les approches existantes sont issues de travaux bas\u00e9s sur des sp\u00e9cifications \u00e0 \u00e9tats finis ou de transitions \u00e9tiquet\u00e9es et comme tels, ils pr\u00e9sument l’existence d’une relation de causalit\u00e9 entre les \u00e9v\u00e8nements observ\u00e9s dans la trace du syst\u00e8me. <\/p>\n

Pour le traitement des protocoles bas\u00e9s sur des messages, comme le protocole SIP (fondamental pour les services IMS), telle causalit\u00e9 n\u2019existe pas n\u00e9cessairement et en outre, elle ne peut \u00eatre d\u00e9termin\u00e9e que par la partie donn\u00e9es du protocole. <\/p>\n

\u00c9tant donn\u00e9 que les techniques existantes sont optimis\u00e9es pour traiter les parties de contr\u00f4le, ils pr\u00e9sentent des limites pour les tests bas\u00e9s sur des parties de donn\u00e9es : expressibilit\u00e9 r\u00e9duite de propri\u00e9t\u00e9s de conformit\u00e9, entre autres. <\/p>\n

Dans ce travail nous pr\u00e9sentons une approche sur la base des messages et donn\u00e9es pour traiter ces probl\u00e8mes. Les observations dans une trace sont sous la forme de messages. <\/p>\n

Le comportement attendu est d\u00e9fini de mani\u00e8re ascendante, \u00e0 partir des crit\u00e8res bas\u00e9s sur les relations entre les champs des donn\u00e9es des messages. <\/p>\n

Des relations temporelles sont d\u00e9finies entre ces crit\u00e8res, par exemple, une propri\u00e9t\u00e9 peut exiger que certains crit\u00e8res \u201cdoit \u00eatre reconnu pour tous les messages dans la trace\u201d. <\/p>\n

Notre approche permet d\u2019exprimer des formules sur l\u2019avenir et le pass\u00e9 de la trace, permettant de d\u00e9finir des crit\u00e8res plus g\u00e9n\u00e9raux que ceux qui utilisent uniquement des parties de contr\u00f4le.<\/p>\n

Des probl\u00e8mes li\u00e9s \u00e0 la satisfaction des propri\u00e9t\u00e9s et la d\u00e9claration des verdicts de conformit\u00e9 sont \u00e9galement discut\u00e9s.<\/p>\n

Bien que l’observation d’un comportement d\u00e9fini comme une propri\u00e9t\u00e9 est un indice de conformit\u00e9, l’absence d’observation n’est pas n\u00e9cessairement indicative d’une faute. <\/p>\n

Plusieurs solutions \u00e0 ce probl\u00e8me ont \u00e9t\u00e9 propos\u00e9es et mises en \u0153uvre dans ce travail. <\/p>\n

Enfin, notre travail pr\u00e9sente des perspectives int\u00e9ressantes en termes d’extensibilit\u00e9 pour la d\u00e9tection en ligne ou une expressivit\u00e9 am\u00e9lior\u00e9e, mais aussi car une approche bas\u00e9e sur des messages fournit une vision alternative aux techniques de test traditionnelles.<\/p>\n

Abstract :<\/strong><\/p>\n

Conformance testing is the process of checking that a system possesses a set of desired properties and behaves in accordance with some predefined requirements. In this context, passive testing techniques are used when the system under test cannot be interrupted or access to the system’s interfaces is unavailable. <\/p>\n

Passive testing relies on the observation of the implementation during runtime, and the comparison of the observation with the expected behavior, defined through conformance properties. %(called invariants). The objective of this thesis is to define a novel methodology to validate communicating protocols by passive testing. <\/p>\n

Existing approaches are derived from works with finite-state and labelled transition specifications and as such, they presume there exists a causality relation between the events observed in the implementation (the trace). When dealing with message-based protocols, such as the Session Initiation Protocol (fundamental for IMS services), such causality does not necessarily exist and furthermore, it may only be determined through data parts. <\/p>\n

Since existing techniques are optimized for dealing with control parts, they present limitations for testing based on data parts: reduced expressibility and succinctness of conformance properties, as well as problems to deal with satisfaction of properties including future conditions. <\/p>\n

In this work we present a message-based\/data-centric approach for dealing with these issues. Observations in a trace are in the form of messages. Expected behavior is defined in a bottom-up fashion, starting from expected criteria that must be fulfilled by one or more messages, defined as constraints between the message data fields. <\/p>\n

Temporal relations by quantification over the criteria, e.g. a property may require that certain criteria \u00ab\u00a0must be held for all messages in the trace\u00a0\u00bb.<\/p>\n

Our approach allows to express formulas about the future and past of the trace, allowing to define more general criteria than through control parts alone. <\/p>\n

Issues related to satisfaction of properties and declaration of conformance verdicts are also discussed here. Although observation of a behavior defined as a property is indication of conformance, lack of observation is not necessarily indicative of a fault. <\/p>\n

Several solutions to this issue have been proposed and implemented in this work. Finally, our work presents interesting perspectives, in terms of extensibility for online detection or improved expressiveness, but also since a message-based approach provides an alternative view to traditional testing techniques.<\/p>\n

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

vendredi 3 F\u00e9vrier 2012 \u00e0 10h00 en salle C06 \u00e0 TELECOM SudParis \u00ab Mod\u00e9lisation et M\u00e9thodologie pour le Test de Services IMS \u00bb. Le Jury : – Mlle Mercedes Merayo, Professeur \u00e0 l\u2019Universidad Complutense de Madrid, rapporteur – Mlle Fatiha Zaidi, Maitre de Conf\u00e9rences \u00e0 l\u2019Universit\u00e9 Paris Sud XI, rapporteur – M. Michel Diaz, Directeur […]<\/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":[418],"tags":[],"class_list":["post-283","post","type-post","status-publish","format-standard","hentry","category-theses-2012-fr","entry"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/283","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=283"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/283\/revisions"}],"predecessor-version":[{"id":1952,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/283\/revisions\/1952"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=283"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/categories?post=283"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/tags?post=283"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}