Using temporal relations to specify and test an instant messaging server

Asynchronous events are awkward to handle in specification-based testing. State machine specifications become very complex when variable event order, timing constraints, and timing uncertainties must all be captured. We propose an alternative formalism for specifying asynchronous behaviour based on...

Full description

Bibliographic Details

Published in:	Proceedings - International Conference on Software Engineering p. 95
Main Authors:	Hughes, John, Norell, Ulf, Sautret, J.
Format:	Conference Proceeding
Language:	English
Published:	2010
ISBN:	1605589705, 9781605589701
ISSN:	0270-5257
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!