Viewpoint-based Testing of Concurrent Components

Speaker: Luke Wildman

When: 10:00, Thursday, 18 March, 2004

Venue: 78-420

Abstract: 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.
 

Hospitality: Speaker (by default)

Contact: Prof Paul Bailes (SSE seminar co-ordinator) (p.bailes@epsa.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html