Software component testing : a standard and the effectiveness of techniques

This portfolio comprises two projects linked by the theme of software component testing, which is also often referred to as module or unit testing. One project covers its standardisation, while the other considers the analysis and evaluation of the application of selected testing techniques to an existing avionics system. The evaluation is based on empirical data obtained from fault reports relating to the avionics system. The standardisation project is based on the development of the BC BSI Software Component Testing Standard and the BCS/BSI Glossary of terms used in software testing, which are both included in the portfolio. The papers included for this project consider both those issues concerned with the adopted development process and the resolution of technical matters concerning the definition of the testing techniques and their associated measures. The test effectiveness project documents a retrospective analysis of an operational avionics system to determine the relative effectiveness of several software component testing techniques. The methodology differs from that used in other test effectiveness experiments in that it considers every possible set of inputs that are required to satisfy a testing technique rather than arbitrarily chosen values from within this set. The three papers present the experimental methodology used, intermediate results from a failure analysis of the studied system, and the test effectiveness results for ten testing techniques, definitions for which were taken from the BCS BSI Software Component Testing Standard. The creation of the two standards has filled a gap in both the national and international software testing standards arenas. Their production required an in-depth knowledge of software component testing techniques, the identification and use of a development process, and the negotiation of the standardisation process at a national level. The knowledge gained during this process has been disseminated by the author in the papers included as part of this portfolio. The investigation of test effectiveness has introduced a new methodology for determining the test effectiveness of software component testing techniques by means of a retrospective analysis and so provided a new set of data that can be added to the body of empirical data on software component testing effectiveness

The Semantic Grid: A future e-Science infrastructure

e-Science offers a promising vision of how computer and communication technology can support and enhance the scientific process. It does this by enabling scientists to generate, analyse, share and discuss their insights, experiments and results in an effective manner. The underlying computer infrastructure that provides these facilities is commonly referred to as the Grid. At this time, there are a number of grid applications being developed and there is a whole raft of computer technologies that provide fragments of the necessary functionality. However there is currently a major gap between these endeavours and the vision of e-Science in which there is a high degree of easy-to-use and seamless automation and in which there are flexible collaborations and computations on a global scale. To bridge this practice–aspiration divide, this paper presents a research agenda whose aim is to move from the current state of the art in e-Science infrastructure, to the future infrastructure that is needed to support the full richness of the e-Science vision. Here the future e-Science research infrastructure is termed the Semantic Grid (Semantic Grid to Grid is meant to connote a similar relationship to the one that exists between the Semantic Web and the Web). In particular, we present a conceptual architecture for the Semantic Grid. This architecture adopts a service-oriented perspective in which distinct stakeholders in the scientific process, represented as software agents, provide services to one another, under various service level agreements, in various forms of marketplace. We then focus predominantly on the issues concerned with the way that knowledge is acquired and used in such environments since we believe this is the key differentiator between current grid endeavours and those envisioned for the Semantic Grid

Developing the content of two behavioural interventions : using theory-based interventions to promote GP management of upper respiratory tract infection without prescribing antibiotics #1

