论文部分内容阅读
在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节.文章在"Old"方法的基础上,通过补充协议规范的定义,获得了一种提高一致性测试检测能力的"New"方法.两种方法相结合,可以获得具有几乎完美的错误检测能力的测试序列.
一种提高一致性测试错误检测能力的方法
【摘 要】
：
在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节.文章在"Old"方法的基础上,通过补充协议规范的定义,获得了一种提高一致性测试检
【机 构】
：
广州新太科技开发中心,北京邮电大学电信工程学院
【出 处】
：
计算机工程
【发表日期】
：
2003年11期
其他文献
我国的石油钻采现状向着低渗透油气层、深井超深井的趋势发展,水力压裂工艺因其独特的优点备受重视。压裂泵作为水力压裂工艺中的核心设备,其工作性能的优劣直接关系到压裂工
语文是小学生的一门重要的课程，在小学语文中，最重要的就是小学作文的写作。同时，由于小学生心智还不成熟，所以写出来的作文存在很多的语法错误，让语文教师哭笑不得。目前，随着新课
“互联网+”时代背景下，每个行业都在适应时代的发展不断进行改进和创新，其中也包含大学英语课程的教学。互联网在英语教学中的应用一方面能够创新英语的教学方式，另一方面也可
测试互操作标准(即 CELTS.10)是为满足学习系统中试题的互用目的而提出的一项最新技术规范。文章在深入分析该标准的基础上,采用形式化测试方法,提出了针对该标准的一致性测试框架结构和流程,将形式化的理论、方法和技术引入到测试系统的开发工程中,实现了一致性测试的形式化。
研究了入射光调制条件下Ce：KNSBN晶体两波耦合动态过程．结果表明，入射光调制抑制了光扇噪音对Ce：KNSBN晶体两波耦合动态过程的影响，提高了透射信号光强度．同时研究了入射光光强比Ip
针对中值滤波排序工作量多、速度慢等缺点,提出了一种新的加权中值滤波快速算法.把窗口内元素分为小于、等于和大于中心元素的3类并分别统计这3类的个数,同时构造两个数组分
按照深化任职教育教学改革、培养高素质岗位人才的要求，开展“飞机电气电路设计与制作”实践课程教学设计研究。通过完善课程的顶层设计，合理选取和编排教学科目，精心设计和研制
在“加快推进国家治理体系和治理能力现代化”的政策背景下,大数据时代的发展方向与政策相结合,逐渐转向数据治理。而随着科学事业的发展,以科研数据为驱动的研究形式使得科
随着社会和经济的快速发展，我国对教育的重视也在逐渐加强。对于大学生来说，高校校园的课程设置及校园环境对于其自身素质的发展有着十分重要的影响。为了进一步能够让大学生身
随着新课改的推进，传统的“规则讲解＋做题巩固”的教学方法早已无法适应学生的需求，无法引起学生的学习兴趣、调动学生的积极性。本文旨在将情景教学法这一比较新兴的教学法运用