Software integration testing based on communication coverage criteria and partial model generation

This paper considers the problem of integration testing the components of a timed distributed software system. We assume that communication between the components is specified using timed interface automata and use computational tree logic (CTL) to define communication-based coverage criteria that refer to send- and receive-statements and communication paths. The proposed method enables testers to focus during component integration on such parts of the specification, e.g. behaviour specifications or Markovian usage models, that are involved in the communication between components to be integrated. A more specific application area of this approach is the integration of test-models, e.g. a transmission gear can be tested based on separated models for the driver behaviour, the engine condition, and the mechanical and hydraulical transmission states. Given such a state-based specification of a distributed system and a concrete coverage goal, a model checker is used in order to determine the coverage or generate test sequences that achieve the goal. Given the generated test sequences we derive a partial test-model of the components from which the test sequences are derived. The partial model can be used to drive further testing and can also be used as the basis for producing additional partial models in incremental integration testing. While the process of deriving the test sequences could suffer from a combinatorial explosion, the effort required to generate the partial model is polynomial in the number of test sequences and their length. Thus, where it is not feasible to produce test sequences that achieve a given type of coverage it is still possible to produce a partial model on the basis of test sequences generated to achieve some other criterion. As a result, the process of generating a partial model has the potential to scale to large industrial software systems. While a particular model checker, UPPAAL, was used, it should be relatively straightforward to adapt the approach for use with other CTL based model checkers. A potential additional benefit of the approach is that it provides a visual description of the state-based testing of distributed systems, which may be beneficial in other contexts such as education and comprehension

Autonomous and controlled motivational regulations for multiple health related behaviors: between- and within-participants analyses

Self-determination theory has been applied to the prediction of a number of health-related behaviors with self-determined or autonomous forms of motivation generally more effective in predicting health behavior than non-self-determined or controlled forms. Research has been confined to examining the motivational predictors in single health behaviors rather than comparing effects across multiple behaviors. The present study addressed this gap in the literature by testing the relative contribution of autonomous and controlling motivation to the prediction of a large number of health-related behaviors, and examining individual differences in self-determined motivation as a moderator of the effects of autonomous and controlling motivation on health behavior. Participants were undergraduate students (N = 140) who completed measures of autonomous and controlled motivational regulations and behavioral intention for 20 health-related behaviors at an initial occasion with follow-up behavioral measures taken four weeks later. Path analysis was used to test a process model for each behavior in which motivational regulations predicted behavior mediated by intentions. Some minor idiosyncratic findings aside, between-participants analyses revealed significant effects for autonomous motivational regulations on intentions and behavior across the 20 behaviors. Effects for controlled motivation on intentions and behavior were relatively modest by comparison. Intentions mediated the effect of autonomous motivation on behavior. Within-participants analyses were used to segregate the sample into individuals who based their intentions on autonomous motivation (autonomy-oriented) and controlled motivation (control-oriented). Replicating the between-participants path analyses for the process model in the autonomy- and control-oriented samples did not alter the relative effects of the motivational orientations on intention and behavior. Results provide evidence for consistent effects of autonomous motivation on intentions and behavior across multiple health-related behaviors with little evidence of moderation by individual differences. Findings have implications for the generalizability of proposed effects in self-determination theory and intentions as a mediator of distal motivational factors on health-related behavior

Mental toughness in sport: Motivational antecedents and associations with performance and psychological health

We argue that basic psychological needs theory (BPNT) offers impetus to the value of mental toughness as a mechanism for optimizing human functioning. We hypothesized that psychological needs satisfaction (thwarting) would be associated with higher (lower) levels of mental toughness, positive affect, and performance and lower (higher) levels of negative affect. We also expected that mental toughness would be associated with higher levels of positive affect and performance and lower levels of negative affect. Further, we predicted that coaching environments would be related to mental toughness indirectly through psychological needs and those psychological needs would indirectly relate with performance and affect through mental toughness. Adolescent cross-country runners (136 male and 85 female, Mage = 14.36) completed questionnaires pertaining to BPNT variables, mental toughness, and affect. Race times were also collected. Our findings supported our hypotheses. We concluded that BPNT is generative in understanding some of the antecedents and consequences of mental toughness and is a novel framework useful for understanding mental toughness

Implementing an Autonomy-Supportive Intervention to Develop Mental Toughness in Adolescent Rowers

