Controllability problems in MSC-based testing

This is a pre-copyedited, author-produced PDF of an article accepted for publication in The Computer Journal following peer review. The definitive publisher-authenticated version [Dan, H and Hierons, RM (2012), "Controllability Problems in MSC-Based Testing", The Computer Journal, 55(11), 1270-1287] is available online at: http://comjnl.oxfordjournals.org/content/55/11/1270. Copyright @ The Authors 2011.In testing systems with distributed interfaces/ports, we may place a separate tester at each port. It is known that this approach can introduce controllability problems which have received much attention in testing from finite state machines. Message sequence charts (MSCs) form an alternative, commonly used, language for modelling distributed systems. However, controllability problems in testing from MSCs have not been thoroughly investigated. In this paper, controllability problems in MSC test cases are analysed with three notions of observability: local, tester and global. We identify two types of controllability problem in MSC-based testing. It transpires that each type of controllability problem is related to a type of MSC pathology. Controllability problems of timing are caused by races but not every race causes controllability problems; controllability problems of choice are caused by non-local choices and not every non-local choice causes controllability problems. We show that some controllability problems of timing are avoidable and some controllability problems of choice can be overcome when testers have better observational power. Algorithms are provided to tackle both types of controllability problems. Finally, we show how one can overcome controllability problems using a coordination service with status messages based on algorithms developed in this paper.EPSR

The Oracle Problem When Testing from MSCs

Message Sequence Charts (MSCs) form a popular language in which scenario-based specifications and models can be written. There has been significant interest in automating aspects of testing from MSCs. This paper concerns the Oracle Problem, in which we have an observation made in testing and wish to know whether this is consistent with the specification. We assume that there is an MSC specification and consider the case where we have entirely independent local testers (local observability) and where the observations of the local testers are logged and brought together (tester observability). It transpires that under local observability the Oracle Problem can be solved in low-order polynomial time if we use sequencing, loops and choices but becomes NP-complete if we also allow parallel components; if we place a bound on the number of parallel components then it again can be solved in polynomial time. For tester observability, the problem is NP-complete when we have either loops or choices. However, it can be solved in low-order polynomial time if we have only one loop, no choices, and no parallel components. If we allow parallel components then the Oracle Problem is NP-complete for tester observability even if we restrict to the case where there are at most two processes

Dark Matter And The Habitability of Planets

In many models, dark matter particles can elastically scatter with nuclei in planets, causing those particles to become gravitationally bound. While the energy expected to be released through the subsequent annihilations of dark matter particles in the interior of the Earth is negligibly small (a few megawatts in the most optimistic models), larger planets that reside in regions with higher densities of slow moving dark matter could plausibly capture and annihilate dark matter at a rate high enough to maintain liquid water on their surfaces, even in the absence of additional energy from starlight or other sources. On these rare planets, it may be dark matter rather than light from a host star that makes it possible for life to emerge, evolve, and survive.Comment: 9 pages, 3 figures, updated calculations with a larger velocity dispersion for the central portion of the Milky Wa

A thread-tag based semantics for sequence diagrams

The sequence diagram is one of the most popular behaviour modelling languages which offers an intuitive and visual way of describing expected behaviour of object-oriented software. Much research work has investigated ways of providing a formal semantics for sequence diagrams. However, these proposed semantics may not properly interpret sequence diagrams when lifelines do not correspond to threads of controls. In this paper, we address this problem and propose a thread-tag based sequence diagram as a solution. A formal, partially ordered multiset based semantics for the thread-tag based sequence diagrams is proposed

The retention of S35-labelled bovine serum albumin on normal and immunized rabbit liver tissue

The S35-label of S35-BSA was detected in the liver tissue of rabbits to the extent of 0.02 per cent (10 µg or sime 1014 molecules) of the injected material at 140 days after injection. The rate of loss of antigen at the termination of the experiment was of such an order that significant amounts would be expected to persist for at least several years. Data are reported which extend the retention data previously reported on S35-labelled hemocyanin. They indicate that amounts of the order of 0.05 per cent (25 µg.) of antigen material persist at 330 days after injection. All of the radioactivity of material retained in the liver tissue 6 weeks after injection was immunologically related to the original S35-BSA antigen. Preliminary studies are reported which indicate that the retained antigen is bound to ribonucleic acid. A new method is described for the isolation of p-azophenylsulfonate bovine serum albumin from tissue extracts by means of a Dowex 2 adsorbent

The biological activity of soluble antigen-antibody complexes: II. Physical properties of soluble complexes having skin-irritating activity

Previous work by Germuth and McKinnon (1), Trapani et al. (2), and ourselves (3) has established the fact that soluble antigen-antibody complexes formed in excess antigen can, (a) induce symptoms similar to anaphylaxis, (b) cause contraction of isolated smooth muscle from normal guinea pigs, and (c) increase the permeability of skin capillaries in a manner similar to that obtained in passive cutaneous anaphylaxis. These findings immediately raise many questions as to the fundamental mechanisms involved. For example, is the free antigen playing some role; is the toxicity dependent upon some change in the molecular structure of either antigen or antibody upon combination; is the complex itself toxic without any change in the molecular structure of the components; is the antigen-antibody ratio important; and, is complement involved? The work reported here involves a study of the possible role of free antigen and the nature of the complex. Some study was also made of untreated and decomplemented antiserums and, although there was no difference, this cannot rule out the possible participation of the test animal's (guinea pig's) own complement

The Great Wars, The Great Crash, and the Unit Root Hypothesis: Some New Evidence About an Old Stylized Fact

For decades, the prevailing sentiment among economists was that growth rates remain constant over the long run. Kaldor considered this to be one of the six important 'stylized facts' that theory should address, and until the emergence of endogenous growth models, this was a fundamental feature of growth theory. This paper uses an endogenous trend break model to investigate the unit root hypothesis for 16 countries, using annual GDP data spanning up to 130 years. Rejection of the unit root, which is facilitated by the inclusion of a trend break, introduces the possibility of examining the long run behavior of growth rates. We find that most countries exhibited fairly steady growth for a period lasting several decades. The termination of this period was usually characterized by a significant, and sudden, drop in GDP levels. But rather than simply returning to their previous steady state path, as predicted by the standard neoclassical growth model, most countries continued to grow at roughly double their prebreak rates for many decades, even after their original growth path had been surpassed.

Pressure and protein denaturation

Kinetic analyses have indicated that moderate hydrostatic pressures, up to some 700 atmospheres, oppose reversible and irreversible denaturations of certain enzyme systems, apparent at temperatures above the normal optimum of the enzyme reaction, as well as at lower temperatures in the presence of denaturants such as alcohol (1-4). Qualitative observations have shown that such pressures also retard the precipitation of highly purified human serum globulin and egg albumin at 65° (5) and slow the destruction of specific antitoxic activity at the same temperature (6). In this study we have obtained quantitative data with regard to the influence of various pressures, up to 10,000 pounds per sq. in., and of low concentrations of ethyl alcohol on the time course of precipitation of human serum globulin (1) at 65° and pH 6.0