基于SDL和MSC模型的一致性测试生成方法

摘要：

本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法.这种方法从协议的形式化描述出发,用形式化的语言定义测试目的和测试组,通过本文提出的算法自动生成一致性测试套.

关键词：SDL、MSC、一致性测试、测试套

所属期刊栏目：31

分类号：TP3;H0

资助基金：国家自然科学基金60263002;内蒙古科技攻关项目2002061002

在线出版日期：2005-01-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：214-217