Timed Implementation Relations for the Distributed Test Architecture

In order to test systems that have physically distributed interfaces, called ports, we might use a distributed approach in which there is a separate tester at each port. If the testers do not synchronise during testing then we cannot always determine the relative order of events observed at different ports and this leads to new notions of correctness that have been described using corresponding implementation relations. We study the situation in which each tester has a local clock and timestamps its observations. If we know nothing about how the local clocks relate then this does not affect the implementation relation while if the local clocks agree exactly then we can reconstruct the sequence of observations made. In practice, however, we are likely to be between these extremes: the local clocks will not agree exactly but we have some information regarding how they can differ. We start by assuming that a local tester interacts synchronously with the corresponding port of the system under test and then extend this to the case where communications can be asynchronous, considering both the first-in-first-out (FIFO) case and the non-FIFO case. The new implementation relations are stronger than implementation relations for distributed testing that do not use timestamps but still reflect the distributed nature of observations. This paper explores these alternatives and derives corresponding implementation relations

Impact of Scottish vocational qualifications on residential child care : have they fulfilled the promise?

This article will present findings from a doctoral study exploring the impact of 'SVQ Care: Promoting Independence (level III)' within children's homes. The study focuses on the extent to which SVQs enhance practice and their function within a 'learning society'. A total of 30 staff were selected from seven children's homes in two different local authority social work departments in Scotland. Each member of staff was interviewed on four separate occasions over a period of 9 months. Interviews were structured using a combination of repertory grids and questions. Particular focus was given to the assessment process, the extent to which SVQs enhance practice and the learning experiences of staff. The findings suggest that there are considerable deficiencies both in terms of the SVQ format and the way in which children's homes are structured for the assessment of competence. Rather than address the history of failure within residential care, it appears that SVQs have enabled the status quo to be maintained whilst creating an 'illusion' of change within a learning society

Distinguishing sequences for partially specified FSMs

Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing

The changing of the guard: groupwork with people who have intellectual disabilities

This paper considers the impact of service systems on group activities. It describes an inter-professional groupwork project facilitated by a social worker and a community nurse. The project provided an emancipatory experience for a group of adults who had intellectual disabilities. The group was charged with the task of reviewing and updating the recruitment and interview processes used by a 'Learning Disability Partnership Board', when employing new support workers. The paper begins with a brief history of intellectual disability and provides a context to the underpinning philosophical belief that people should be encouraged and supported to inhabit valued social roles no matter what disability they may have. It then identifies the ways in which the sponsoring health, education and social care services impacted on the creation and development of a groupwork project. It might have been expected that the nature of the intellectual disability would have been the major influence on group process. However the paper reveals that organisational constraints had a significant impact on group functioning. Issues including, staffing budgets and transport contracts impacted on group process and function. The results of the project show how, with adequate support, people with intellectual disability can make important decisions that have long-reaching impacts on the services

Using genetic algorithms to generate test sequences for complex timed systems

The generation of test data for state based specifications is a computationally expensive process. This problem is magnified if we consider that time con- straints have to be taken into account to govern the transitions of the studied system. The main goal of this paper is to introduce a complete methodology, sup- ported by tools, that addresses this issue by represent- ing the test data generation problem as an optimisa- tion problem. We use heuristics to generate test cases. In order to assess the suitability of our approach we consider two different case studies: a communication protocol and the scientific application BIPS3D. We give details concerning how the test case generation problem can be presented as a search problem and automated. Genetic algorithms (GAs) and random search are used to generate test data and evaluate the approach. GAs outperform random search and seem to scale well as the problem size increases. It is worth to mention that we use a very simple fitness function that can be eas- ily adapted to be used with other evolutionary search techniques

Chaos, containment and change: responding to persistent offending by young people

This article reviews policy developments in Scotland concerning 'persistent young offenders' and then describes the design of a study intended to assist a local planning group in developing its response. The key findings of a review of casefiles of young people involved in persistent offending are reported. It emerges that youth crime and young people involved in offending are more complex and heterogeneous than is sometimes assumed. This, along with a review of some literature about desistance from offending, reaffirms the need for properly individualised interventions. Studies of 'desisters' suggest the centrality of effective and engaging working relationships in this process. However, these studies also re-assert the significance of the social contexts of workers’ efforts to bring 'change' out of 'chaos'. We conclude therefore that the 'new correctionalism' must be tempered with appreciation of the social exclusion of young people who offend

A generic testing framework for agent-based simulation models

International audienceAgent-based modelling and simulation (ABMS) had an increasing attention during the last decade. However, the weak validation and verification of agent-based simulation models makes ABMS hard to trust. There is no comprehensive tool set for verification and validation of agent-based simulation models, which demonstrates that inaccuracies exist and/or reveals the existing errors in the model. Moreover, on the practical side, many ABMS frameworks are in use. In this sense, we designed and developed a generic testing framework for agent-based simulation models to conduct validation and verification of models. This paper presents our testing framework in detail and demonstrates its effectiveness by showing its applicability on a realistic agent-based simulation case study

The relevance of model-driven engineering thirty years from now

International audienceAlthough model-driven engineering (MDE) is now an established approach for developing complex software systems, it has not been universally adopted by the software industry. In order to better understand the reasons for this, as well as to identify future opportunities for MDE, we carried out a week-long design thinking experiment with 15 MDE experts. Participants were facilitated to identify the biggest problems with current MDE technologies, to identify grand challenges for society in the near future, and to identify ways that MDE could help to address these challenges. The outcome is a reflection of the current strengths of MDE, an outlook of the most pressing challenges for society at large over the next three decades, and an analysis of key future MDE research opportunities

Ethical issues, research and vulnerability : gaining the views of children and young people in residential care

Children and young people in residential care are some of the most vulnerable in our society. They may have experienced violence and physical, sexual or emotional abuse. They may be involved in offending or the misuse of drugs and alcohol. They are separated from their families and have to cope with living in a group situation with other young people and staff members. Children and young people in residential care also possess strengths, competencies and resilience. We have much to learn from their experiences and perspectives, both generally and surrounding their time in care. This paper will address the ethical issues which arise from gaining the views of children and young people in residential care, drawing on the experience of carrying out three studies in particular (Kendrick et al. 2004, The development of a residential unit working with sexually aggressive young men. In: H.G. Eriksson and T. Tjelflaat, eds. Residential care: horizons for the new century. Aldershot: Ashgate, 38-55; Docherty et al. 2006, Designing with care: interior design and residential child care. Farm7 and SIRCC. http://www.sircc.strath.ac.uk/publications/Designing_with_Care.pdf; Steckley, L. and Kendrick, A., 2005. Physical restraint in residential child care: the experiences of young people and residential workers. Childhoods 2005: Children and Youth in Emerging and Transforming Societies, University of Oslo, Norway, 29 June-3 July 2005, Steckley and Kendrick 2007, Young people's experiences of physical restraint in residential care: subtlety and complexity in policy and practice. In: M. Nunno, L. Bullard and D. Day, eds. For our own safety: examining the safety of high-risk interventions for children and young people. Washington, DC: Child Welfare League of America, forthcoming). The paper will discuss: information, consent and choice about involvement in the research; confidentiality, privacy and safety. It will also explore some of the more complex issues of ethical good practice which arise from researching children in their own living space. The negotiation of children's time and space must be approached carefully, with consideration of their rights and wishes. Sensitivity to children and young people's priorities and preoccupations must be paramount