A detailed investigation of the effectiveness of whole test suite generation

© 2016 The Author(s)A common application of search-based software testing is to generate test cases for all goals defined by a coverage criterion (e.g., lines, branches, mutants). Rather than generating one test case at a time for each of these goals individually, whole test suite generation optimizes entire test suites towards satisfying all goals at the same time. There is evidence that the overall coverage achieved with this approach is superior to that of targeting individual coverage goals. Nevertheless, there remains some uncertainty on (a) whether the results generalize beyond branch coverage, (b) whether the whole test suite approach might be inferior to a more focused search for some particular coverage goals, and (c) whether generating whole test suites could be optimized by only targeting coverage goals not already covered. In this paper, we perform an in-depth analysis to study these questions. An empirical study on 100 Java classes using three different coverage criteria reveals that indeed there are some testing goals that are only covered by the traditional approach, although their number is only very small in comparison with those which are exclusively covered by the whole test suite approach. We find that keeping an archive of already covered goals along with the tests covering them and focusing the search on uncovered goals overcomes this small drawback on larger classes, leading to an improved overall effectiveness of whole test suite generation

Sulle equazioni a derivate parziali del second' ordine a tre variabili indipendenti.

n/

Increased tumor necrosis factor alpha-converting enzyme activity induces insulin resistance and hepatosteatosis in mice

Tumor necrosis factor alpha-converting enzyme (TACE, also known as ADAM17) was recently involved in the pathogenesis of insulin resistance. We observed that TACE activity was significantly higher in livers of mice fed a high-fat diet (HFD) for 1 month, and this activity was increased in liver > white adipose tissue > muscle after 5 months compared with chow control. In mouse hepatocytes, C(2)C(12) myocytes, and 3T3F442A adipocytes, TACE activity was triggered by palmitic acid, lipolysaccharide, high glucose, and high insulin. TACE overexpression significantly impaired insulin-dependent phosphorylation of AKT, GSK3, and FoxO1 in mouse hepatocytes. To test the role of TACE activation in vivo, we used tissue inhibitor of metalloproteinase 3 (Timp3) null mice, because Timp3 is the specific inhibitor of TACE and Timp3(-/-) mice have higher TACE activity compared with wild-type (WT) mice. Timp3(-/-) mice fed a HFD for 5 months are glucose-intolerant and insulin-resistant; they showed macrovesicular steatosis and ballooning degeneration compared with WT mice, which presented only microvesicular steatosis. Shotgun proteomics analysis revealed that Timp3(-/-) liver showed a significant differential expression of 38 proteins, including lower levels of adenosine kinase, methionine adenosysltransferase I/III, and glycine N-methyltransferase and higher levels of liver fatty acid-binding protein 1. These changes in protein levels were also observed in hepatocytes infected with adenovirus encoding TACE. All these proteins play a role in fatty acid uptake, triglyceride synthesis, and methionine metabolism, providing a molecular explanation for the increased hepatosteatosis observed in Timp3(-/-) compared with WT mice. Conclusion: We have identified novel mechanisms, governed by the TACE-Timp3 interaction, involved in the determination of insulin resistance and liver steatosis during overfeeding in mice

Precursors to social and communication difficulties in infants at-risk for autism: gaze following and attentional engagement

Whilst joint attention (JA) impairments in autism have been widely studied, little is known about the early development of gaze following, a precursor to establishing JA. We employed eye-tracking to record gaze following longitudinally in infants with and without a family history of autism spectrum disorder (ASD) at 7 and 13 months. No group difference was found between at-risk and low-risk infants in gaze following behaviour at either age. However, despite following gaze successfully at 13 months, at-risk infants with later emerging socio-communication difficulties (both those with ASD and atypical development at 36 months of age) allocated less attention to the congruent object compared to typically developing at-risk siblings and low-risk controls. The findings suggest that the subtle emergence of difficulties in JA in infancy may be related to ASD and other atypical outcomes

