论文部分内容阅读
在协议一致性测试中,选择恰当的测试例至关重要.文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点探讨基于通信扩展有限状态机的测试集生成技术.
基于通信扩展有限状态机的测试集生成技术
【摘 要】
：
在协议一致性测试中,选择恰当的测试例至关重要.文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点探讨基于通信扩展有限状态机的测试集生成技
【机 构】
：
华中师范大学计算机科学系计算机网络与通信技术研究所
【出 处】
：
计算机工程与科学
【发表日期】
：
2004年2期
其他文献
为加快推进现代畜牧业发展,规范和加强现代畜牧业发展专项资金管理,提高资金使用效益,根据《四川省人民政府关于深化试点加快推进现代畜牧业发展的意见》,按照财政农业专项资
软件测试是提高软件可靠性的有效手段,健壮性是网络应用软件重要的质量因素。本文针对网络软件的特点,提出了一种测试网络软件健壮性的方法———通过对交互数据接口进行负载测试和接口容错测试,检验软件对异常数据的处理能力,从而确保各种异常输入的正确处理,提高系统的安全性以及可靠性。
如果从信息学的角度来解释,课堂教学可以看作是信息传递的一个过程,而健美操教学是一种比较特殊的类型,教学过程中的信息除了以语言为载体进行传递外,还通过体态进行传递。因
本文在理论上分析比较了基于粗糙集理论的剪枝方法和C4.5中的EBP剪枝方法,并通过在多个数据集上进行实验比较,证实了基于粗糙集理论剪枝方法的优越性。