17,668 research outputs found

    The Oracle Problem When Testing from MSCs

    Get PDF
    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

    Controllability problems in MSC-based testing

    Get PDF
    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

    Pressure and protein denaturation

    Get PDF
    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

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

    Get PDF
    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

    A thread-tag based semantics for sequence diagrams

    Get PDF
    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
    corecore