论文部分内容阅读
在协议测试中,设计测试例是主要工作之一,测试例包括了对状态错和数据错的测试.测试状态错要求对状态图中路径进行遍历.基于向量空间的思想,设计了一个生成基本路径集的算法,使得状态图中任何路径都可由基本路径通过线性组合生成,以达到简化协议路径抖测试之目的,并对此加以了证明.
一种简化协议路径测试的方法
【摘 要】
：
在协议测试中,设计测试例是主要工作之一,测试例包括了对状态错和数据错的测试.测试状态错要求对状态图中路径进行遍历.基于向量空间的思想,设计了一个生成基本路径集的算法,
【机 构】
：
北京邮电大学125信箱,中国科学院软件所
【出 处】
：
计算机工程
【发表日期】
：
2002年10期
其他文献
音乐学科比其他的数理科目更加注重对学生创造性的培养以及学生在音乐活动中对音乐的感受、体验和表现。新一轮课改后,音乐课堂由过去强调教师的'教'转向学生的'
CORBA在电力行业中的分布式异构系统中的应用,国内尚无成功先例.该文探讨了在电力调度中心的分布式异构系统中,用CORBA中问件构建集成接口软件的设计方法.为CORBA中间件应用
在语音识别系统中产生错误识别的原因之一是端点检测有误差,在高信噪比情况下,正确地确定语音的端点并不困难,然而,大多数实际的语音识别系统需工作在低信噪比情况下,一些常
2008年，山东省夏津县白马湖镇马堤村棉花西瓜间作100hm^2，与单种西瓜相比，每公顷增收15000多元。笔者通过深入调查研究，总结出一套鲁西北地区棉花西瓜间作高产高效栽培技术，现已在