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

World of Crayfish™: a web platform towards real-time global mapping of freshwater crayfish and their pathogens

Freshwater crayfish are amongst the largest macroinvertebrates and play a keystone role in the ecosystems they occupy. Understanding the global distribution of these animals is often hindered due to a paucity of distributional data. Additionally, non-native crayfish introductions are becoming more frequent, which can cause severe environmental and economic impacts. Management decisions related to crayfish and their habitats require accurate, up-to-date distribution data and mapping tools. Such data are currently patchily distributed with limited accessibility and are rarely up-to-date. To address these challenges, we developed a versatile e-portal to host distributional data of freshwater crayfish and their pathogens (using Aphanomyces astaci, the causative agent of the crayfish plague, as the most prominent example). Populated with expert data and operating in near real-time, World of Crayfish™ is a living, publicly available database providing worldwide distributional data sourced by experts in the field. The database offers open access to the data through specialized standard geospatial services (Web Map Service, Web Feature Service) enabling users to view, embed, and download customizable outputs for various applications. The platform is designed to support technical enhancements in the future, with the potential to eventually incorporate various additional features. This tool serves as a step forward towards a modern era of conservation planning and management of freshwater biodiversity