论文部分内容阅读
蓝牙系统是短距离无线通信系统 ,本文用EFSM模型来描述蓝牙协议栈中的电话控制协议 (TCS)。为了实现最小花费测试组的自动生成 ,采用了有效的算法来生成EFSM模型的最优邮路。结合自定义的形式化描述语言和C + +开发工具 ,实现了测试例的描述及执行。这项测试技术提高了协议一致性测试的效率 ,并可以广泛的应用于其它复杂通信系统的测试中。