关于随机测试驱动程序的实验

• 作者: West,CH 李革
• 来源期刊: 科技译丛（长沙）
• 学科: 工学
• 关键词: 驱动程序 测试 通信协议 随机测试
• 年，卷（期）: kjyccs_1995,（3）
• 页码范围: 35-42
• 页数: 8页
• 分类号: TP306.2

摘要

用测试通信协议实现的方法来说明我们的实验，该通信协议使用独立的测试驱动程序来操作协议服务接口。该测试程序只生成随机事件序列以使该服务接口规定能被一个正确实现所接受。所以事件拒绝揭示该服务规范与测试中的实施之间的偏差，该方法是对其他测试技术的有效和合算的补充。