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 of vegetable and potato intakes with markers of type 2 diabetes risk in the ausdiab cohort

Context: The associations of vegetable and potato intakes with type 2 diabetes (T2D) appear to be nuanced, depending on vegetable types and preparation method, respectively. Objective: We investigated the associations of total vegetable, vegetable subgroup, and potato intakes with (1) markers of T2D at baseline and (2) incident T2D cumulative over a 12-year follow-up period in Australian adults. Methods: Using data from the Australian Diabetes, Obesity and Lifestyle Study, intakes of vegetables and potatoes were assessed via a food frequency questionnaire at baseline. Associations between vegetable intake and (1) fasting plasma glucose (FPG), 2-hour postload plasma glucose (PLG), updated homeostasis model assessment of β-cell function (HOMA2-%β), HOMA2 of insulin sensitivity (HOMA2-%S), and fasting insulin levels at baseline; and (2) cumulative incident T2D at the end of 12-year follow-up were examined using generalized linear and Cox proportional hazards models, respectively. Results: In total, 8009 participants were included having median age of 52 years, and vegetable intake of 132 g/day. Higher intake of total vegetable, green leafy, yellow/orange/red, and moderate intakes of cruciferous vegetables was associated with lower PLG. Additionally, higher green leafy vegetable intake was associated with lower HOMA2-% and serum insulin. Conversely, higher potato fries/chips intakes were associated with higher FPG, HOMA2-% , serum insulin, and lower HOMA2-%S. Participants with moderate cruciferous vegetables intake had a 25% lower risk of T2D at the end of 12 years of follow-up. Conclusion: A higher intake of vegetables, particularly green leafy vegetables, may improve while consuming potato fries/chips, but not potatoes prepared in a healthy way, may worsen glucose tolerance and insulin sensitivity. Our findings suggest a nuanced relationship between vegetable subgroups and their impact on glucose toleranc

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

Vitamin K1 intake is associated with lower risk for all-cause and cardiovascular disease mortality in community-dwelling older Australian women

Background and aims: Assessing the relationship between vitamin K1 intakes, using region-specific food databases, with both all-cause, and cardiovascular disease (CVD) mortality warrants further investigation to inform future preventative strategies. Consequently, we examined the aforementioned associations in the Perth Longitudinal Study of Ageing Women (PLSAW). Methods and results: 1436 community-dwelling older Australian women (mean ± SD age 75.2 ± 2.7 years) completed a validated food frequency questionnaire at baseline (1998). Vitamin K1 intake was calculated based on an Australian vitamin K food database, supplemented with published data. All-cause and CVD mortality data was obtained from linked health records. Associations were examined using restricted cubic splines within Cox-proportional hazard models, adjusted for a range of cardiovascular and lifestyle related risk factors. Over 15 years of follow-up, 601 (41.9%) women died, with 236 deaths (16.4%) due to CVD. Compared to women with the lowest vitamin K1 intakes (Quartile 1, median 49.1 μg/day), those with the highest intakes (Quartile 4, median 119.3 g/day) had lower relative hazards for all-cause mortality (HR 0.66 95%CI 0.51–0.86) and CVD mortality (HR 0.61 95%CI 0.41–0.92). A plateau in the inverse association was observed from vitamin K1 intakes of approximately ≥ 80 g/day. Conclusion: Higher vitamin K1 intakes were associated with lower risk for both all-cause and CVD mortality in community-dwelling older women, independent of CVD related risk factors. A higher intake of vitamin K1 rich foods, such as leafy green vegetables, may support cardiovascular health