Assistance au test de modèles à composants et services

ISBN 978-2-905267-89-4International audienceDans l'ingénierie des modèles, la correction des modèles est essentielle. Tester le plus tôt possible permet de réduire le coût du processus de véri cation et de validation. Distinguer modèle abstrait et modèle spéci fique réduit la complexité du test et favorise l'évolution du système modélisé. Nous ciblons les modèles à composants et services, ayant un niveau de description su ffisamment précis et détaillé pour pouvoir exécuter les tests. Notre objectif est de tester ces modèles à composants c'est-à-dire de concevoir des cas de tests, de les appliquer sur les modèles mis dans un contexte adéquat pour être exécutés et obtenir un verdict. Pour réduire l'eff ort de construction du harnais de test, nous proposons une méthode qui guide le testeur dans le processus de conception des tests au niveau du modèle. L'assistance à la construction est basée sur (1) la détection d'incohérences et d'incomplétude entre le harnais et le modèle de test ainsi que sur (2) des propositions générant les éléments manquants. Le programme de test est alors transformé vers une plateforme technique dédiée à l'exécution des tests. La mise en oeuvre est réalisée avec des plugins Eclipse dans COSTO, une plateforme dédiée au modèle à composants Kmelia

Controlling the Elasticity of Web Applications on Cloud Computing - Extended Version

Web applications are often exposed to unpredictable work-loads, which makes computing resource management di-cult. The resource may be overused when the workload is high and underused when the workload is low. A solution to deal with unpredictable workloads is to migrate Web applications to cloud computing infrastructures, where the resource is varied according to demand, i. e., elasticity. With elasticity, all the resource variations happen during the Web application runtime. To deal with this, the Web application , and its service layers must behave in an elastic manner , which comprises adaptation tasks. These tasks may introduce functional and non-functional errors into the Web application. To nd these errors, we must test the Web application when the adaptation tasks are performed, during the resource variations. Some tests may require a specic sequence of resource variations, which are dicult to be achieved without controllability. Therefore, in this paper, we propose an approach that controls the required resource variations. We validated our approach by conducting several experiments on Amazon EC2 cloud infrastructures. In these experiments, we successfully lead the Web application through the required resource variations

Discovering Model Transformation Pre-conditions using Automatically Generated Test Models

International audienceSpecifying a model transformation is challenging as it must be able to give a meaningful output for any input model in a possibly infinite modeling domain. Transformation preconditions constrain the input domain by rejecting input models that are not meant to be transformed by a model transformation. This paper presents a systematic approach to discover such preconditions when it is hard for a human developer to foresee complex graphs of objects that are not meant to be transformed. The approach is based on systematically generating a finite number of test models using our tool, PRAMANA to first cover the input domain based on input domain partitioning. Tracing a transformation's execution reveals why some preconditions are missing. Using a benchmark transformation from simplified UML class diagram models to RDBMS models we discover new preconditions that were not initially specified

Test Cases Evolution of Mobile Applications: Model Driven Approach

AELOS_HCERES2020 , NAOMOD_HCERES2020Mobile Applications Developers, with large freedom given to them, focus on satisfying market requirements and on pleasing consumer’s desires. They are forced to be creative and productive in a short period of time. As a result, billions of powerful mobile applications are displayed every day. Therefore, every mobile application needs to continually change and make an incremental evolution in order to survive and preserve its ranking among the top applications in the market. Mobile apps Testers hold a heavy responsibility on their shoulders, the intrinsic nature of agile swift change of mobile apps pushes them to be meticulous, to be aware that things can be different at any time, and to be prepared for unpredicted crashes. Therefore, starting the generation or the creation of test cases from scratch and selecting each time the overridden or the overloaded test cases is a tedious operation. In software testing the time allocated for testing and correcting defects is important for every software development (regularly half the time). This time can be reduced by the introduction of tools and the adoption of new testing methods. In the field of mobile development, new concerns should be taken into account; among the most important ones are the heterogeneity of execution environments and the fragmentation of terminals which have different impacts on the functionality, performance, and connectivity. This project studies the evolution of mobile applications and its impact on the evolution of test cases from their creation until their expiration stage. A detailed case study of a native open source Android application is provided; describing many aspects of design, development, testing in addition to the analysis of the process of mobile apps evolution. This project based on model driven engineering approach where the models are serialized using the standard XMI. It presents a protocol for the adaptation of test cases under certain restrictions

Using Models of Partial Knowledge to Test Model Transformations

International audienceTesters often use partial knowledge to build test models. This knowledge comes from sources such as requirements, known faults, existing inputs, and execution traces. In Model-Driven Engineering, test inputs are models executed by model transformations. Modelers build them using partial knowledge while meticulously satisfying several well-formedness rules imposed by the modelling language. This manual process is tedious and language constraints can force users to create complex models even for representing simple knowledge. In this paper, we want to simplify the development of test models by presenting an integrated methodology and semi-automated tool that allow users to build only small partial test models directly representing their testing intent. We argue that partial models are more readable and maintainable and can be automatically completed to full input models while considering language constraints. We validate this approach by evaluating the size and fault-detecting effectiveness of partial models compared to traditionally-built test models. We show that they can detect the same bugs/faults with a greatly reduced development effort

Filtered Comparison for Oracle in ModelTransformation Testing

International audienceFocusing on one part of a produced output helps in improving model transformation testin

Le culte protestant [Actes des États généraux du culte protestant : « Le culte, y croyons-nous encore ? »]

Notre Institut Romand de Pastorale vient d'organiser à Crêt-Bérard, du 16 au 18 juin 2 0 0 0 , un colloque intitulé Etats généraux du culte protestant. Cet intitulé, quelque peu ambitieux, ne doit pas conduire les lecteurs et lectrices à croire qu'il s'agirait ici d'un aboutissement définitif. Nous voulions plutôt faire le point ensemble, nous arrêter sur les expériences présentes menées ici et là en Suisse romande, réfléchir sereinement à l'avenir du culte. Je regrette que la presse n'ait retenu que le mot «crise» et beaucoup moins celui de reconstruction, qui nous tenait à cœur ! Foin de la sinistrose et bravo aux aombreuses initiatrices et aux nombreux initiateurs d'essais de renouvellement, beaucoup plus nombreux qu'on ne l'imagine ! À cet égard, je pense avec le recul que l'on se réjouira surtout de lire - pour s'en inspirer, espérons-le - les présentations d'expériences concrètes. Elles furent les moments forts de cette réunion. Notre ministère d'enseignement consiste pour une bonne part à encourager et faire connaître plus largement des initiatives neuves et prometteuses, qui souvent s'inscrivent déjà dans la durée. Dommage que nous n'ayons peut-être pas pu ou pas su évaluer ensemble, universitaires et pasteur(e)s, de tels essais, ce qui était mon objectif initial. Je n'oublie pas les contributions des matinées, fort suggestives et parfois provocatrices. Pour retrouver la dynamique même du colloque, nous avons retenu la plupart des contributions comme elles ont été exposées, dans l'ordre chronologique prévu, la plupart sous la forme où elles ont été présentées. Je signale seulement que les phrases encadrées ont été choisies par la rédaction. Certaines interventions, notamment des réactions de laïcs qui nous sont parvenues avant ou après le colloque ont été intercalées. Des dessins agrémentent la lecture, l'humour faisant partie de notre religion - quoiqu'on en dise ... Au total donc, un colloque réussi, malgré ses inévitables imperfections. Nous tâcherons de faire encore mieux la prochaine fois! En effet, nous avons le projet d'organiser en 2002, comme promis, une autre réunion, dont le thème portera cette fois sur la réception actuelle de l'œuvre et de la vie de Dietrich Bonhoeffer. Le Comité de gestion de l'IRP vient d'en accepter le principe. Je m'en réjouis déjà et je compte réunir à cette occasion des chercheurs francophones, notamment de France et d'Italie, notre langue étant en passe de disparaître totalement des échanges internationaux, comme je viens d'en faire l'expérience à Berlin. Le présent Supplément aux Cahiers de l'IRP s'inscrit dans la continuité du premier, qui portait sur l'enseignement de l'homilétique, témoignant que nous avons de la suite dans les idées. Je remercie très vivement Olivier Bauer, assistant, de m'avoir secondé dans l'organisation du colloque et dans la fabrication de la présente publication, ainsi qu'Annie Claire Blum qui a relu et corrigé l'ensemble des textes

Pain during injections of botulinum toxin in children: Influence of the localization technique

Objective In this study, we consider two localization techniques used in injections of botulinium toxin in children: electrical stimulation and ultrasound. The hypothesis of this work was that injections performed without stimulation would be less painful. Patients and methods Monocentric prospective study, with 107 sessions of lower limb injections. Two groups of children were compared: localization by ultrasound only (60 children), detection by stimulation only or by stimulation combined with ultrasound (47 children). Pain assessment was performed by the child or an accompanying party using the Visual Analog Scale (VAS) and by a health care team using the Face, Legs, Activity, Cry, Consolability (FLACC). Results A significant difference between the two groups was found in both self-report and by means of the behavioral observational pain scale. Indeed, VAS average and FLACC average were significantly higher with detection by stimulation than with ultrasound alone: 4.5 cm ± 2.54 versus 2.7 cm ± 2.27; P < 0.001 for VAS scale and 3.7 ± 2.1 versus 2.7 ± 2.3; P < 0.05 for FLACC scale. Conclusion When compared to ultrasound detection, localization by electrostimulation appears to increase the overall pain caused during injections of botulinum toxin in children