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.
顾翔 邱建林 严燕. 基于输入/输出动作的协议形式化描述和测试用例生成方法[J]. 计算机应用, 2008, 28(6): 1471-1474.
Xiang GU Jian-lin QIU Yan YAN. Formal description and test cases generation of protocols based on input/output sequence. Journal of Computer Applications, 2008, 28(6): 1471-1474.
