Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

UI-Design driven model-based testing

Testing interactive systems is notoriously difficult. Not only do we need to ensure that the functionality of the developed system is correct with respect to the requirements and specifications, we also need to ensure that the user interface to the system is correct (enables a user to access the functionality correctly) and is usable. These different requirements of interactive system testing are not easily combined within a single testing strategy. We investigate the use of models of interactive systems, which have been derived from design artefacts, as the basis for generating tests for an implemented system. We give a model-based method for testing interactive systems which has low overhead in terms of the models required and which enables testing of UI and system functionality from the perspective of user interaction

Testing times: on model-driven test generation for non-deterministic real-time systems

Summary form only given. Although testing has always been the most important technique for the validation of software systems it has only become a topic of serious academic research in the past decade or so. In this period research on the use of formal methods for model-driven test generation and execution of functional test cases has led to a number of promising methods and tools for systematic black-box testing of systems, examples are based on A. Belinfante et al. (1999), J. Tretmans and E. Brinksma (2003), J.-C. Fernandez et al. (1996) and J.-C. Fernandez et al. (1997). Most of these approaches are limited to the qualitative behaviour of systems, and exclude quantitative aspects such as real-time properties. The explosive growth of embedded software, however, has also caused a growing need to extend existing testing theories to the testing of real-time reactive systems. In our presentation we present an extension of Tretmans' ioco theory for test generation as stated in J. Tretmans (1996) for input/output transition systems that includes real-time behaviour

Numerical Implementation of a Critical State Model for Soft Rocks

This paper details the basic tasks for the numerical implementation of a simple elasto-plastic critical state model for bonded materials (i.e. soft rocks-hard soils) into the finite element program SNAC developed at the University of Newcastle in Australia. The first task described focusses on the derivation of the incremental constitutive relationships used to represent the mechanical response of a bonded/cemented material under saturated conditions. The second task presents how these stress-strain relations can be numerically integrated using an explicit substepping scheme with automatic error control. The third task concentrates on the verification of the substepping algorithm proposed. The model used to represent the saturated mechanical response of a bonded material combines the modified Cam clay with the constitutive relationships for cemented materials proposed in Gens & Nova (1993), but incorporates some flexibility on the degradation law adopted. The role of suction and other relevant aspects of unsaturated behaviour are also discussed at the end of the paper

Property-Based Testing - The ProTest Project

The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners, as well as for multiple other uses such as in facebook, yahoo etc. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang

Sanitation and Hygiene Behaviour Change at Scale: Understanding Slippage

As sanitation and hygiene programmes mature, the challenge shifts from bringing communities to ODF status to sustaining this status. In this context, many programmes are confronted with the issue of slippage. This concept refers to a return to previous unhygienic behaviours, or the inability of some or all community members to continue to meet all ODF criteria. This paper explores how to discern slippage nuances and patterns, strategies to address, pre-empt and mitigate it as well as alternative monitoring systems that capture the complexity of slippage more fully. The analysis and reflections are based on direct field experience, primarily from the GSF-supported programme in Madagascar. Moreover, the underpinning principle of the paper is that slippage is an expected aspect of behaviour change-oriented sanitation and hygiene interventions, especially those at scale, and not a sign of failure thereof

Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing