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

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings - International Conference on Software Engineering s. 95
Hlavní autoři:	Hughes, John, Norell, Ulf, Sautret, J.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	2010
ISBN:	1605589705, 9781605589701
ISSN:	0270-5257
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!