论文部分内容阅读
用测试通信协议实现的方法来说明我们的实验，该通信协议使用独立的测试驱动程序来操作协议服务接口。该测试程序只生成随机事件序列以使该服务接口规定能被一个正确实现所接受。所以事件拒绝揭示该服务规范与测试中的实施之间的偏差，该方法是对其他测试技术的有效和合算的补充。
关于随机测试驱动程序的实验
【摘 要】
：
用测试通信协议实现的方法来说明我们的实验，该通信协议使用独立的测试驱动程序来操作协议服务接口。该测试程序只生成随机事件序列以使该服务接口规定能被一个正确实现所接受
【出 处】
：
科技译丛（长沙）
【发表日期】
：
1995年3期
其他文献
目的：观察中西医结合疗法对慢性乙型病毒性肝炎患者纤维化指标的影响。方法：将136例患者随机分为观察组和对照组,每组各68例。对照组采用硫普罗宁片治疗,观察组在对照组基础上
用有限单元法计算大跨度斜拉桥在与位移相关风载作用下非线性横向扭转失稳的临界风速。提出了考虑三个风载分力及几何非线性影响时，计算风载引起的横向扭转屈曲的分析模型。将
针灸对去势大鼠骨代谢具有良性调节作用,可改善去势大鼠骨超微结构的病理改变,提高大鼠骨力学性能及BMD,预防骨量丢失。针灸的以上作用与针灸从整体调节去势大鼠内分泌功能尤
目的：观察射干麻黄汤联合碳酸氢钠对哮喘患者雾化吸入糖皮质激素所致口腔白斑与真菌感染的影响。方法：选择支气管哮喘患者130例,按照随机数字表法分成研究组和对照组,每组65例
邓小平理论是当代中国的马克思主义，是我们从胜利走向胜利的行动指南。邓小平理论的思想基础是邓小平哲学。邓小平哲学思想博大精深，对发展马克思主义、毛泽东思想哲学作出了巨