Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

Many approaches for testing configurable software systems start from the same assumption: it is impossible to test all configurations. This motivated the definition of variability-aware abstractions and sampling techniques to cope with large configuration spaces. Yet, there is no theoretical barrier that prevents the exhaustive testing of all configurations by simply enumerating them if the effort required to do so remains acceptable. Not only this: we believe there is a lot to be learned by systematically and exhaustively testing a configurable system. In this case study, we report on the first ever endeavour to test all possible configurations of the industry-strength, open source configurable software system JHipster, a popular code generator for web applications. We built a testing scaffold for the 26,000+ configurations of JHipster using a cluster of 80 machines during 4 nights for a total of 4,376 hours (182 days) CPU time. We find that 35.70% configurations fail and we identify the feature interactions that cause the errors. We show that sampling strategies (like dissimilarity and 2-wise): (1) are more effective to find faults than the 12 default configurations used in the JHipster continuous integration; (2) can be too costly and exceed the available testing budget. We cross this quantitative analysis with the qualitative assessment of JHipster’s lead developers.</p

Strained HgTe: a textbook 3D topological insulator

Topological insulators can be seen as band-insulators with a conducting surface. The surface carriers are Dirac particles with an energy which increases linearly with momentum. This confers extraordinary transport properties characteristic of Dirac matter, a class of materials which electronic properties are "graphene-like". We show how HgTe, a material known to exhibit 2D spin-Hall effect in thin quantum wells,\cite{Konig2007} can be turned into a textbook example of Dirac matter by opening a strain-gap by exploiting the lattice mismatch on CdTe-based substrates. The evidence for Dirac matter found in transport shows up as a divergent Hall angle at low field when the chemical potential coincides with the Dirac point and from the sign of the quantum correction to the conductivity. The material can be engineered at will and is clean (good mobility) and there is little bulk contributions to the conductivity inside the band-gap

Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

Many approaches for testing configurable software systems start from the same assumption: it is impossible to test all configurations. This motivated the definition of variability-aware abstractions and sampling techniques to cope with large configuration spaces. Yet, there is no theoretical barrier that prevents the exhaustive testing of all configurations by simply enumerating them, if the effort required to do so remains acceptable. Not only this: we believe there is lots to be learned by systematically and exhaustively testing a configurable system. In this case study, we report on the first ever endeavour to test all possible configurations of an industry-strength, open source configurable software system, JHipster, a popular code generator for web applications. We built a testing scaffold for the 26,000+ configurations of JHipster using a cluster of 80 machines during 4 nights for a total of 4,376 hours (182 days) CPU time. We find that 35.70% configurations fail and we identify the feature interactions that cause the errors. We show that sampling strategies (like dissimilarity and 2-wise): (1) are more effective to find faults than the 12 default configurations used in the JHipster continuous integration; (2) can be too costly and exceed the available testing budget. We cross this quantitative analysis with the qualitative assessment of JHipster's lead developers.Comment: Submitted to Empirical Software Engineerin

Agriculture et biodiversité. Valoriser les synergies

Que sait-on aujourd'hui des impacts, positifs et négatifs, de l’agriculture sur la biodiversité ? Quels services la biodiversité peut-elle apporter à l’agriculture, et à quelle hauteur de performance ? Comment favoriser au champ les synergies entre agriculture et biodiversité ? Quels instruments de politiques publics, économiques et juridiques, faut-il mettre en place pour promouvoir ces interactions ? Ces questions ont mobilisé un groupe pluridisciplinaire d’experts (écologues, agronomes, microbiologistes, spécialistes de santé végétale, économistes, juristes, sociologues), de différentes institutions (Inra, CNRS, IRD, Universités, Ecoles supérieures agronomiques) en France et à l’étrange

A Vision for Behavioural Model-Driven Validation of Software Product Lines

International audienceThe Software Product Lines (SPLs) paradigm promises faster development cycles and increased quality by systematically reusing software assets. This paradigm considers a family of systems, each of which can be obtained by a selection of features in a variability model. Though essential, providing Quality Assurance (QA) techniques for SPLs has long been perceived as a very difficult challenge due to the combinatorics induced by variability and for which very few techniques were available. Recently, important progress has been made by the model-checking and testing communities to address this QA challenge, in a very disparate way though. We present our vision for a unified framework combining model-checking and testing approaches applied to behavioural models of SPLs. Our vision relies on Featured Transition Systems (FTSs), an extension of transition systems supporting variability. This vision is also based on model-driven technologies to support practical SPL modelling and orchestrate various QA scenarios. We illustrate such scenarios on a vending machine SPL

Increasing crop heterogeneity enhances multitrophic diversity across agricultural regions

