Tutorial on Estelle and Early Testing

摘要: This paper presents a tutorial introduction to Estelle, formal description technique developed within ISO for specifying OSI. It explains the Estelle of Abracadabra protocol found in Guidelines Application LOTOS, and SDL then discusses some initial tests that should be performed protocols. These expose weaknesses as presented.