{"id":166,"date":"2010-11-19T11:31:42","date_gmt":"2010-11-19T10:31:42","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/index.php\/2010\/11\/19\/soutenance-these-de-jose-pablo-escobedo\/"},"modified":"2020-09-04T18:47:17","modified_gmt":"2020-09-04T16:47:17","slug":"soutenance-these-de-jose-pablo-escobedo","status":"publish","type":"post","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/2010\/11\/19\/soutenance-these-de-jose-pablo-escobedo\/","title":{"rendered":"SOUTENANCE : Th\u00e8se de Jose Pablo Escobedo"},"content":{"rendered":"

jeudi 25 novembre 2010
\n\u00ab\u00a0Symbolic Test Case Generation for Testing Orchestrators in Context<\/strong>\u00ab\u00a0. <\/p>\n

La soutenance aura lieu le jeudi 25 novembre 2010 \u00e0 10h30 \u00e0 l\u2019institut T\u00e9l\u00e9com Sud-Paris dans la salle A07.01<\/p>\n

Composition du jury<\/strong>:
\nVlad Rusu, Inria Lille, Pr\u00e9sident
\nRob Hierons, Brunel University, Rapporteur
\nRichard Castanet, LaBRI Bordeaux, Rapporteur
\nAna Cavalli, T\u00e9l\u00e9com SudParis, co-directrice de th\u00e8se
\nPascale Le Gall, Universit\u00e9 d’Evry, co-directrice de th\u00e8se
\nChristophe Gaston, CEA LIST DILS, Examinateur<\/p>\n

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

In the last years, the Service-Oriented Architecture (SOA) has gained popularity in the industry due to the advantages it offers: independence (low coupling), reusability, and sharing of services. Web services are an example of SOA, which
\nare pieces of software offering functionalities trough the Internet. Due to their acceptance, new ways of using Web services have also emerged. The most popular is the one known as Web service Orchestration. Orchestrations are the result of combining different Web services in order to create new, more complete and complex ones. In this type of systems, there is a central Web service guiding the whole process: the orchestrator.<\/p>\n

In this thesis, we focus on conformance testing of orchestrators in context: that is, orchestrators interacting with Web services in the orchestration during the testing phase. Moreover, we restrict to cases where only the speci cation of the orchestrator
\nis known. That is a usual practical case, since Web services are often developed by companies that do not publish their speci cations. Our objective is to determine if, when an error is detected in the orchestration at the testing in context phase, the error is due to a non conformance of the orchestrator. A rst contribution of this thesis is to de ne conformance relations (based on the conformance relation
\nioco) allowing us to characterize conformance in context. Moreover, we provide a classi cation of the different situations when testing the orchestrator, depending on the nature of the testing architecture. The usage of our conformance relations is strongly coupled to those testing architectures. For the different testing architectures, we state theorems allowing us to relate conformance in context and usual unit conformance in the ioco framework. We then show how to put the formal work in practice by means of symbolic techniques and of a rule-based online testing algorithm, allowing us to detect non conformance of orchestrators while interacting with orchestrators in context. The main symbolic technique we use is the symbolic execution, whose basic idea is to execute programs using symbols instead of concrete data as input values, and to derive tree-like structures in order to describe all possible computations in a symbolic way.
\nA directly derived and complementary work is to de ne Web service testing techniques which allow one to determine if a given Web service can be used together with an orchestrator without leading the resulting orchestration into deadlock situations. Since we only take into account the speci cation of the orchestrator, this is done only according to the the Web service behaviors expected from the orchestrator.<\/p>\n

A final contribution of this thesis is the implementation of a prototype which allows us to test implementations of orchestrators in their context of usage. This prototype implements the rule-based online testing algorithm, as well as the rest of technical operations to apply it in a testing architecture aiming at performing this kind of tests with this kind of systems.<\/p>\n

Keywords: ioco, SOA, test in context, orchestrators, symbolic testing, test case generation.<\/p>\n

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

Les Architectures Orient\u00e9es (SOA) se sont impos\u00e9es depuis quelques ann\u00e9es dans la plupart des entreprises par les nombreux avantages qu’elles procurent: faible couplage, r\u00e9utilisation et le partage des services. Puisqu’ils constituent des logiciels offrant des fonctionnalit\u00e9s via Internet, les Services Web s’inscrivent clairement comme une instance de l’architecture SOA. Afin de faciliter encore leur usage, de nouvelles fa\u00e7ons d’utiliser les services Web ont \u00e9merg\u00e9. La plus connue d’entre elles est celle connue sous le nom d’orchestration de services Web qui consiste \u00e0 combiner diff\u00e9rents services Web afin d’en cr\u00e9er de nouveau par le biais d’un service central Web, l’orchestrateur, guidant l’ensemble du processus.<\/p>\n

Dans cette th\u00e8se, nous nous int\u00e9ressons au test de conformit\u00e9 des orchestrateurs test\u00e9s dans leur contexte, cest-\u00e0-dire interagissant avec des services Web. De plus, nous consid\u00e9rons le cas de figure o\u00f9 seule la sp\u00e9cification de l’orchestrateur est connue. En effet, les services Web sont souvent d\u00e9velopp\u00e9s par des soci\u00e9t\u00e9s tiers ne publiant pas n\u00e9cessairement leurs sp\u00e9cifications. Notre objectif est de d\u00e9terminer si une erreur d\u00e9tect\u00e9e dans l’orchestration, i.e. l’orchestrateur dans le contexte des services Web invoqu\u00e9s, peut s’expliquer par une non-conformit\u00e9 de l’orchestrateur. Dans le cadre de la relation de conformit\u00e9 connue sous le nom de ioco, nous avons pr\u00e9cis\u00e9 quels sont les liens rigoureux entre la conformit\u00e9 de l’orchestrateur au sens ioco, et la conformit\u00e9 de l’orchestrateur en contexte. Nous avons effectu\u00e9 cette \u00e9tude en tenant compte des diff\u00e9rentes situations en lien avec l’architecture de test. Ces diff\u00e9rentes situations sont reli\u00e9es aux facilit\u00e9s d’acc\u00e8s et\/ou de contr\u00f4le des communications \u00e9chang\u00e9es entre l’orchestrateur et les services Web. Nous adaptons ensuite ce travail dans le cas o\u00f9 les sp\u00e9cifications des orchestrateurs sont donn\u00e9s sous la forme de syst\u00e8mes de transitions symboliques \u00e0 entr\u00e9es\/sorties. Nous fournissons un algorithme de g\u00e9n\u00e9ration de s\u00e9quences de test sous la forme d’un ensemble de r\u00e8gle: sous l’hypoth\u00e8se que le syst\u00e8me sous test est constitu\u00e9 de l’orchestrateur et des services Web invoqu\u00e9s au sein de l’orchestration, des verdicts de non-conformit\u00e9 des orchestrateurs sont \u00e9mis.<\/p>\n

Nous avons aussi tir\u00e9 parti de la donn\u00e9e de la sp\u00e9cification de l’orchestrateur pour inf\u00e9rer les comportements des services Web tels qu’attendus par l’orchestrateur. Les comportements inf\u00e9r\u00e9s peuvent servir d’objectifs de test de telle sorte qu’une erreur de conformit\u00e9 mise \u00e0 jour sur les services Web en question r\u00e9v\u00e8lerait alors une situation de blocage (dead-lock) dans une orchestration constitu\u00e9 d’un orchestrateur conforme et des impl\u00e9mentations sous test des services Web.<\/p>\n

Nous avons impl\u00e9ment\u00e9 un prototype de g\u00e9n\u00e9ration de s\u00e9quences de test des impl\u00e9mentations des orchestrateurs consid\u00e9r\u00e9s dans leur contexte d’utilisation constitu\u00e9 des services Web. A l’aide de techniques d’ex\u00e9cution symbolique et de r\u00e9solution de contraintes, ce prototype met en oeuvre des op\u00e9rations de transformations des arbres d’ex\u00e9cution symbolique des sp\u00e9cifications afin de se placer du point de vue de l’orchestrateur en contexte, et impl\u00e9mente l’algorithme \u00e0 base de r\u00e8gles.<\/p>\n

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

jeudi 25 novembre 2010 \u00ab\u00a0Symbolic Test Case Generation for Testing Orchestrators in Context\u00ab\u00a0. La soutenance aura lieu le jeudi 25 novembre 2010 \u00e0 10h30 \u00e0 l\u2019institut T\u00e9l\u00e9com Sud-Paris dans la salle A07.01 Composition du jury: Vlad Rusu, Inria Lille, Pr\u00e9sident Rob Hierons, Brunel University, Rapporteur Richard Castanet, LaBRI Bordeaux, Rapporteur Ana Cavalli, T\u00e9l\u00e9com SudParis, co-directrice […]<\/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-166","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\/166","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=166"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/166\/revisions"}],"predecessor-version":[{"id":2059,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/166\/revisions\/2059"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=166"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/categories?post=166"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/tags?post=166"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}