论文部分内容阅读
结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法，并且，针对以上五种方法分别给出各自生成的测试序列的长度的上界。
关于通信协议测试生成形式方法的探讨
【摘 要】
：
结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法，并且，针对以上五种方法
【机 构】
：
计算机软件国家工程研究中心
【出 处】
：
东北大学学报
【发表日期】
：
1995年2期
其他文献
根据“滑移线场表面外力所作的功率大于或等于下界功率；小于或等于上界功率”，提出不用Ｈｅｎｃｋｙ应力方程，可运用计算厚件滑移线场消耗剪切功的方法，直接计算压缩力，计算结果与传统解法一致
对两种晶粒尺寸的中碳钢光滑试样在疲劳极限附近进行了旋转弯曲疲劳试验；应用复型方法观察了疲劳损伤过程，讨论了晶粒尺寸和载荷大小对表面损伤的影响．结果表明：疲劳极限是短裂纹
以机理分析与现场实验为基础，开发了一种步进梁式加热炉钢坯温度预报的动态数学模型，该模型具有结构简单，计算量小等优点，且仿真结果表明它能满足精度需要，能够实现对加热炉内钢坯
研究了最大压力角随径长比（基圆半径和从动件长度的比值）的增大而减小的规律，给出了按许用压力角直接而精确地计算基本尺寸关系的公式及计算步骤，还提出了从动件按基本运动规律运
开发了１１０／２２０Ｖ电网自动切换系统，采用设置延迟时间和磁滞回线的方法，有效地防止了启动时误动作，避免在切换点附近频繁切换动作，讨论了延迟时间及磁滞回线回路的计算方法。
进行冻结壁厚度设计时，通常采用永久地太值作为外荷载，往往导致设计的冻结壁厚度不足，本文通过粘土冻胀的成因分析，得出需用原始冻胀力这一被动地压值作为设计冻结壁厚度外荷载的
针对两种不确定线性组合系统提出了存在分散鲁棒反馈控制器和输出跟踪器的充分条件。系统中不确定项具有数值界，可不满足所谓的匹配条件，对于第一种系统，其不确定项可以是时变的
提出了一种基于有限元的两相流检测用电容传感器灵敏度分布的快速计算法，通过总系数矩阵的快速生成以及快速的电容计算，显著地缩短了灵敏度分布的计算时间，还介绍了该方法在电容
根据双圆弧齿轮面啮合分析，提出了一种接触有限元离散化网格的自动生成算法，其特点是可以精确计算啮合齿面的初始间隙，实现可能接触区网格的自动调整，不仅可以提高计算效率，而且可
提出一种新的进化规划算法－基于均匀网格的进化规划算法。该方法不仅能够加愉普通进化规划算法的收敛速度，而且能够有效地保证种群的多样性，此外，由于均匀网格方法的引入，非常有利