Gender and consumer search of the internet

The role of gender differences in the consumption of goods and services is well established in many areas of consumer behaviour and computer use and yet there has been only limited research into such gender-based differences in the information search behaviour of Internet users. This paper reports the gender-based results of an exploratory study of consumer external information search of the web. The study investigated consumer characteristics, web search behaviour, and the post web search outcomes of purchase decision status and consumer judgements of search usefulness and satisfaction. Gender-based differences are reported in all three areas. Consideration of the results suggests they are issues which could inhibit the adoption of online purchasing by female web users. The implications of these results are discussed and a future research agenda proposed.

Viewpoint-based testing of concurrent components

The use of multiple partial viewpoints is recommended for specification. We believe they also can be useful for devising strategies for testing. In this paper, we use Object-Z to formally specify concurrent Java components from viewpoints based on the separation of application and synchronisation concerns inherent in Java monitors. We then use the Test-Template Framework on the Object-Z viewpoints to devise a strategy for testing the components. When combining the test templates for the different viewpoints we focus on the observable behaviour of the application to systematically derive a practical testing strategy. The Producer-Consumer and Readers-Writers problems are considered as case studies.

UML approach to the generation of test sequences for Java-based concurrent systems

Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this specification, test sequences for validating an implementation of the system. The approach is to first extend the specification to create UML state machines that directly address those aspects of the system we wish to test. To be specific, the extended UML state machines can capture state information about the number of waiting threads or the number of threads blocked on a given object. Using the SAL model checker we can generate from the extended UML state machines sequences that cover all the various possibilities of events and states. These sequences can then be directly transformed into test sequences suitable for input into a testing tool such as ConAn. As an illustration, the methodology is applied to generate sequences for testing a Java implementation of the producer-consumer system. © 2005 IEEE