论文部分内容阅读
该文讨论了一种协议测试序列生成的方法，它使用有限状态机模型作为协议的形式化描述规范．然后基于UIO序列和中国乡村邮路算法生成测试序列。该文将其应用于对BGP-4协议的一致性测试中。这种方法以协议的形式化描述为输入，易于自动化实现，同时生成的测试序列较短，提高了测试效率。
BGP-4协议一致性测试序列生成
【摘 要】
：
该文讨论了一种协议测试序列生成的方法，它使用有限状态机模型作为协议的形式化描述规范．然后基于UIO序列和中国乡村邮路算法生成测试序列。该文将其应用于对BGP-4协议的一致性
【机 构】
：
中国科学技术大学计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年22期
其他文献
滨海地区桥梁桩基础两侧，箱形基础下部和两侧沉降主控制段以及次控制段软土路基，其工后沉降要求较高。为满足软土路基工后沉降的要求，采用了水泥土搅拌桩和袋装砂井进行处理及试
在新常态背景下,高职院校行政管理工作所面临的社会环境、教育环境都产生了一定的变化,而为了适应行政管理工作环境的变化,高职院校有必要对行政管理工作中存在的问题进行有
给出模糊空值连接依赖的两个概念，一个是基于无损连接得出的，另一个是类似模糊空值多值依赖给出的．并证明了两个概念的等价性。定义了模糊空值嵌入连接依赖。给出模糊空值连接依
吐蕃统治时期的汉文写经,由吐蕃皇室、寺院经坊、职业经生、僧尼和信众几大主体组成。借助佛经抄写,吐蕃政权得以推广佛教、管辖敦煌、保障自身的政教权力;各寺院通过佛经的
在100多年社会主义建设史上,共产党的坚强的领导力量,人民群众的重要的创造力量,以前时期社会主义建设产生的物质财富的巨大的顶推力量,马克思主义理论的无穷的指导力量,属于
音乐是一种艺术，有着极其丰富的文化内涵与历史底蕴，是人类文化的重要组成部分，也是很重要的文化形态与文化载体。它依靠独特的艺术魅力跟随着历史文化发展的脚步，满足着人类的精
本文建立一个包含消费品和投资品生产的两部门新凯恩斯DSGE模型,并且引入金融加速器以分析货币政策对消费品和投资品通货膨胀的影响机制,同时使用1999Q1至2015Q4的中国宏观经
根据某隧道现场的地质资料及可能采用的三种施工方法——全断面施工方法、正台阶施工方法、“CD”施工方法，用数值分析的手段，对不同施工方法，在隧道施工时期的受力与变形进行了
公安院校图书馆作为本科教育和在职警察培训的中心,肩负着推进警察教育改革的任务。本文提出,公安院校通过建立系统的结构和功能,实现公安院校图书馆六大总体建设目标,为警察
利用万能材料试验系统,在不同含水量、压实度和偏应力等影响因素下,对粉土进行了重复荷载三轴试验;同时根据永久变形试验结果和Tseng-Lytton永久变形预估模型形式,对Tseng-Ly