改进的基于唯一输入输出序列的测试序列自动生成算法

来源 :徐州师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:eastphoto
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
协议一致性测试中,测试序列一般只能做到半自动生成,其全自动生成问题一直没有得到完全解决.针对此,提出一种改进的基于UIO序列(Unique input/output sequences)的测试序列自动生成算法,并且用C语言程序实现了该算法,从而实现了测试序列的全自动生成.将该算法自动生成的测试序列与测试数据相结合,生成了SM-RL(short message relay layer)协议优化的一致性测试套.与优化前相比,新测试套有了明显的改进,提高了测试工作的效率.
其他文献
随着市场竞争的不断加剧,企业管理也不断进行变革,也促进了企业财务管理模式由传统模式转变为财务共享模式,财务管理模式的转变对企业内部风险管理及流程都提出了新的要求。
作为一种公共决策体制 , 科技官僚体制在发展中国家的兴起与成型 , 是十分自然的现象 . 海外许多人士及学者认为 , 在中国大陆 , 这种体制也正在形成和完善中 , 并且他们认为
针对一类伴有外界干扰的线性系统,探讨了执行器故障重构的问题.首先,使用高增益近似微分器得到输出导数的估计值.然后,构建一种未知输入观测器,实现对外界干扰和执行器故障解耦,可以
“营改增”政策的实施给建筑企业带来了一定的影响,建筑企业应深入了解这一政策实施的背景原因,根据该政策实施后企业自身的盈利状况,快速调整企业自身的生产结构与营销方式,
对一类受参数激励和强迫激励联合作用下的时滞反馈系统,着重研究在1/2亚谐共振-主参数共振下的分岔响应控制。首先用多尺度法推导出该时滞动力系统的分岔响应方程,进而利用奇异
首先推导出科技进步含量的测算公式,接着对一些世界著名石化公司的创新类型进行了探讨.
结合党中央、国务院《关于加强技术创新,发展高科技,实现产业化的决定》,我们认为西部高校应该发挥科技优势,发展拥有自主知识产权的高新技术产品,我校“高强度聚焦超声(HIFU)治疗肿
利用热敏神经元动作电位发放图、ISI分叉图、功率谱密度(PSD)等,系统地研究了单热敏神经元在噪声诱导下的随机共振现象.通过对比分析发现分岔周期数为1或者2的情况下,存在一最优输
标题化合物3-(2-氯苯基)-1,2-二氢环丁基并[c]苯并[f]喹啉是由邻氯苯甲醛、2-萘胺、环丁酮在碘催化下,以四氢呋喃(THF)作溶剂反应而得.结构通过单晶X射线衍射分析确定,其晶体属于
设S是一个本原不可幂带号有向图,则存在正整数k,使得存在u,v∈V(S),S中从u到v有长为k和k+1的有向SSSD途径(SSSD途径是有相同起点、终点、长度和不同符号的一对有向途径),这样的最小正整