Combinatorial Interaction Testing for Automated Constraint Repair

Highly-configurable software systems can be easily adapted to address user’s needs. Modelling parameter configurations and their relationships can facilitate software reuse. Combinatorial Interaction Testing (CIT) methods are already often used to drive systematic testing of software system configurations. However, a model of the system’s configurations not conforming with respect to its software implementation, must be repaired in order to restore conformance. In this paper we extend CIT by devising a new search-based technique able to repair a model composed of a set of constraints among the various software system’s parameters. Our technique can be used to detect and fix faults both in the model and in the real software system. Experiments for five real-world systems show that our approach can repair on average 37% of conformance faults. Moreover, we also show it can infer parameter constraints in a large real-world software system, hence it can be used for automated creation of CIT models

Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing

The appeal of highly-configurable software systems lies in their adaptability to users’ needs. Search-based Combinatorial Interaction Testing (CIT) techniques have been specifically developed to drive the systematic testing of such highly-configurable systems. In order to apply these, it is paramount to devise a model of parameter configurations which conforms to the software implementation. This is a non-trivial task. Therefore, we extend traditional search-based CIT by devising 4 new testing policies able to check if the model correctly identifies constraints among the various software parameters. Our experiments show that one of our new policies is able to detect faults both in the model and the software implementation that are missed by the standard approaches

Fruit and vegetable knowledge and intake within an Australian population: The ausdiab study

© 2020 by the authors. Licensee MDPI, Basel, Switzerland. Understanding the relationship between fruit and vegetable knowledge (FVK) and fruit and vegetable intake (FVI) is an important consideration for improved public health and successful targeting of health promotion messaging. The aim of this study was to investigate the association between FVK and FVI in Australian adults and to identify subgroups most at risk of poor knowledge. Using data from the Australian Diabetes, Obesity, and Lifestyle Study (AusDiab), we investigated associations between FVK and FVI, as well as demographic and lifestyle factors. Baseline FVK was measured using two self-reported questions. FVI was assessed using a validated, self-reported, food frequency questionnaire in 1999/00 (baseline), 2004/05, and 2011/12. Amongst the 8966 participants assessed at baseline, 24.1% had adequate, 73.0% had insufficient, and 2.9% had poor FVK. Using linear regression, those with insufficient or poor FVK reported significantly lower FVI (grams/day) compared to those with adequate FVK: baseline (coefficient (95%CI)): −67.1 (−80.0, −54.3) and −124.0 (−142.9, −105.1), respectively, whilst, at 12 years, the differences were −42.5 (−54.6, −30.5) and −94.6 (−133.8, −55.5) grams/day, respectively (all p \u3c 0.001). Poor FVK was more likely to be reported in males, older individuals (\u3e65 years), socio-economically disadvantaged, smokers, and those with insufficient physical activity/sedentary behavior. We demonstrate that having adequate knowledge of FVI, defined as knowing to consume fruit and vegetables several times a day for a well-balanced diet, is strongly associated with FVI, with several demographic and lifestyle factors predicting FVK. Health promotion messages aimed at increasing FVK should target these subgroups for maximal effect

Associations between fruit intake and risk of diabetes in the AusDiab cohort

Context Fruit, but not fruit juice, intake is inversely associated with type 2 diabetes mellitus (T2DM). However, questions remain about the mechanisms by which fruits may confer protection. Objective The aims of this work were to examine associations between intake of fruit types and 1) measures of glucose tolerance and insulin sensitivity and 2) diabetes at follow-up. Methods Among participants of the Australian Diabetes, Obesity and Lifestyle Study, fruit and fruit juice intake was assessed by food frequency questionnaire at baseline. Associations between fruit and fruit juice intake and 1) fasting plasma glucose, 2-hour postload plasma glucose, updated homeostasis model assessment of insulin resistance of β-cell function (HOMA2-%β), HOMA2 of insulin sensitivity (HOMA2-%S), and fasting insulin levels at baseline and 2) the presence of diabetes at follow-up (5 and 12 years) were assessed using restricted cubic splines in logistic and linear regression models. Results This population of 7675 Australians (45% males) had a mean ± SD age of 54 ± 12 years at baseline. Total fruit intake was inversely associated with serum insulin and HOMA2-%β, and positively associated with HOMA2-%S at baseline. Compared to participants with the lowest intakes (quartile 1), participants with moderate total fruit intakes (quartile 3) had 36% lower odds of having diabetes at 5 years (odds ratio, 0.64; 95% CI, 0.44-0.92), after adjusting for dietary and lifestyle confounders. Associations with 12-year outcomes were not statistically significant. Conclusion A healthy diet including whole fruits, but not fruit juice, may play a role in mitigating T2DM risk

