测试序列生成

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
有限状态机模型测试序列生成算法研究被引量：6
《计算机科学》2016年第S2期474-481,共8页李元平 李华 赵俊岚 
国家自然基金项目资助项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011);赛尔网络下一代互联网技术创新项目:SDN环境下IPv6网络测试研究(CERNET IPv6 Innovation Project)(NGII20150112)资助
在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约...
关键词：DFSM NFSM 约束集 适应性测试 
基于CPN对系统的并发行为进行测试被引量：1
《计算机科学》2016年第1期218-225,共8页李华 孙涛 王显荣 邢熠 李颖杰 夏兴行 
国家自然科学基金项目(61562064;61163011;61262082);内蒙古自然科学基金项目(2012MS0922)资助
首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在保证并发覆盖的前提下,将测试序列的生成划分为3个阶段,重点讨论了覆盖并发行为的测试序列生成方法。对...
关键词：并发行为 CPN 测试序列生成 TTCN-3 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部