Family coordination in families who have a child with autism spectrum disorder

Little is known about the interactions of families where there is a child with autism spectrum disorder (ASD). The present study applies the Lausanne Trilogue Play (LTP) to explore both its applicability to this population as well as to assess resources and areas of deficit in these families. The sample consisted of 68 families with a child with ASD, and 43 families with a typically developing (TD) child. With respect to the global score for family coordination there were several negative correlations: the more severe the symptoms (based on the child’s ADOS score), the more family coordination was dysfunctional. This correlation was particularly high when parents had to play together with the child. In the parts in which only one of the parents played actively with the child, while the other was simply present, some families did achieve scores in the functional range, despite the child’s symptom severity. The outcomes are discussed in terms of their clinical implications both for assessment and for interventio

A falls prevention programme to improve quality of life, physical function and falls efficacy in older people receiving home help services: study protocol for a randomised controlled trial

BACKGROUND: Falls and fall-related injuries in older adults are associated with great burdens, both for the individuals, the health care system and the society. Previous research has shown evidence for the efficiency of exercise as falls prevention. An understudied group are older adults receiving home help services, and the effect of a falls prevention programme on health-related quality of life is unclear. The primary aim of this randomised controlled trial is to examine the effect of a falls prevention programme on quality of life, physical function and falls efficacy in older adults receiving home help services. A secondary aim is to explore the mediating factors between falls prevention and health-related quality of life. METHODS: The study is a single-blinded randomised controlled trial. Participants are older adults, aged 67 or older, receiving home help services, who are able to walk with or without walking aids, who have experienced at least one fall during the last 12 months and who have a Mini Mental State Examination of 23 or above. The intervention group receives a programme, based on the Otago Exercise Programme, lasting 12 weeks including home visits and motivational telephone calls. The control group receives usual care. The primary outcome is health-related quality of life (SF-36). Secondary outcomes are leg strength, balance, walking speed, walking habits, activities of daily living, nutritional status and falls efficacy. All measurements are performed at baseline, following intervention at 3 months and at 6 months' follow-up. Sample size, based on the primary outcome, is set to 150 participants randomised into the two arms, including an estimated 15-20% drop out. Participants are recruited from six municipalities in Norway. DISCUSSION: This trial will generate new knowledge on the effects of an exercise falls prevention programme among older fallers receiving home help services. This knowledge will be useful for clinicians, for health managers in the primary health care service and for policy makers

Effectiveness and Feasibility of the Early Start Denver Model Implemented in a Group-Based Community Childcare Setting

A recent study documented the efficacy of the Early Start Denver Model (ESDM) delivered in a 1:1 fashion. In the current study we investigated the effectiveness and feasibility of the ESDM in the context of a long-day care community service, with a child-staff ratio of 1:3. Outcomes of 27 preschoolers with ASD undergoing 15–25 h per week of ESDM over 12 months were compared to those of 30 peers with ASD undergoing a different intervention program delivered in a similar community long-day care service. Children in both groups made gains in cognitive, adaptive and social skills. Participants in the ESDM group showed significantly higher gains in developmental rate and receptive language.No Full Tex

Low Fidelity Imitation of Atypical Biological Kinematics in Autism Spectrum Disorders Is Modulated by Self-Generated Selective Attention.

We examined whether adults with autism had difficulty imitating atypical biological kinematics. To reduce the impact that higher-order processes have on imitation we used a non-human agent model to control social attention, and removed end-state target goals in half of the trials to minimise goal-directed attention. Findings showed that only neurotypical adults imitated atypical biological kinematics. Adults with autism did, however, become significantly more accurate at imitating movement time. This confirmed they engaged in the task, and that sensorimotor adaptation was self-regulated. The attentional bias to movement time suggests the attenuation in imitating kinematics might be a compensatory strategy due to deficits in lower-level visuomotor processes associated with self-other mapping, or selective attention modulated the processes that represent biological kinematics