On reducing test length for FSMs with extra states

A long-standing problem when testing from a deterministic finite state machine is to guarantee full fault coverage even if the faults introduce extra states in the implementations. It is well known that such tests should include the sequences in a traversal set which contains all input sequences of length defined by the number of extra states. This paper suggests the SPY method, which helps reduce the length of tests by distributing sequences of the traversal set and reducing test branching. It is also demonstrated that an additional assumption about the implementation under test relaxes the requirement of the complete traversal set. The results of the experimental comparison of the proposed method with an existing method indicate that the resulting reduction can reach 40%. Experimental results suggest that the additional assumption about the implementation can help in further reducing the test suite length. Copyright (C) 2011 John Wiley & Sons, Ltd.

Software for subjective visual vertical assessment: an observational cross-sectional study

Spatial orientation in relation to the gravitational axis is significantly important for the maintenance of the posture, gait and for most of the human's motor activities. The subjective visual vertical exam evaluates the individual's perception of vertical orientation. Objectives: The aims of this study were (1) to develop a virtual system to evaluate the subjective visual vertical exam, (2) to provide a simple tool to clinical practice and (3) to assess the subjective visual vertical values of h ealthy subjects using the new software. Study Design: observational cross-sectional study. Methods: Thirty healthy volunteers performed the subjective visual vertical exam in both static and dynamic conditions. The exam consisted in adjusting a virtual line in the vertical position using the computer mouse. For the static condition, the virtual line was projected in a white background. For the dynamic condition, black circles rotated in clockwise or counterclockwise directions. Six measurements were taken and the mean deviations in relation to the real vertical calculated. Results: The mean values of subjective visual vertical measurements were: static -0.372 degrees; +/- 1.21; dynamic clockwise 1.53 degrees +/- 1.80 and dynamic counterclockwise -1.11 degrees +/- 2.46. Conclusion: This software showed to be practical and accurate to be used in clinical routines.

A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.