绑定机构
扫描成功 请在APP上操作
打开万方数据APP,点击右上角"扫一扫",扫描二维码即可将您登录的个人账号与机构账号绑定,绑定后您可在APP上享有机构权限,如需更换机构账号,可到个人中心解绑。
欢迎的朋友
万方知识发现服务平台
找到 1 位学者
内蒙古大学
获取范围
  • 1 / 8
  (已选择0条) 清除 结果分析
找到 157 条结果
[期刊论文] 叶新铭
-
北大核心 CSTPCD CSCD CA
-
摘要:形式化方法是具有严格数学基础的软件开发方法,将其应用到软件开发过程中可以有效提高软件质量,以形式模型为基础的形式验证和一致性测试是形式化方法中的关键技术.简介了形式验证与一致性测试技术的研究现状,重点阐述两者集成方法的研究意义和国内外研究现状,并指出进一步研究方向....
[期刊论文] 曹军 叶新铭
-
北大核心 CSTPCD CA
-
1998 年
摘要:讨论具有非确定性的分布式并发软件系统,对论文〔1〕的行为机构造方法和测试推导方法进行了扩展,使之可同时适用于确定的和非确定的并发系统....
[期刊论文] 刘亮 叶新铭
-
北大核心 CSTPCD CSCD CA
-
摘要:Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法....
[期刊论文] 塔娜 叶新铭
-
北大核心 CSTPCD CA
-
摘要:本文给出了OSPF协议中路由表计算部分的Petri网模型和产生测试例的方法,以算法中的外部路由计算为例,详细介绍了如何从协议文本形式化为Petri网模型,然后再从Petri网生成测试例的方法,并给出了该方法所采用的测试标准....
[期刊论文] 孙涛 叶新铭
-
北大核心 CSTPCD CSCD SA
-
摘要:针对软件中2路并发行为的测试序列生成方法,提出一种基于面向测试着色Petri网(testing-oriented colored Petri net,ToCPN).根据被测软件系统需求构建ToCPN模型,即系统模型,并将待测行为采用着色Petri网(colored Petri net,CPN)进行描述,形成待测行为模型;提出待测行为模型到系统模型的状态投影算法、针对极大状态结点和极小状态结点的状态匹配算法及一系列路径搜索算法,基于以上算法构建出针对2路并发行为的测试序列生成方法.该方法针对待测行为自动生成测试序列,对待测行为所在的2路并发行为的全部执行组合实现完全覆盖且不存在任何冗余,一定程度上解决了软件测试中的状态爆炸问题.对上述算法的有效性提供了证明,并结合测试实践,分析说明了该方法具备明显强于随机漫步(random walk)等其他方法的效果....
[期刊论文] 周建涛 叶新铭
-
北大核心 CSTPCD CSCD CA
-
摘要:网格技术意在驱动互联网上所有资源的全面共享与协同工作.网格工作流技术是近年来兴起的又一研究热点.简述了网格发展,提出网格系统层次模型,并分析总结其中的关键技术.接着,分析网格工作流的起因.概述其概念,并提出其区别于传统工作流的特点.最后,综述网格工作流的研究现状,分析并提出其中的关键技术及发展方向,力图为网格工作流在描述、实现和应用方面的技术创新提供基础和依据....
[期刊论文] 叶新铭 王斌
-
北大核心 CSTPCD CSCD CBST
-
摘要:本文设计一种基于时间特征的网络流量预测模型,并采用该流量模型预测网络流量.文章提出网络流量预测误差的数学定义,根据测试实验表明,我们的流量模型具有更高的可用性,并适用实际运行的网络环境....
[期刊论文] 刘靖 叶新铭
-
北大核心 CSTPCD CSCD CBST
-
摘要:对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷,发现协议的不精确性.本文将使用具有强数学基础和强分析能力的着色Petri网(Colored Petri Net,简称CP-Nets)对NS公钥认证协议(NeedhamSchoeder Public-Key Authentication Protocol)进行建模,在此基础上分析验证该协议,阐明协议存在的缺陷并给出改进的方法....
[期刊论文] 叶新铭 孙美飞
-
北大核心 CSTPCD CSCD CBST
-
摘要:Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分.本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告....
[期刊论文] 叶新铭 吴铁楠
-
北大核心 CSTPCD CSCD CBST
-
摘要:本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法.这种方法从协议的形式化描述出发,用形式化的语言定义测试目的和测试组,通过本文提出的算法自动生成一致性测试套....
[期刊论文] 周建涛 叶新铭
-
北大核心 CSTPCD CA
-
1999 年
[期刊论文] 何立强 叶新铭
-
北大核心 CSTPCD AJ CBST SA
-
摘要:简要介绍了协议一致性测试平台的基本要求和设计思想,给出了整体的设计框架,并且详细讨论了在平台实现过程中涉及到的5部分工作,包括测试例的生成、选择和执行,同时给出了一些简单的实例....
  (已选择0条) 清除
公   告

北京万方数据股份有限公司在天猫、京东开具唯一官方授权的直营店铺:

1、天猫--万方数据教育专营店

2、京东--万方数据官方旗舰店

敬请广大用户关注、支持!查看详情

手机版

万方数据知识服务平台 扫码关注微信公众号

万方选题

学术圈
实名学术社交
订阅
收藏
快速查看收藏过的文献
客服
服务
回到
顶部