International audienceAgricultural landscape homogenization has detrimental effects on biodiversity and key ecosystem services. Increasing agricultural landscape heterogeneity by increasing seminatural cover can help to mitigate biodiversity loss. However, the amount of seminatural cover is generally low and difficult to increase in many intensively managed agricultural landscapes. We hypothesized that increasing the heterogeneity of the crop mosaic itself (hereafter “crop heterogeneity”) can also have positive effects on biodiversity. In 8 contrasting regions of Europe and North America, we selected 435 landscapes along independent gradients of crop diversity and mean field size. Within each landscape, we selected 3 sampling sites in 1, 2, or 3 crop types. We sampled 7 taxa (plants, bees, butterflies, hoverflies, carabids, spiders, and birds) and calculated a synthetic index of multitrophic diversity at the landscape level. Increasing crop heterogeneity was more beneficial for multitrophic diversity than increasing seminatural cover. For instance, the effect of decreasing mean field size from 5 to 2.8 ha was as strong as the effect of increasing seminatural cover from 0.5 to 11%. Decreasing mean field size benefited multitrophic diversity even in the absence of seminatural vegetation between fields. Increasing the number of crop types sampled had a positive effect on landscape-level multitrophic diversity. However, the effect of increasing crop diversity in the landscape surrounding fields sampled depended on the amount of seminatural cover. Our study provides large-scale, multitrophic, cross-regional evidence that increasing crop heterogeneity can be an effective way to increase biodiversity in agricultural landscapes without taking land out of agricultural production

Clinical practice guidelines for BRCA1 and BRCA2 genetic testing

BRCA1 and BRCA2 gene pathogenic variants account for most hereditary breast cancer and are increasingly used to determine eligibility for PARP inhibitor (PARPi) therapy of BRCA-related cancer. Because issues of BRCA testing in clinical practice now overlap with both preventive and therapeutic management, updated and comprehensive practice guidelines for BRCA genotyping are needed. The integrative recommendations for BRCA testing presented here aim to (1) identify individuals who may benefit from genetic counselling and risk-reducing strategies; (2) update germline and tumour-testing indications for PARPi-approved therapies; (3) provide testing recommendations for personalised management of early and metastatic breast cancer; and (4) address the issues of rapid process and tumour analysis. An international group of experts, including geneticists, medical and surgical oncologists, pathologists, ethicists and patient representatives, was commissioned by the French Society of Predictive and Personalised Medicine (SFMPP). The group followed a methodology based on specific formal guidelines development, including (1) evaluating the likelihood of BRCAm from a combined systematic review of the literature, risk assessment models and expert quotations, and (2) therapeutic values of BRCAm status for PARPi therapy in BRCA-related cancer and for management of early and advanced breast cancer. These international guidelines may help clinicians comprehensively update and standardise BRCA testing practices

Extracorporeal Membrane Oxygenation for Severe Acute Respiratory Distress Syndrome associated with COVID-19: An Emulated Target Trial Analysis.

RATIONALE: Whether COVID patients may benefit from extracorporeal membrane oxygenation (ECMO) compared with conventional invasive mechanical ventilation (IMV) remains unknown. OBJECTIVES: To estimate the effect of ECMO on 90-Day mortality vs IMV only Methods: Among 4,244 critically ill adult patients with COVID-19 included in a multicenter cohort study, we emulated a target trial comparing the treatment strategies of initiating ECMO vs. no ECMO within 7 days of IMV in patients with severe acute respiratory distress syndrome (PaO2/FiO2 <80 or PaCO2 ≥60 mmHg). We controlled for confounding using a multivariable Cox model based on predefined variables. MAIN RESULTS: 1,235 patients met the full eligibility criteria for the emulated trial, among whom 164 patients initiated ECMO. The ECMO strategy had a higher survival probability at Day-7 from the onset of eligibility criteria (87% vs 83%, risk difference: 4%, 95% CI 0;9%) which decreased during follow-up (survival at Day-90: 63% vs 65%, risk difference: -2%, 95% CI -10;5%). However, ECMO was associated with higher survival when performed in high-volume ECMO centers or in regions where a specific ECMO network organization was set up to handle high demand, and when initiated within the first 4 days of MV and in profoundly hypoxemic patients. CONCLUSIONS: In an emulated trial based on a nationwide COVID-19 cohort, we found differential survival over time of an ECMO compared with a no-ECMO strategy. However, ECMO was consistently associated with better outcomes when performed in high-volume centers and in regions with ECMO capacities specifically organized to handle high demand. This article is open access and distributed under the terms of the Creative Commons Attribution Non-Commercial No Derivatives License 4.0 (http://creativecommons.org/licenses/by-nc-nd/4.0/)