It was hypothesized that autonomy-supportive coaching behaviors, psychological needs satisfaction, and mental toughness would increase, and controlling coaching behaviors and psychological needs thwarting would decrease following a coach-directed autonomy-supportive intervention. Data related to these hypotheses were collected with coaches (N = 18) and adolescent rowers (N = 61) prior to and following an 8-week intervention, and 8 weeks following the intervention. Coaches were interviewed following data collection about their involvement in the intervention. Results did not support the hypotheses. Qualitative analyses revealed that autonomy-supportive behaviors might not have been adopted due to contextual pressures on the coaches

Specialized Detention and Correctional Facilities

The placements covered in this chapter include child and youth residential treatment facilities, juvenile detention and correctional facilities, juvenile sexual offender treatment facilities, women\u27s prisons, and military detention and correctional institutions. For each of these specialized placements, we present their history and current philosophy,outline basic components of design, treatment services, and programming: and review the satus of evidence-based practice

Specialized Detention and Correctional Facilities

The placements covered in this chapter include child and youth residential treatment facilities, juvenile detention and correctional facilities, juvenile sexual offender treatment facilities, women\u27s prisons, and military detention and correctional institutions. For each of these specialized placements, we present their history and current philosophy,outline basic components of design, treatment services, and programming: and review the satus of evidence-based practice

Examining the Coach Motivation Questionnaire in Fitness Professionals (CMQ-FP): Factor Structure, Invariance, and Predictive Analysis

Purpose: To date, most research on the assessment of motivation has been exerciser-focused and has not considered how fitness professionals’ motivations impact their behaviors toward exercisers during training sessions. The purpose of this study was to examine the factor structure of the Coach Motivation Questionnaire in a sample of fitness professionals (CMQ-FP) to ascertain its usefulness for this vocational grouping. Measurement invariance analysis was conducted between female and male fitness professionals, and predictive validity was tested considering need-supportive and need-thwarting behaviors as outcomes. Methods: Participants were 799 fitness professionals (female = 412) aged between 20 and 56 years (M = 28.71, SD = 3.24), who completed a multi-section survey assessing their motivation toward work and their interpersonal behaviors when engaging with exercisers. Results: The results of this research supported all three hypotheses. First, the hypothesized 6-factor measurement model showed acceptable fit to the data. Second, the factor structure of the CMQ-FP was invariant across gender (male and female fitness professionals). Third, fitness professionals’ (autonomous or controlled) motivation was a valid predictor of need-supportive or need-thwarting behaviors. Conclusion: This study supported the factor structure of the CMQ-FP, presenting as a valid measure of motivation in fitness professionals. Understanding fitness professionals’ perceptions of their coaching motivation can inform professional development activities to assist fitness professionals to increase understanding of what motivates these professionals and how they might be more need-supportive and less need-thwarting in their pedagogical behaviors.info:eu-repo/semantics/publishedVersio

Test evaluation trials present different challenges for trial managers compared to Intervention trials

Introduction Test evaluation trials present different challenges for trial managers compared to intervention trials. There has been very little research on the management of test evaluation trials and how this impacts on trial success, in comparison with intervention trials. Evaluations of medical tests present specific challenges, because they are a pivot point bridging the complexities of pathways prompting testing with treatment decision-making. We systematically explored key differences in the trial design and management of test evaluation trials compared to intervention trials at the different stages of study design and delivery. We identified challenges in test evaluation trials that were more pronounced than in intervention trials, based on experience from 10 test evaluation trials. Methods We formed a focus group of 7 trial managers and a statistician who had been involved in the day-to-day management of both test evaluation trials and intervention trials. We used discussion and content analysis to group challenges from 10 trials into a structured thematic format. The trials covered a range of medical conditions, diagnostic tests, clinical pathways and conditions including chronic kidney disease, chronic pelvic pain, colitis, detrusor over-activity, group B streptococcal colonisation, tuberculosis and colorectal, lung, ovarian and thyroid cancers. Results We identified 10 common themes underlying challenges that are more pronounced in test evaluation compared to intervention trials. We illustrate these themes with examples from 10 trials, including with 31 specific challenges we experienced. The themes were ethics/governance; accessing patient populations; recruitment; patient preference; test processes, clinical pathways and samples storage; uncertainty of diagnostic results; verifying diagnosis (reference standard); follow-up; adverse effects; and diagnostic impact. Conclusion We present 10 common themes, including 31 challenges, in test evaluation trials that will be helpful to others designing and managing future test evaluation trials. Proactive identification of potential challenges at the design and planning stages of test evaluation trials will enable strategies to improve trial design and management that may be different from standard strategies used for intervention trials. Future work could extend this topic to include challenges for other trial stakeholders including participants, clinicians, statisticians and funders