Association between fruit and vegetable intakes and mental health in the australian diabetes obesity and lifestyle cohort

Increasing prevalence of mental health disorders within the Australian population is a serious public health issue. Adequate intake of fruits and vegetables (FV), dietary fibre (DF) and resistant starch (RS) is associated with better mental and physical health. Few longitudinal studies exist exploring the temporal relationship. Using a validated food frequency questionnaire, we examined baseline FV intakes of 5845 Australian adults from the AusDiab study and estimated food group-derived DF and RS using data from the literature. Perceived mental health was assessed at baseline and 5 year follow up using SF-36 mental component summary scores (MCS). We conducted baseline cross-sectional analysis and prospective analysis of baseline dietary intake with perceived mental health at 5 years. Higher baseline FV and FV-derived DF and RS intakes were associated with better 5 year MCS (p \u3c 0.001). A higher FV intake (754 g/d vs. 251 g/d, Q4 vs. Q1) at baseline had 41% lower odds (OR = 0.59: 95% CI 0.46–0.75) of MCS below population average ( \u3c 47) at 5 year follow up. Findings were similar for FV-derived DF and RS. An inverse association was observed with discretionary food-derived DF and RS. This demonstrates the association between higher intakes of FV and FV-derived DF and RS with better 5 year mental health outcomes. Further RCTs are necessary to understand mechanisms that underlie this association including elucidation of causal effects

Provision of non-invasive coronary and carotid vascular imaging results on changes in diet and physical activity in asymptomatic adults: A scoping review

Background: Although a healthy diet and physical activity have been shown to prevent or delay cardiovascular disease (CVD) hospitalizations and deaths, most adults do not meet current guidelines. Provision of coronary artery calcification (CAC) and carotid ultrasound (CUS) imaging results may motivate beneficial lifestyle changes. We scoped the existing literature for studies providing non-invasive vascular imaging results and reporting diet, physical activity, and/or anthropometric measures to identify knowledge gaps and opportunities for further research. Methods: A systematic search was performed across three electronic databases, in line with PRISMA ScR guidelines and Arksey and O\u27Malley\u27s scoping review framework. Results: Twenty studies (thirteen observational and seven randomized controlled trials) examining the impact of provision of CAC/CUS imaging results on diet and/or physical activity behaviors were included. Nearly half the studies did not clearly state whether participants received dietary and physical activity advice along with vascular imaging results, and these were secondary outcomes in most studies, with data assessment and reporting being inconsistent. Conclusion: Well-designed clinical trials with consistent and clear messaging based on detailed subjective and objective measures of diet and physical activity are needed to determine whether this approach may stimulate long-term dietary and physical activity change

Cruciferous vegetable intake is inversely associated with extensive abdominal aortic calcification in elderly women: a cross-sectional study

We have previously shown higher intake of cruciferous vegetables is inversely associated with carotid artery intima-media thickness. To further test the hypothesis that an increased consumption of cruciferous vegetables is associated with reduced indicators of structural vascular disease in other areas of the vascular tree, we aimed to investigate the cross-sectional association between cruciferous vegetable intake and extensive calcification in the abdominal aorta. Dietary intake was assessed, using a food frequency questionnaire, in 684 older women from the Calcium Intake Fracture Outcome Study. Cruciferous vegetables included cabbage, Brussels sprouts, cauliflower and broccoli. Abdominal aortic calcification (AAC) was scored using the Kauppila AAC24 scale on dual energy x-ray absorptiometry (DXA) lateral spine images, and was categorised as “not extensive” (0-5) or “extensive” (≥6). Mean age was 74.9 (SD 2.6) y, median cruciferous vegetable intake was 28.2 (IQR 15.0-44.7) g/d, and 128/684 (18.7%) women had extensive AAC scores. Those with higher intakes of cruciferous vegetables ( \u3e 44.6 g/d) were associated with a 46% lower odds of having extensive AAC in comparison to those with lower intakes ( \u3c 15.0 g/d) after adjustment for lifestyle, dietary and cardiovascular disease risk factors (ORQ4 vs Q1=0.54, 95%CI 0.30, 0.97, P=0.036). Total vegetable intake and each of the other vegetable types were not related to extensive AAC (P \u3e 0.05 for all). This study strengthens the hypothesis that higher intake of cruciferous vegetables may protect against vascular calcification

A randomised controlled crossover trial investigating the short-term effects of different types of vegetables on vascular and metabolic function in middle-aged and older adults with mildly elevated blood pressure: the VEgetableS for vaScular hEaLth (VESSEL) study protocol