Background: Evidence shows that antibiotics have limited effectiveness in the management of upper respiratory tract infection (URTI) yet GPs continue to prescribe antibiotics. Implementation research does not currently provide a strong evidence base to guide the choice of interventions to promote the uptake of such evidence-based practice by health professionals. While systematic reviews demonstrate that interventions to change clinical practice can be effective, heterogeneity between studies hinders generalisation to routine practice. Psychological models of behaviour change that have been used successfully to predict variation in behaviour in the general population can also predict the clinical behaviour of healthcare professionals. The purpose of this study was to design two theoretically-based interventions to promote the management of upper respiratory tract infection (URTI) without prescribing antibiotics. Method: Interventions were developed using a systematic, empirically informed approach in which we: selected theoretical frameworks; identified modifiable behavioural antecedents that predicted GPs intended and actual management of URTI; mapped these target antecedents on to evidence-based behaviour change techniques; and operationalised intervention components in a format suitable for delivery by postal questionnaire. Results: We identified two psychological constructs that predicted GP management of URTI: "Self-efficacy," representing belief in one's capabilities, and "Anticipated consequences," representing beliefs about the consequences of one's actions. Behavioural techniques known to be effective in changing these beliefs were used in the design of two paper-based, interactive interventions. Intervention 1 targeted self-efficacy and required GPs to consider progressively more difficult situations in a "graded task" and to develop an "action plan" of what to do when next presented with one of these situations. Intervention 2 targeted anticipated consequences and required GPs to respond to a "persuasive communication" containing a series of pictures representing the consequences of managing URTI with and without antibiotics. Conclusion: It is feasible to systematically develop theoretically-based interventions to change professional practice. Two interventions were designed that differentially target generalisable constructs predictive of GP management of URTI. Our detailed and scientific rationale for the choice and design of our interventions will provide a basis for understanding any effects identified in their evaluation. Trial registration: Clinicaltrials.gov NCT00376142This study is funded by the European Commission Research Directorate as part of a multi-partner program: Research Based Education and Quality Improvement (ReBEQI): A Framework and tools to develop effective quality improvement programs in European healthcare. (Proposal No: QLRT-2001-00657)

Vibration isolation with smart fluid dampers: a benchmarking study

The non-linear behaviour of electrorheological (ER) and magnetorheological (MR) dampers makes it difficult to design effective control strategies, and as a consequence a wide range of control systems have been proposed in the literature. These previous studies have not always compared the performance to equivalent passive systems, alternative control designs, or idealised active systems. As a result it is often impossible to compare the performance of different smart damper control strategies. This article provides some insight into the relative performance of two MR damper control strategies: on/off control and feedback linearisation. The performance of both strategies is benchmarked against ideal passive, semi-active and fully active damping. The study relies upon a previously developed model of an MR damper, which in this work is validated experimentally under closed-loop conditions with a broadband mechanical excitation. Two vibration isolation case studies are investigated: a single-degree-of-freedom mass-isolator, and a two-degree-of-freedom system that represents a vehicle suspension system. In both cases, a variety of broadband mechanical excitations are used and the results analysed in the frequency domain. It is shown that although on/off control is more straightforward to implement, its performance is worse than the feedback linearisation strategy, and can be extremely sensitive to the excitation conditions

CAL evaluation: Future directions

Formal, experimental methods have proved increasingly difficult to implement, and lack the capacity to generate detailed results when evaluating the impact of CAL on teaching and learning. The rigid nature of experimental design restricts the scope of investigations and the conditions in which studies can be conducted It has also consistently failed to account for all influences on learning. In innovative CAL environments, practical and theoretical development depends on the ability fully to investigate the wide range of such influences. Over the past five years, a customizable evaluation framework has been developed specifically for CAL research. The conceptual approach is defined as Situated Evaluation of CAL (SECAL), and the primary focus is on quality of learning outcomes. Two important principles underpin this development. First, the widely accepted need to evaluate in authentic contexts includes examination of the combined effects of CAL with other resources and influential aspects of the learning environment. Secondly, evaluation design is based on a critical approach and qualitative, case‐based research. Positive outcomes from applications of SECAL include the easy satisfaction of practical and situation‐specific requirements and the relatively low cost of evaluation studies. Although there is little scope to produce generalizable results in the short term, the difficulty of doing so in experimental studies suggests that this objective is difficult to achieve in educational research. A more realistic, longer‐term aim is the development of grounded theory based on common findings from individual cases

Steps to an advanced Ada programming environment

Conceptual simplicity, tight coupling of tools, and effective support of host-target software development will characterize advanced Ada programming support environments. Several important principles have been demonstrated in the Arcturus system, including template-assisted Ada editing, command completion using Ada as a command language, and combining the advantages of interpretation and compliation. Other principles, relating to analysis, testing, and debugging of concurrent Ada programs, have appeared in other contexts. This paper discusses several of these topics, considers how they can be integrated, and argues for their inclusion in an environment appropriate for software development in the late 1980's