Abstrakt. I detta dokument presenterar vi en algoritm för att generera teständamålsbeskrivningar i form av MSC:er från en given angiven händelsestruktur som representerar beteendet hos ett system av asynkront kommunicerande utökade finita tillståndsmaskiner. Den märkta händelsestrukturen är en icke-sammanhängande beteendemodell som beskriver beteendet hos ett system i termer av partiell beställning av händelser.
En algoritm för teständamålsgenerering presenteras i REF.