Abstract
How to use RAISE Specification Language(RSL) to describe protocols was discussed.Description model was input/output sequence based,in which protocols actions were divided into input actions and output actions.All those actions would be elements of describtion.The core of description was central process.A new method to generate testing cases based on formal description using RSL was also discussed.The method was a kind of recursion procedure.Testing cases produced by the method were sound and exhaustive.The research provides a new direction for the protocol formal description and testing.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
