Moez Krichen
Laboratoire de Recherche ReDCAD, Université de Sfax, Tunisie moez.krichen@redcad.org
Résumé. Dans cet article, nous présentons nos principales contributions
de recherche effectuées au cours des dix dernières années. Notre première contribution porte sur les techniques de test de systèmes distribués et adaptables dynamiquement. Notre deuxième contribution consiste à pro-poser un cadre basé sur un modèle pour combiner charge et tests fonc-tionnels. Notre troisième contribution consiste à introduire un ensemble de techniques formelles pour la détermination et la sélection de test hors ligne pour les automates temporisés avec entrées et sorties. De plus, nous introduisons deux travaux en cours. Le premier concerne une approche ba-sée sur un modèle pour les tests de sécurité des applications de l’Internet des objets. Le second concerne la fourniture d’une plate-forme d’exécution de test évolutive fournissant des installations de test en tant que service cloud.
1
Introduction
Dans cet article, nous présentons nos principales contributions de recherche concer-nant les tests basés sur des modèles de systèmes dynamiques et distribués en temps réel, effectuées au cours des dix dernières années.
Notre première contribution porte sur les techniques de test de systèmes distribués et adaptables dynamiquement. Dans ce contexte, nous proposons une plate-forme stan-dard d’exécution de test qui offre un système de test indépendant de la plate-forme pour isoler et exécuter des tests d’exécution. Cette plateforme utilise la norme TTCN3 et prend en compte les adaptations structurelles et comportementales. De plus, notre pla-teforme est équipée d’une couche d’isolation de test qui réduit le risque d’interférence entre les processus de test et les processus métier. De plus, nous calculons un sous-ensemble minimal de cas de test pour les exécuter et les distribuer efficacement entre les nœuds d’exécution tout en respectant les contraintes de ressources et de connecti-vité. De plus, nous validons les techniques proposées sur deux études de cas, l’une dans le domaine de la santé et l’autre dans le domaine de la gestion de flotte.
Notre deuxième contribution consiste à proposer un cadre basé sur un modèle pour combiner charge et tests fonctionnels. Ce cadre est basé sur le modèle d’automates tem-porisés étendus avec entrées/sorties et des variables entières partagées. Nous présentons différents aspects des techniques de modélisation et nous les illustrons au moyen d’une
étude de cas. De plus, nous étudions les comportements des compositions BPEL sous différentes conditions de charge en utilisant le cadre proposé. Nous introduisons une taxonomie des problèmes détectés et nous illustrons comment les verdicts des tests sont attribués. Par ailleurs, nous validons notre approche en utilisant une étude de cas d’une agence de voyages. De plus, nous considérons plusieurs mutants du processus BPEL correspondant et nous les testons à l’aide de notre outil.
Notre troisième contribution consiste à introduire un ensemble de techniques for-melles pour la détermination et la sélection de test hors ligne pour les automates temporisés avec entrées et sorties. À cet égard, nous proposons une approche basée sur le jeu entre deux joueurs pour la détermination d’un automate temporisé donné et de certaines ressources fixes. De plus, nous présentons une formalisation complète pour la génération automatique hors ligne de cas de test à partir d’automates temporisés non déterministes avec entrées et sorties. Nous définissons également une technique de sélection de cas de test à des fins de test expressif. Les cas de test sont générés à l’aide d’une analyse symbolique de co-accessibilité des comportements observables de la spécification guidée par le but du test, qui est à son tour défini comme automate temporisé.
Nous introduisons également deux travaux en cours. Le premier concerne une ap-proche basée sur un modèle pour les tests de sécurité des applications de l’Internet des objets. Le second concerne la fourniture d’une plate-forme d’exécution de test évolutive fournissant des installations de test en tant que service cloud.
2
Contexte de recherche et motivation
Afin de créer et de fournir des logiciels de qualité garantie et d’éviter les coûts potentiels causés par l’instabilité logiciels, les tests sont une étape incontournable du développement du cycle de vie des logiciels. Au cours des dernières décennies, des er-reurs de programmation et des accidents très critiques ont été détectés dans différents domaines et dans différents coins du monde. Certaines de ces erreurs étaient très dan-gereuses et causaient des dommages humains/financiers/environnementaux énormes et dramatiques. Un premier exemple d’erreurs logicielles critiques que nous citons est lié au domaine médical. De 1985 à 1987, au moins quatre patients sont décédés des suites directes d’une surdose de radiation reçue de l’appareil de radiothérapie médicale Therac-25. En fait, les victimes ont reçu jusqu’à 100 fois la dose requise. L’accident est le résultat d’un bug dans le logiciel alimentant l’appareil Therac-25. Un deuxième exemple concerne l’explosion de la fusée européenne Ariane 5 en 1996 à peine 37 se-condes après son lancement. L’explosion est le résultat d’une mauvaise réutilisation du code d’Ariane 4. La perte financière causée par cet accident a été estimée à environ 400 millions de dollars. Un troisième exemple d’erreurs logicielles a frappé le très célèbre fournisseur de services Web Google. Cet accident s’est produit en février 2009.
La question importante à souligner ici est qu’un bon pourcentage de ces erreurs aurait pu être évité en envisageant des efforts de test plus raffinés. Pourtant, de tels efforts sont encore minimes dans la pratique et le besoin de solutions de test avancées est encore profond. En effet, les éditeurs de logiciels ne font toujours pas suffisamment d’efforts à ce niveau.
Test d’exécution de systèmes distribués et adaptables dynamiquement : De nos jours, les systèmes basés sur des composants distribués ont tendance à évoluer dynamique-ment sans arrêter leur exécution. Connus sous le nom de Systèmes Dynamiquedynamique-ment Adaptables et Distribués, ces systèmes jouent actuellement un rôle important dans les services de la société. En effet, la demande croissante pour de tels systèmes est évi-dente dans plusieurs domaines d’application tels que la gestion de crise, la surveillance médicale, la gestion de flotte, etc.
Cette demande est soulignée par la nature complexe, mobile et critique de ces appli-cations qui doivent également continuer à répondre à leurs exigences fonctionnelles et non fonctionnelles et à prendre en charge des propriétés avancées telles que la conscience du contexte et la mobilité. Néanmoins, les adaptations dynamiques des systèmes ba-sés sur les composants peuvent générer de nouveaux risques de bogues, d’interactions imprévues (par exemple, des connexions en baisse), des modes de fonctionnement non intentionnels et une dégradation des performances. Cela peut entraîner des dysfonction-nements du système et guider son exécution vers un état dangereux. Par conséquent, garantir leur haute qualité et leur fiabilité reste une exigence cruciale à considérer.
L’un des moyens les plus prometteurs de tester des systèmes dynamiques est l’uti-lisation d’une technique émergente, appelée Runtime Testing. Dans ce travail, nous proposons une plate-forme standard d’exécution de test qui offre un système de test indépendant de la plate-forme pour isoler et exécuter des tests d’exécution. Nous calcu-lons également un sous-ensemble minimal de cas de test pour les exécuter et les répartir efficacement entre les nœuds d’exécution.
Combinaison des tests de charge et fonctionnels : De nombreux systèmes allant des sites Web de commerce électronique aux télécommunications doivent prendre en charge l’accès simultané par des centaines ou des milliers d’utilisateurs. Afin d’assurer la qualité de ces systèmes, le test de charge est un processus de test obligatoire en plus des procédures de test fonctionnel conventionnelles, qui se concentrent sur le test d’un système basé sur un petit nombre d’utilisateurs. En fait, le test de charge est l’un des types de test de grande importance. Il s’accompagne généralement d’un suivi des performances de l’environnement d’hébergement.
En règle générale, la pratique de test de logiciels industriels consiste à séparer les tests de charge des tests fonctionnels. Différentes équipes avec une expertise et des compétences différentes exécutent leurs tests à des moments différents, et chaque équipe évalue les résultats en fonction de ses propres critères. Il est exceptionnel de réunir les deux types de tests et d’évaluer les résultats des tests de charge pour l’exactitude fonctionnelle ou d’incorporer une charge soutenue dans les tests fonctionnels. Dans ce travail, nous proposons un cadre formel basé sur un modèle pour combiner les tests fonctionnels et de charge. De plus, nous étudions les comportements des compositions BPEL (Business Process Execution Language) sous différentes conditions de charge en utilisant le framework proposé.
Détermination des automates temporisés : Les automates temporisés (TA), intro-duits dans (2), forment un modèle habituel pour la spécification de systèmes embarqués en temps réel. Essentiellement TA sont une extension des automates avec des gardes et des réinitialisations de continu horloges. Ils sont largement utilisés dans le cadre de nombreuses validations des problèmes tels que la vérification, la synthèse de contrôle
ou le modèle test (12). La détermination est un problème clé pour plusieurs problèmes tels que la mise en œuvre, le diagnostic ou la génération de tests, lorsque le les analyses dépendent du comportement observable.
Notre méthode combine des techniques de (3) et (11) et améliore ces deux ap-proches. Le principe de base est la construction d’un fini jeu de sécurité au tour par tour entre deux joueurs, Spoiler et Déterminateur, où Spoiler choisit une action et la région de son occurrence, alors que Determinizator choisit les horloges à réinitiali-ser. Notre Le résultat principal indique que si Determinizator a une stratégie gagnante, alors il donne un automate temporisé déterministe acceptant exactement la même chose langage chronométré comme automate initial, sinon il produit un sur-approximation déterministe.
Sélection de test hors ligne pour les automates temporisés : Les tests de conformité consistent à vérifier si un l’implémentation se comporte correctement par rapport à une spécification. Les implémentations sont considérées comme boîtes noires, c’est-à-dire la source le code est inconnu, seule leur interface avec l’environnement est connue et utilisé pour interagir avec le testeur. Dans test de conformité formel basé sur un modèle les modèles sont utilisés pour décrire les artefacts de test (spécifications, implémentations, cas de test, ...), la conformité est formellement définie et les cas de test avec verdicts sont générés automatiquement. Ensuite, la qualité des tests peut être caractérisée par les propriétés des cas de test qui relient les verdicts de leurs exécutions avec la conformité (par exemple, la solidité).
Dans ce contexte, un modèle très populaire est automates temporisés avec entrées et sorties (TAIOs), une variante des automates temporisés (TAs) (1), dans lequel des actions observables sont partitionnées en entrées et sorties. Nous considérons ici des TAIO partiellement observables et non déterministes avec invariants pour la modélisa-tion de l’urgence. Dans ce travail, nous proposons de générer des cas de test hors ligne pour TAIO non déterministes, dans le contexte formel de la théorie de conformité tioco (11).
3
Contributions
Les principales contributions de recherche présentées dans ce travail sont les (15) suivantes.
1. Techniques d’essai pour les systèmes distribués et dynamiquement adaptables : (a) Nous avons conçu une plate-forme d’exécution de test basée sur des normes qui offre un système de test indépendant de la plate-forme pour isoler et exécuter des tests d’exécution (21). Cette plateforme utilise la norme TTCN3 et prend en compte les adaptations structurelles et comportementales. De plus, notre plateforme est équipée d’une couche d’isolation de test qui réduit le risque d’interférence entre les processus de test et les processus métier. (b) Nous avons calculé un sous-ensemble minimal de cas de test pour les exécuter
et les répartir efficacement entre les nœuds d’exécution tout en respectant les contraintes de ressources et de connectivité. Le sous-ensemble minimal de cas de test est obtenu à l’aide d’un algorithme de génération intelligent
qui conserve les anciens cas de test qui sont toujours valides et remplace les cas non valides par de nouveaux cas de test générés ou mis à jour.
(c) Nous avons validé les techniques proposées sur deux études de cas, l’une dans le domaine de la santé et l’autre dans le domaine de la gestion de flotte. Au travers de plusieurs expérimentations, nous avons montré l’efficacité de notre outil dans la réduction du coût des tests d’exécution et nous mesu-rons le surcoût introduit en cas de dynamique adaptations structurelles ou comportementales.
2. Une approche basée sur un modèle pour combiner les tests de charge et les tests fonctionnels :
(a) Nous avons proposé un cadre formel basé sur un modèle pour combiner fonction et charge tests. Le cadre proposé est basé sur le modèle d’automates temporisés étendus avec entrées/sorties et des variables entières partagées. De plus, nous avons présenté différents problèmes de modélisation illustrant certains aspects méthodologiques de notre cadre et nous les avons illustrés au moyen d’une étude de cas.
(b) Nous avons étudié les comportements des compositions BPEL sous diffé-rentes conditions de charge en utilisant le cadre proposé. Nous avons égale-ment proposé une taxonomie des problèmes détectés par notre solution et nous avons illustré comment les verdicts des tests sont attribués. De plus, nous avons validé notre approche en utilisant une étude de cas d’une agence de voyages. Nous avons considéré plusieurs mutants du processus BPEL cor-respondant et nous les avons testés à l’aide de notre outil.
3. Techniques formelles de détermination et de sélection de test hors ligne pour les automates temporisés :
(a) Nous avons proposé une approche basée sur le jeu pour la détermination des automates temporisés. Pour un automate temporisé donné A et certaines ressources fixes, nous construire un jeu de sécurité au tour par tour fini entre deux joueurs Spoiler et Determinizator, de sorte que toute stratégie pour Determinizator donne un sur-approximation déterministe du langage de A et de tout la stratégie gagnante fournit un équivalent déterministe pour A. (b) Nous avons introduit une formalisation complète pour la génération
auto-matique hors ligne de cas de test à partir d’automates temporisés non dé-terministes avec entrées et sorties. Nous avons proposé une procédure de détermination approximative et une technique de sélection des cas de test à des fins de test expressives. Les cas de test sont générés à l’aide d’une analyse de co-accessibilité symbolique des comportements observables de la spécification guidé par le but du test.
4
Travaux futurs
De nombreuses extensions possibles pour notre travail sont possibles. Ensuite, nous énumérons quelques directions possibles pour enquêter à l’avenir.
— Techniques méta-heuristiques pour le problème de placement de test
contraint : Le problème majeur que nous avons rencontré lors de l’application
de RTF4ADS sur des environnements à grande échelle vient du module de pla-cement de test contraint. En fait, ce module nécessite beaucoup de temps pour calculer une solution optimale exacte répondant aux contraintes de ressources et de connectivité. Par conséquent, nous avons l’intention d’utiliser la méta-heuristique Tabu Search (TS) comme algorithme de résolution et d’effectuer une exploration parallèle du domaine de la solution.
— Extension du système de test TTCN-3 distribué : La version actuelle de RTF4ADS se concentre uniquement sur la distribution de cas de test TTCN-3. Chacun est géré par un composant de test principal (MTC) et peut créer plu-sieurs composants de test parallèle (PTC) afin d’exécuter des tests d’intégration. Pour obtenir plus de performances et alléger la charge de travail de test sur l’en-vironnement d’exécution, nous devons également distribuer les composants PTC sur les nœuds d’exécution afin d’éviter la surcharge de communication introduite par l’architecture d’exécution centralisée.
— Test d’exécution des systèmes autonomes : Nous avons l’intention d’amé-liorer notre cadre de test afin de prendre en charge des systèmes autonomes capables de générer des comportements émergents en réponse à l’évolution des conditions environnementales. Pour ce faire, nous devons inclure notre système de test dans les boucles Monitor-Analyze-Plan-Execute (MAPE-K) dans le but d’automatiser non seulement le processus d’adaptation mais aussi le processus de test d’exécution.
— Génération de test basée sur la vérification de modèle probabiliste : L’idée clé ici est d’appliquer des tests d’exécution avant la survenue d’adapta-tions dynamiques proactives qui consistent à faire des prédicd’adapta-tions sur l’évolution de l’environnement ou du système dans un futur proche. Pour ce faire, des tests doivent être générés à partir de modèles comportementaux qui sont augmen-tés de probabiliaugmen-tés pour décrire le comportement imprévisible du système. Des formalismes comme Probabilistic Timed Automata peuvent être utilisés pour spécifier le comportement du système.
— Test de charge distribué et sensible aux ressources des compositions
WS-BPEL : La reconnaissance des problèmes sous charge est une activité
difficile et longue en raison de la grande quantité de données générées et de la longue durée des tests de charge. Pour cette raison, nous avons l’intention étendre notre approche précédente concernant les tests fonctionnels et de charge des compositions BPEL par des capacités de distribution et de sensibilisation aux ressources En effet, la prise en charge de la distribution de tests sur le réseau peut alléger considérablement la charge de travail de test lors de l’exécution, en particulier lorsque le SUT s’exécute sur un cluster de serveurs BPEL.
— Développement d’heuristiques pour déterminer les automates
tempo-risés : La détermination des automates tempotempo-risés est un problème complexe et
nos algorithmes proposés fonctionnent dans le temps doublement exponentiels dans la taille de l’entrée. Compte tenu de la difficulté du problème, il serait intéressant de développer quelques heuristiques. Par exemple, les ressources et
autres fonctionnalités de nos algorithmes pourraient être optimisées en ligne. Pendant la construction à la volée du jeu tout en recherchant une stratégie ga-gnante, une ressource des horloges pourraient être ajoutées si nécessaire, ou la précision des gardes et des relations pourrait être augmenté.
— Combiner la couverture avec l’exécution de tests en ligne pour les
systèmes en temps réel : Le sujet de la couverture doit être étudié plus
en profondeur en temps réel le contexte. En particulier, la combinaison de la couverture et de l’exécution des tests en ligne est un autre aspect qui semble être peu étudié. Le problème est lié au choix des sorties du testeur en ligne et les temps de sortie. De nombreuses heuristiques peuvent être appliquées pour résoudre de tels choix, mais un problème supplémentaire est de savoir comment gérer ces choix tout au long de l’exécution de l’ensemble de la suite de tests, en utilisant des techniques de tenue de livres appropriées.
5
Liste des publications
Journaux
— Moez Krichen, Afef Jmal Maâlej, Mariam Lahami. A model-based approach to combine conformance and load tests : an eHealth case study. In Interna-tional Journal of Critical Computer-Based Systems, IJCCBS 8(3/4) : 282-310 (2018). (17)
— Mariam Lahami, Moez Krichen. Safe and Efficient Runtime Testing Framework Applied in Dynamic and Distributed Systems. In Science of Computer Program-ming Journal. 122 : 1-28 (2016). (20)
— Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel. A Comparative Evaluation of State-of-the-Art Load and Stress Testing Approaches. In International Jour-nal of Computer Applications in Technology IJCAT 51(4) : 283-293 (2015). (36) — Mariam Lahami, Moez Krichen, Mohamed Jmaiel. Runtime Testing Approach of Structural Adaptations for Dynamic and Distributed Systems. In Internatio-nal JourInternatio-nal of Computer Applications in Technology. IJCAT 51(4) : 259-272 (2015). (28)
— Afef Jmal Maâlej, Moez Krichen. Study on the Limitations of WS-BPEL Com-positions Under Load Conditions. In The Computer Journal (2015) 58 (3) : 385-402 (32)
— Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen. A game ap-proach to determinize timed automata. In Formal Methods in System Design 46(1) : 42-80 (2015). (9)
— Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen : Off-line test selection with test purposes for non-deterministic timed automata. In Logical Methods in Computer Science 8(4) (2012). (7)
— Moez Krichen : A formal framework for black-box conformance testing of distri-buted real-time systems. In International Journal of Critical Computer-Based Systems, IJCCBS 3(1/2) : 26-43. 2012. (14) [Arabic version available (40)] — Mariam Lahami, Moez Krichen and Mohamed Jmaiel. A distributed Test
New technologies of Information. 2012. (26)
Conférences
— Mariam Lahami, Moez Krichen, Roobaea Alroobaea. Towards a Test Execution Platform As-A-Service : Application in the E-Health Domain. In Proceedings of the 2nd International Conference on Control, Automation and Diagnosis (IC-CAD 2018), Marrakech, Morocco, March 19-21, 2018. IEEE, 2018. (23) — Moez Krichen, Afef Jmal Maâlej, Mariam Lahami, Mohamed Jmaiel. A
Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions. In Enterprise Information Systems - 20th International Conference, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Revised Selected Papers, pages 130-157, LNBIP, volume 363. Springer, 2018. (18)
— Afef Jmal Maâlej, Mariam Lahami, Moez Krichen, Mohamed Jmaiel. Distribu-ted and Resource-Aware Load Testing of WS-BPEL Compositions. In Procee-dings of the 20th International Conference on Enterprise Information Systems (ICEIS 2018), Funchal, Madeira, Portugal, March 21-24, 2018, Volume 2. Sci-TePress 2018. (38)
— Moez Krichen, Omar Cheikhrouhou, Mariam Lahami, Roobaea Alroobaea, Afef Jmal Maâlej. Towards a Model-Based Testing Framework for the Security of ternet of Things for Smart City Applications. In Proceedings of the 1st EAI In-ternational Conference on Smart Societies Infrastructure, Technologies, and Ap-plications (SCITA 2017), Jeddah, Saudi Arabia, November 27-29, 2017. Sprin-ger, 2017. (16)
— Afef Jmal Maâlej, Moez Krichen. WSCLim : A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions. In Proccedings of the 11th International Conference on Tests and Proofs (TAP 2017), pages 139-151, Mar-burg, Germany, July 19-20, 2017. Springer, 2017. (37)
— Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel. Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. In Proccedings of the 27th IFIP International Conference of Testing Software and Systems (ICTSS 2015), pages 224-239, Sharjah and Dubai, United Arab Emi-rates, November 23-25, 2015. Springer, 2015. (24)
— Mariam Lahami, Moez Krichen. Test Isolation Policy for Safe Runtime Valida-tion of Evolvable Software Systems. In Proceedings of the 22nd IEEE Interna-tional Conference on Enabling Technologies : Infrastructures for Collaborative Enterprises (WETICE 2013), pages 377-382, Hammamet, Tunisia, June 17-20, 2013, IEEE Computer Society. (24)
— Afef Jmal Maâlej, Manel Hamza, Moez Krichen. WSCLT : A Tool for WS-BPEL Compositions Load Testing. In Proceedings of the 22nd IEEE Interna-tional Conference on Enabling Technologies : Infrastructures for Collaborative Enterprises (WETICE 2013), pages 272-277, Hammamet, Tunisia, June 17-20, 2013, IEEE Computer Society. (30)
— Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel. Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Sys-tems. In Proccedings of the 23rd IFIP International Conference of Testing
Soft-ware and Systems, ICTSS 2012, Aalborg, Denmark, November 19 - 21, 2012. Springer, 2012. (22)
— Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel. Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems. In Proceedings of the 23rd IFIP Inter-national Conference of Testing Software and Systems, ICTSS 2012, Aalborg, Denmark, November 19 - 21, 2012. Springer, 2012 (25)
— Mariam Lahami, Moez Krichen, Mohamed Jmaiel. A distributed Test Archi-tecture For Adaptable and Distributed Real-Time Systems. In Proceedings of ’Conférence sur les Architectures Logicielles’,CAL 2011, Lille, France, June 2011. (26)
— Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen. A Game Ap-proach to Determinize Timed Automata. In Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS’11, Saarbrucken, Germany, April 2011. LNCS 6604, pages 245-259. Springer,2011. (6)
— Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata. In Pro-ceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’11), Saarbrucken, Germany, April 2011. LNCS 6605, pages 96-111. Springer, 2011. (8)
— Moez Krichen. A Formal Framework for Conformance Testing of Distributed Real-Time Systems. In Proceedings of the 14th International Conference On Principles Of Distributed Systems, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. LNCS 6490, pages 139-142. Springer, 2010. (13)
— Mariam Lahami, Moez Krichen, Akram Idani, Mohamed Jmaiel. A generic pro-cess to build reliable distributed software components from early to late stages of software development. In Sixth International Conference on Computer Engi-neering and Systems, ICCES 2010, Cairo, Egypt, November 30 - December 2, 2010, Proceedings. (29)
— Moez Krichen, Monika Solanki. Automatic Generation of Real-Time Observers for Monitoring Web Services. In Second International Conference on Web and Information Technologies, ICWIT 2009, Kerkennah Islands, Sfax, Tunisia, June 12 - 14, 2009, Proceedings. (19)
— Matthieu Gallien, Fahmi Gargouri, Imen Kahloul, Moez Krichen, Thanh Hung Nguyen, Saddek Bensalem, Félix Ingrand. D’une approche modulaire à une ap-proche orientée composant pour le développement de systèmes autonomes : dé-fis et principes. In 3rd National Conference on Control Architectures of Robots, CAR 2008, Bourges, France, May 29 - 30, 2008, Proceedings. Invited paper. (10) — Saddek Bensalem, Marius Bozga, Matthieu Gallien, Félix Ingrand, Moez Kri-chen, Stavros Tripakis. Automatic generation of observers for the dala robot with ttg. In 1st Mediterranean Conference on Intelligent Systems and Automa-tion, CISA 2008, Annaba, Algeria, June 30 - July 02, 2008, Proceedings, volume 1019 of American Institute of Physics, pages 487–492. AIP, 2008. (4)
Real-Time Testers Using Action Refinement Techniques. Dans les Actes de la Conférence Internationale sur les Relations, Ordres et Graphes : Interaction avec l’Informatique, ROGICS 2008, Mahdia, Tunisie, 12-17 Mai 2008.
Workshops
— Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel. A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures. In Proccedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System (VECoS 2016), Tunis, Tunisia, October 6-7, 2016. CEUR-WS.org 2016. (33)
— Mariam Lahami, Moez Krichen, Mohamed Jmaiel. Runtime Testing Framework for Improving Quality in Dynamic Service-based Systems. In Proceedings of the 2nd International Workshop on Quality Assurance for Service-Based Applica-tions (QASBA 2013) in conjunction with the International Symposium in Soft-ware Testing and Analysis (ISSTA 2013), pages 17-24 , Lugano, Switzerland, July 2013. ACM. (27)
— Afef Jmal Maâlej, Zeineb Ben Makhlouf, Moez Krichen, Mohamed Jmaiel. Confor-mance Testing for Quality Assurance of Clustering Architectures. In Proceedings of the 2nd International Workshop on Quality Assurance for Service-Based Ap-plications (QASBA 2013) in conjunction with the International Symposium in Software Testing and Analysis (ISSTA 2013), pages 9-16, Lugano, Switzerland, July 2013. ACM. (39)
— Afef Jmal Maâlej, Manel Hamza, Moez Krichen, Mohamed Jmaiel. Automated Significant Load Testing for WS-BPEL Compositions. In Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2013), pages 144-153, Luxembourg, March 18-22, 2013, IEEE Computer Society. (31)
— Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel. WSCCT : A Tool for WS-BPEL Compositions Conformance Testing. In Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC 2013), pages 1055-1061, Coim-bra, Portugal, March 18-22, 2013, ACM. (35)
— Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel. Model-based Conformance Testing of WS-BPEL Compositions. In Proceedings of the IEEE 36th Interna-tional Conference on Computer Software and Applications Workshops, COMP-SAC 2012, pages 452-457, Izmir, Turkey, July 16-20, 2012. IEEE Computer Society. (34)
— Saddek Bensalem, Moez Krichen, Stavros Tripakis. State Identification Pro-blems for Input/Output Transition Systems. In 9th International Workshop on Discrete Event Systems, WODES 2008, Göteborg, Sweden, May 28 - 30 2008 , Proceedings, pages 225–230. IEEE, 2008. (5)
Références
[1] R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126 :183–235, 1994.
[2] Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2) :183–235, 1994.
[3] C. Baier, N. Bertrand, P. Bouyer, and T. Brihaye. When are timed automata determinizable ? In ICALP’09, volume 5556 of LNCS, pages 43–54, 2009. [4] Saddek Bensalem, Marius Bozga, Matthieu Gallien, François Félix Ingrand, Moez
Krichen, and Stavros Tripakis. Automatic generation of observers for the dala robot with ttg. In AIP Conference Proceedings, volume 1019, pages 487–492. American Institute of Physics, 2008.
[5] Saddek Bensalem, Moez Krichen, and Stavros Tripakis. State identification pro-blems for input/output transition systems. In 2008 9th International Workshop on Discrete Event Systems, pages 225–230. IEEE, 2008.
[6] N. Bertrand, A. Stainer, T. Jéron, and M. Krichen. A game approach to deter-minize timed automata. In FOSSACS’11, 2011. To appear. Extended version as INRIA report 7381, http ://hal.inria.fr/inria-00524830.
[7] Nathalie Bertrand, Thierry Jéron, Amélie Stainer, and Moez Krichen. Off-line test selection with test purposes for non-deterministic timed automata. Logical Methods in Computer Science, 8(4), 2012.
[8] Nathalie Bertrand, Amélie Stainer, Thierry Jéron, and Moez Krichen. A game ap-proach to determinize timed automata. In Martin Hofmann, editor, Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, volume 6604 of Lecture Notes in Computer Science, pages 245– 259. Springer, 2011.
[9] Nathalie Bertrand, Amélie Stainer, Thierry Jéron, and Moez Krichen. A game approach to determinize timed automata. Formal Methods in System Design, 46(1) :42–80, 2015.
[10] Matthieu Gallien, Fahmi Gargouri, Imen Kahloul, Moez Krichen, Thanh-Hung Nguyen, Saddek Bensalem, and Félix Ingrand. D’une approche modulaire à une approche orientée composant pour le développement de systemes autonomes : Défis et principes. Proceedings of Control Architectures of Robots, CAR, 2008.
[11] M. Krichen and S. Tripakis. Conformance testing for real-time systems. Formal Methods in System Design, 34(3) :238–304, 2009.
[12] Moez Krichen. Model-Based Testing for Real-Time Systems. PhD thesis, PhD thesis, University of Joseph Fourier (December 2007), 2007.
[13] Moez Krichen. A Formal Framework for Conformance Testing of Distributed Real-Time Systems. In Proceedings of the 14th International Conference On Principles Of Distributed Systems, (OPODIS’10), 2010.
[14] Moez Krichen. A formal framework for black-box conformance testing of distribu-ted real-time systems. International Journal of Critical Computer-Based Systems, 3(1-2) :26–43, 2012.
[15] Moez Krichen. Contributions to Model-Based Testing of Dynamic and Distributed Real-Time Systems. PhD thesis, École Nationale d’Ingénieurs de Sfax (Tunisie), 2018.
[16] Moez Krichen, Omar Cheikhrouhou, Mariam Lahami, Roobaea Alroobaea, and Afef Jmal Maâlej. Towards a model-based testing framework for the security of internet of things for smart city applications. In International Conference on Smart Cities, Infrastructure, Technologies and Applications, pages 360–365. Sprin-ger, 2017.
[17] Moez Krichen, Afef Jmal Maâlej, and Mariam Lahami. A model-based approach to combine conformance and load tests : an ehealth case study. IJCCBS, 8(3/4) :282– 310, 2018.
[18] Moez Krichen, Afef Jmal Maâlej, Mariam Lahami, and Mohamed Jmaiel. A resource-aware model-based framework for load testing of ws-bpel compositions. In International Conference on Enterprise Information Systems, pages 130–157. Springer, Cham, 2018.
[19] Moez Krichen and Monika Solanki. Automatic generation of realtime observers for monitoring web services. In Proceedings of the Second International Conference on Web and Information Technologies (ICWIT’09), 2009.
[20] M. Lahami, M. Krichen, and M. Jmaïel. Safe and Efficient Runtime Testing Fra-mework Applied in Dynamic and Distributed Systems. Science of Computer Pro-gramming (SCP), 122(C) :1–28, 2016.
[21] Mariam Lahami. Runtime testing of dynamically adaptable and distributed com-ponent based Systems. Theses, Ecole Nationale d’Ingénieurs de Sfax, April 2017. [22] Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, and Mohamed Jmaïel. Towards
a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Sys-tems. In Proceedings of the 24th IFIP WG 6.1 International Conference Testing Software and Systems (ICTSS’12), pages 71–86, 2012.
[23] Mariam Lahami, Moez Krichen, and Roobaea Alroobaea. Towards a test execution platform as-a-service : Application in the e-health domain. In 2018 International Conference on Control, Automation and Diagnosis (ICCAD), pages 1–6. IEEE, 2018.
[24] Mariam Lahami, Moez Krichen, Hajer Barhoumi, and Mohamed Jmaiel. Selective test generation approach for testing dynamic behavioral adaptations. In IFIP In-ternational Conference on Testing Software and Systems, pages 224–239. Springer, 2015.
[25] Mariam Lahami, Moez Krichen, Mariam Bouchakwa, and Mohamed Jmaïel. Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adap-table and Distributed Systems. In Proceedings of the 24th IFIP WG 6.1 Inter-national Conference Testing Software and Systems (ICTSS’12), pages 103–118, 2012.
[26] Mariam Lahami, Moez Krichen, and Mohamed Jmaiel. A distributed test ar-chitecture for adaptable and distributed real-time systems. In Philippe Aniorté, editor, Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL’2011, Lille, France, 7-8 Juin 2011, volume L-6 of Revue des Nouvelles Technologies de l’Information, pages 73–92. Hermann, 2011. [27] Mariam Lahami, Moez Krichen, and Mohamed Jmaïel. Runtime Testing Frame-work for Improving Quality in Dynamic Service-based Systems. In Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applica-tions (QASBA’13), in conjunction with (ISSTA’13), pages 17–24, 2013.
[28] Mariam Lahami, Moez Krichen, and Mohamed Jmaïel. Runtime testing approach of structural adaptations for dynamic and distributed systems. International Jour-nal of Computer Applications in Technology, 51(4) :259–272, 2015.
[29] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, and Akram Idani. A generic process to build reliable distributed software components from early to late stages of software development. In The 2010 International Conference on Computer Engineering & Systems, pages 287–292. IEEE, 2010.
[30] Afef Jmal Maâlej, Manel Hamza, and Moez Krichen. Wsclt : a tool for ws-bpel compositions load testing. In 2013 Workshops on Enabling Technologies : Infra-structure for Collaborative Enterprises, pages 272–277. IEEE, 2013.
[31] Afef Jmal Maâlej, Manel Hamza, Moez Krichen, and Mohamed Jmaïel. Automated significant load testing for ws-bpel compositions. In Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation, pages 144–153, Luxembourg, March 18-22 2013. IEEE Computer Society.
[32] Afef Jmal Maâlej and Moez Krichen. Study on the limitations of ws-bpel compo-sitions under load conditions. The Computer Journal, 58(3) :385–402, 2015. [33] Afef Jmal Maâlej and Moez Krichen. A model based approach to combine load
and functional tests for service oriented architectures. In VECoS, pages 123–140, 2016.
[34] Afef Jmal Maâlej, Moez Krichen, and Mohamed Jmaïel. Model-Based Confor-mance Testing of WS-BPEL Compositions. In Proceeding of the 4th IEEE In-ternational Workshop on Software Test Automation (STA’12) in conjunction with (COMPSAC ’12), pages 452–457, 2012.
[35] Afef Jmal Maâlej, Moez Krichen, and Mohamed Jmaïel. Wscct : A tool for ws-bpel compositions conformance testing. In Proceedings of the 28th Annual ACM Symposium on Applied Computing, pages 1055–1061, 2013.
[36] Afef Jmal Maâlej, Moez Krichen, and Mohamed Jmaïel. A comparative evalua-tion of state-of-the-art load and stress testing approaches. Int. J. Comput. Appl. Technol., 51(4) :283–293, July 2015.
[37] Afef Jmal Maâlej, Moez Krichen, and Mohamed Jmaïel. Wsclim : A tool for model-based testing of ws-bpel compositions under load conditions. In International Conference on Tests and Proofs, pages 139–151. Springer, 2017.
Dis-tributed and resource-aware load testing of ws-bpel compositions. In ICEIS (2), pages 29–38, 2018.
[39] Afef Jmal Maâlej, Zeineb Ben Makhlouf, Moez Krichen, and Mohamed Jmaiel. Conformance testing for quality assurance of clustering architectures. In Procee-dings of the 2013 International Workshop on Quality Assurance for Service-based Applications, pages 9–16, 2013.
[40] Moez Krichen. A black-box model-based framework for conformance testing of real-time distributed systems (in arabic). 2018.
