搜索筛选:
搜索耗时0.0208秒,为你在为你在61,042,058篇论文里面共找到 9 篇相符的论文内容
类      型:
[期刊论文] 作者:邢熠,, 来源:国际人才交流 年份:2004
据日本新华侨报网报道,日本人才市场日益枯竭的同时,日本大学生的就业率却连年创下新低。这种两极分化的现象使政府及产业、教育界人士担忧不已。他们不得不召开紧急会议...
[期刊论文] 作者:邢熠, 来源:奥秘 年份:2014
说起蟑螂,除了想到它长相丑陋、人见人怕、恨不得除之而后快以外,人类还不禁要佩服它是自然界最古老的昆虫之一,还有它那极其顽强的生存能力。在世界范围内,不少国家都曾把它当作蛋白质补充来源,对它是“害虫”这一广泛认识,应该说也是人类自身“富贵病”的体现吧。 ......
[学位论文] 作者:邢熠, 来源:内蒙古大学 年份:2003
该文给出基于路由协议ospf的互操作测试整个过程的说明.首先定义了互操作、互操作测试、互操作关系的基本概念.然后依据实现间交互的程度和测试器观察交互的程度我们提出了不...
[期刊论文] 作者:邢熠,叶新铭,, 来源:计算机工程 年份:2009
针对一致性测试中的静态需求测试通常采用手工方法而产生的效率低问题,提出一种基于统计学习的方法,包括静态需求的关联规则表示,并对采样的协议数据进行关联规则挖掘,如果得...
[期刊论文] 作者:李华,邢熠,张玉荣, 来源:计算机科学 年份:2016
CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析。在传统的CPN建模中,token的选取采用穷举法,由此造...
[期刊论文] 作者:邢熠,叶新铭,谢高岗, 来源:计算机科学 年份:2009
一致性测试套选择是一致性测试中非常重要的阶段。测试生成的测试套集受到测试成本、覆盖度、可用性等因素的影响,只有经过测试选择后得到的测试套子集才可以用于实际的一致性......
[期刊论文] 作者:邢熠,叶新铭,谢高岗,, 来源:计算机学报 年份:2010
协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把...
[期刊论文] 作者:邢熠,叶新铭,谢高岗,, 来源:计算机工程与应用 年份:2008
协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础.网络协议的特点之一是控制消息中会携带大量数据针对网络协议的该特点提出了符号化的一致性关系模型.......
[期刊论文] 作者:李华,孙涛,王显荣,邢熠,李颖杰,夏兴行, 来源:计算机科学 年份:2016
首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在保证并发覆盖的前提下,将测试序列的生成划...
相关搜索: