Model Driven Mutation Applied to Adaptative Systems Testing

Dynamically Adaptive Systems modify their behav- ior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical sys- tems increasingly incorporate dynamic adaptation capabilities; examples include disaster relief and space exploration systems. In this paper, we focus on mutation testing of the adaptation logic. We propose a fault model for adaptation logics that classifies faults into environmental completeness and adaptation correct- ness. Since there are several adaptation logic languages relying on the same underlying concepts, the fault model is expressed independently from specific adaptation languages. Taking benefit from model-driven engineering technology, we express these common concepts in a metamodel and define the operational semantics of mutation operators at this level. Mutation is applied on model elements and model transformations are used to propagate these changes to a given adaptation policy in the chosen formalism. Preliminary results on an adaptive web server highlight the difficulty of killing mutants for adaptive systems, and thus the difficulty of generating efficient tests.Comment: IEEE International Conference on Software Testing, Verification and Validation, Mutation Analysis Workshop (Mutation 2011), Berlin : Allemagne (2011

Contribution à l'étude des communautés d'adventices des culture du secteur phytogéographique oranais (Nord-ouest algérien) : aspects botanique, agronomique et phyto-écologique

International audienceL'étude de l'enherbement des agrosystèmes d'Oranie, dans le Nord-Ouest de l'Algérie, s'appuie sur 547 relevés floristiques réalisés dans les différentes cultures de cette région, pour décrire les caractères d'ensemble de la flore adventice ainsi que les attributs botaniques, phytogéographiques, biologiques et éthologiques des 425 espèces recensées. Nous analysons l'importance agronomique des espèces à partir de leur fréquence relative et de leur recouvrement moyen. La projection des espèces sur un diagramme d'infestation a permis de différencier 6 groupes d'espèces. L'étude phyto-écologique des relations entre espèces et variables de milieu par l'analyse non-symétrique des correspondances – NSC, sous contrainte environnementale indique que la principale source de variation floristique au niveau des différents terroirs d'Oranie est liée aux systèmes de cultures

Inquiring the usage of aspect-oriented programming: an empirical study

International audienceBack in 2001, the MIT announced aspect-orientedprogramming as a key technology in the next 10 years.Nowadays, 8 years later, AOP is not widely adopted.Several reasons can explain this distrust in front ofAOP, and one of them is the lack of robust tools foranalysis, testing and maintenance. In order to developdedicated solutions for assisting the development withAOP, and increase its adoption, we need to understandhow it is actually used. In this paper we analyze 38aspect-oriented open source projects with respect tothe impact of aspects on the projects, and to coverageof the language features. This reveals that AOP iscurrently used in a cautious way. This work is a firststep to built support and development tools dedicatedto actual practices for AOP, based on empirical usage profiles

Characterisation of wheel/rail roughness and track decay rates on a tram network

From the beginning of 2019, the new CNOSSOS-EU method shall be used for strategic noise mapping in application of Directive 2002/49/EC instead of national noise prediction methods. For the railway part, the operators are responsible for providing input data describing the different noise sources characterising the railway system. Concerning the rolling noise, the vehicle and the track have to be distinguished by providing specific transfer functions and wheel/rail roughness spectra. For conventional railways, default values are given in the CNOSSOS-EU method and national operators generally have experimental data at their disposal to evaluate these new input parameters. This is not the case for tram networks, for which very few measurements exist, notably concerning the wheel and rail roughness or the track transfer function. In 2018, Acoucité and IFSTTAR performed an acoustic test campaign on a French tram network in order to propose tram input data from pass-by measurements corresponding to various sites and vehicles. In this paper, the results concerning the direct measurements of wheel/rail roughness and track decay rates (a key parameter for the assessment of the track transfer function) are presented and discussed. The main differences with data corresponding to conventional railways are highlighted

Modelling the impact of COVID-19-related programme interruptions on visceral leishmaniasis in India

BACKGROUND: In March 2020, India declared a nationwide lockdown to control the spread of coronavirus disease 2019. As a result, control efforts against visceral leishmaniasis (VL) were interrupted. METHODS: Using an established age-structured deterministic VL transmission model, we predicted the impact of a 6- to 24-month programme interruption on the timeline towards achieving the VL elimination target as well as on the increase of VL cases. We also explored the potential impact of a mitigation strategy after the interruption. RESULTS: Delays towards the elimination target are estimated to range between 0 and 9 y. Highly endemic settings where control efforts have been ongoing for 5-8 y are most affected by an interruption, for which we identified a mitigation strategy to be most relevant. However, more importantly, all settings can expect an increase in the number of VL cases. This increase is substantial even for settings with a limited expected delay in achieving the elimination target. CONCLUSIONS: Besides implementing mitigation strategies, it is of great importance to try and keep the duration of the interruption as short as possible to prevent new individuals from becoming infected with VL and continue the efforts towards VL elimination as a public health problem in India

A cell-based smoothed finite element method for kinematic limit analysis

This paper presents a new numerical procedure for kinematic limit analysis problems, which incorporates the cell-based smoothed finite element method with second-order cone programming. The application of a strain smoothing technique to the standard displacement finite element both rules out volumetric locking and also results in an efficient method that can provide accurate solutions with minimal computational effort. The non-smooth optimization problem is formulated as a problem of minimizing a sum of Euclidean norms, ensuring that the resulting optimization problem can be solved by an efficient second-order cone programming algorithm. Plane stress and plane strain problems governed by the von Mises criterion are considered, but extensions to problems with other yield criteria having a similar conic quadratic form or 3D problems can be envisaged

Isolation of bis-indole alkaloids with antileishmanial and antibacterial activities from Peschiera van heurkii (syn. Tabernaemontana van heurkii)

Des extraits de feuilles et d'écorces de tiges de #Peschiera van heurkii (Muell. Arg.) L. Allorge, (Syn. #Tabernaemontana van heurkii Muell. Arg.) ont montré une activité antileishmanienne et antibactérienne significative. Les activités étaient concentrées dans les fractions alcaloïdiques, desquelles ont été isolés et identifiés 20 alcaloïdes indoliques et bis-indoliques. La plus forte activité leishmanicide et antibactérienne fut observée avec les alcaloïdes dimères conodurine (1), N-démethyle - conodurine (=gabunine) et conoduramine. Les deux premiers composés se sont avérés faiblement toxiques vis-à-vis des cellules hôtes les macrophages, tout en présentant une forte toxicité pour les formes intracellulaires du parasite. #In vitro$, l'alcaloïde (1) s'est avéré moins actif que le médicament de référence, le glucantime (=N-methylglucamine antimonate). (Résumé d'auteur