测试序列生成

作品数：33被引量：56H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李华刘震舒挺黄建国姜淑娟更多>>
相关机构：内蒙古大学中国矿业大学北京交通大学电子科技大学更多>>
相关期刊：《电子制作》《软件学报》《高技术通讯》《软件导刊》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金内蒙古自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=通信学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于改进FSM的协议一致性测试方法被引量：4
《通信学报》2011年第6期172-176,共5页谢磊 魏蛟龙 朱光喜 
国家自然科学基金资助项目(60872006);高等学校博士学科点专项科研基金项目(20090142110018)~~
介绍了一种基于FSM(finite state machine)的生成一致性测试序列的改进算法,该方法混合了UIO(unique input/output)方法和T方法,UIO方法的测试能力优于T方法,但是生成的测试序列的长度较后者要长一些。实验结果表明,本改进方法的能力与...
关键词：协议工程 一致性测试 有限状态机 测试序列生成 
一种通信协议测试序列生成的新方法被引量：7
《通信学报》2001年第6期122-127,共6页孙宇霖 屈玉贵 赵保华 
国家 8 6 3计划基金资助项目 (86 3- 317- 0 4 - 16 - 99;86 3- 30 0 - 0 2 - 0 8- 99);教育部博士点基金资助项目 (2 0 0 0 0 3580 2
本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等...
关键词：协议测试 构造类别代数规范 有限状态机 通信协议 
用于协议一致性测试序列生成的状态规范化算法被引量：4
《通信学报》1997年第2期75-82,共8页倪群 苏彤 程时端 
国家自然科学基金
这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性和ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序列的可执行性、观察性、控制性问题，同时兼顾了数据流和控制流的全面测试。这种方法是基于两边靠拢的思想...
关键词：协议一致性测试 测试集 有限状态机 信息论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部