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

The incidence and position of melanocytic nevi for the purposes of forensic image comparison

Expert witness opinion based on the comparison of images has been accepted by UK courts as admissible evidence in relation to issues of identity. Within images of the hand are a multiplicity of anatomical features of different aetiology, incidence and distribution patterns and this includes melanocytic nevi, referred to more colloquially as moles and/or birthmarks. The hand is not a common place for these isolated features to develop and so their presence in this anatomical region has the potential to be useful for issues of identity. The results of this study show that approximately 9 % of individuals in a sample of 476 hands, displayed at least one nevus on the back of their hand and, contrary to the literature, the incidence was found to be greater in females (15 % of female cohort) than males (7 % of male cohort). Almost a third of all nevi identified on the dorsum of the hand were abnormal or dysplastic. The most frequent location for these aggregations of melanocytes was in the central region of the dorsum of the hand or at the base of the index finger. The relevance of nevi identified in the image of a perpetrator’s hand and also on that of a suspect/accused is discussed in relation to the issue of whether the images have originated from the same individual

Muon-spin-rotation study of the magnetic structure in the tetragonal antiferromagnetic state of weakly underdoped Ba1−x _{1-x} Kx _{x} Fe2 _{2} As2 _{2}

With muon spin rotation ($\mu$SR) we studied the transition between the orthorhombic antiferromagnetic (o-AF) and the tetragonal antiferromagnetic (t-AF) states of a weakly underdoped Ba$_{1-x}$K$_{x}$Fe$_{2}$As$_{2}$ single crystal. We observed some characteristic changes of the magnitude and the orientation of the magnetic field at the muon site which, due to the fairly high point symmetry of the latter, allow us to identify the magnetic structure of the t-AF state. It is the so-called, inhomogeneous double-$\mathbf{Q}$ magnetic structure with $c$-axis oriented moments which has a vanishing magnetic moment on half of the Fe sites.Comment: 5 pages, 4 figures. Supplementary Material: 8 figure

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

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

Forensic image analysis – CCTV distortion and artefacts

© 2018 Elsevier B.V. As a result of the worldwide deployment of surveillance cameras, authorities have gained a powerful tool that captures footage of activities of people in public areas. Surveillance cameras allow continuous monitoring of the area and allow footage to be obtained for later use, if a criminal or other act of interest occurs. Following this, a forensic practitioner, or expert witness can be required to analyse the footage of the Person of Interest. The examination ultimately aims at evaluating the strength of evidence at source and activity levels. In this paper, both source and activity levels are inferred from the trace, obtained in the form of CCTV footage. The source level alludes to features observed within the anatomy and gait of an individual, whilst the activity level relates to activity undertaken by the individual within the footage. The strength of evidence depends on the value of the information recorded, where the activity level is robust, yet source level requires further development. It is therefore suggested that the camera and the associated distortions should be assessed first and foremost and, where possible, quantified, to determine the level of each type of distortion present within the footage. A review of the ‘forensic image analysis’ review is presented here. It will outline the image distortion types and detail the limitations of differing surveillance camera systems. The aim is to highlight various types of distortion present particularly from surveillance footage, as well as address gaps in current literature in relation to assessment of CCTV distortions in tandem with gait analysis. Future work will consider the anatomical assessment from surveillance footage