A diet rich in fruits and vegetables is recommended for cardiovascular health. However, the majority of Australians do not consume the recommended number of vegetable servings each day. Furthermore, intakes of vegetables considered to have the greatest cardiovascular benefit are often very low. Results from prospective observational studies indicate that a higher consumption of cruciferous vegetables (e.g. broccoli, cabbage, cauliflower) is associated with lower cardiovascular disease risk. This may be due to the presence of specific nutrients and bioactive compounds found almost exclusively, or at relatively high levels, in cruciferous vegetables. Therefore, the aim of this randomised controlled crossover trial is to determine whether regular consumption of cruciferous vegetables results in short-term improvement in measures related to cardiovascular disease risk, including ambulatory blood pressure, arterial stiffness, glycaemic control, and circulating biomarkers of oxidative stress and inflammation

Trichostrongylus and Haemonchus anthelmintic resistance in naturally infected sheep from southern Brazil

ABSTRACT The anthelmintic resistance in small ruminants is a common problem and concern worldwide. The aim of this study was to verify anthelmintic treatment efficacy in naturally infected sheep. This study was conducted on nine herds that used the same anthelmintic management for over a year. In each farm, the animals were divided into two groups: untreated control group (n = 5) and treated (n = 10) according to the number of eggs per gram of feces (EPG). The treatment effect was checked based on EPG results and larval culture performed before treatment and 10 days after treatment. Significant differences were not observed (P > 0.05) on EPG results between untreated and treated groups. The coproculture showed that the animals were infected primarily by Haemonchus spp., Trichostrongylus spp., Teladorsagia spp., Cooperia spp. and Oesophagostomum spp. In all farms, anthelmintic resistance by genera Haemonchus and Trichostrongylus was found, but this resistance varied greatly between farms. Haemonchus spp. showed resistance to closantel, levamisole, and albendazole. Trichostrongylus spp. was shown to be resistant to closantel, levamisole, and albendazole. The drugs tested showed to be efficient against the genera Teladorsagia, Cooperia, and Oesophagostomum. Based on these results, we conclude that the anthelmintic resistance to the tested drugs is a problem present in the farms evaluated

Influencia de la infección subclínica por agentes de la fiebre por garrapatas en vacas lecheras

ABSTRACTObjective. The objective of this study was to evaluate the effect of subclinical infection by agents of tick fever in dairy cattle on milk parameters, such as production, composition, and quality. Materials and methods. The study was conducted in a private farm with 75 free-stall-housed dairy cows, from which 37 were evaluated. Monthly, individual milk samples were collected for compositional (fat, lactose, protein, and total solids) and quality (somatic cell counts (SCC)) analyses. In addition, blood samples were collected in order to identify cows that were tick fever-negative and positive by PCR for one or more of the following etiological agents: Babesia bovis, Babesia bigemina and Anaplasma marginale. Results. The results showed increased SCC in positive animals for at least one of the agents when compared to non-infected cows (p<0.05). Milk production was significantly lower in A. marginale positive animals (p<0.05). An increase of about 40% in milk solids content was found in B. bovis positive cows. Also, an increment of approximately 23% in lactose was found on cows positives for B. bigemina. Conclusions. We may conclude that the presence of at least one of these parasites in dairy cattle affects composition or quality of their milk.RESUMENObjetivo. El objetivo de este estudio fue evaluar el efecto de la infección subclínica por agentes de la fiebre por garrapatas en el ganado lechero en producción de leche, la composición y calidad. Materiales y métodos. El estudio se realizó en una finca privada con 75 vacas lecheras alojadas-libre puesto, y de estas se evaluaron 37. Se recogieron muestras de leche individuales mensuales para determinar la composición (grasa, lactosa, proteína y sólidos totales) y la calidad (recuento de células somáticas (SCC)). Además, se recogieron muestras de sangre para identificar vacas que fueron negativas a fiebre de garrapatas y positivos por PCR para uno o más de los siguientes agentes etiológicos: Babesia bovis, Babesia bigemina y Anaplasma marginale. Resultados. Los resultados mostraron un aumento de SCC en los animales positivos, al menos para uno de los agentes cuando se comparó con vacas no infectadas (p<0.05). La producción de leche fue significativamente menor en A. marginale animales positivos (p<0.05). Un aumento de aproximadamente el 40% en el contenido de sólidos de la leche fue encontrado en vacas positivas a B. bovis. También, un incremento de aproximadamente el 23% de la lactosa se encontró en vacas positivas para B. bigemina. Conclusiones. Se puede concluir que la presencia de al menos uno de estos parásitos en el ganado lechero afecta composición o calidad de su leche