国家自然科学基金(60263002)
- 作品数：23 被引量：43H指数：3
- 相关作者：叶新铭李华丁雪莲刘亮曾敏更多>>
- 相关机构：内蒙古大学内蒙古科技大学内蒙古师范大学更多>>
- 发文基金：国家自然科学基金内蒙古自治区科技厅科技攻关项目内蒙古自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- 一种互操作测试的建模及测试选择方法
- 本文介绍了互操作性测试的内容,一致性测试与互操作性测试的关系。根据说明的不确定有限状态机模型和当前已有的互操作性测试经验构建概率不确定有限状态机,有效地刻画当前的互操作性测试状况。基于该模型采用宽度优先算法以及一定的策略...
- 李华叶新铭吴承勇王龙王玲玲
- 关键词：互操作性不确定性
- 文献传递
- BGP4+协议的分布式一致性测试系统的设计被引量：1
- 2006年
- 首先对BGP4+进行了分析,然后阐述了BGP4+的分布式的一致性测试系统的设计方法,包括主测试系统的设计、从测试系统、测试套的描述方法的设计以及它们的部分设计框图.最后使用一个简化的分布式测试系统对BGP4+协议实现进行了一致性测试实践.
- 李华叶新铭吴承勇丁雪莲
- 关键词：BGP4+测试例
- 基于XML的协议一致性测试系统的设计与实现被引量：9
- 2006年
- 本文详细介绍了一个协议一致性测试系统的实现,包括测试系统结构介绍、测试套编辑子系统和测试执行子系统的实现,同时实现了一个日志窗口,用于显示测试执行的过程。在测试套编辑子系统的实现部分,分析了编辑流程,设计的编辑子系统可以分为协议无关和协议有关部分,与协议无关部分的实现可以重用。文中还定义了存放测试套的XML文件的结构以及相应的元素与标记。以邻居发现协议的路由请求包为例,展示了测试套的结构及日志窗口。
- 李华叶新铭曾敏丁雪莲
- 关键词：XML
- 基于Colored Petri网的安全协议描述和验证被引量：3
- 2006年
- 对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷,发现协议的不精确性。本文将使用具有强数学基础和强分析能力的着色 Petri 网(Colored Petri Net,简称 CP-Nets)对 NS 公钥认证协议(Needham-Schroeder Public-Key Authentication Protocol)送行建模.在此基础上分析验证该协议,阐明协议存在的缺陷并给出改进的方法。
- 刘靖叶新铭
- 关键词：CP-NETS
- 基于时间特征的网络流量预测模型被引量：4
- 2005年
- 本文设计一种基于时间特征的网络流量预测模型,并采用该流量模型预测网络流量。文章提出网络流量预测误差的数学定义,根据测试实验表明,我们的流量模型具有更高的可用性,并适用实际运行的网络环境。
- 叶新铭王斌
- 关键词：网络流量数学定义测试实验网络环境可用性
- WTML:基于 XML的Web应用测试脚本语言
- 是一个程序或者一串指令,它由另一个程序解释或执行而不是像编译过的程序一样由处理器直接执行.Web应用测试脚本是脚本的一种,而Web应用测试脚本语言是Web应用自动测试工具的核心.本文就基于 XML的Web应用测试脚本语言...
- 李秀华叶新铭王玉龙
- Web性能测试中事务时间的测量
- 提出了测试Web应用系统性能指标--事务时间的一般方法.使用本文的方法或根据具体需求做一些调整,可以测试绝大多数Web站点的事务时间.Web事务时间的准确测量保证了Web性能状况的客观公正的评估,也为寻找确定Web性能瓶...
- 李秀华叶新铭王玉龙
- 关键词：WEB性能测试测量方法
- 安全Petri网位置不变式的一种生成算法被引量：1
- 2005年
- Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.
- 刘亮叶新铭
- 关键词：可达树完全图
- MSC时间表示方法与UML序列图结合建模被引量：1
- 2004年
- 介绍了系统建模中的时间相关概念,以及MSC和UML序列图对时间相关概念的表示.将MSC对时间强大的表示能力和准确的表达方法应用于UML序列图,对时间进行建模,提高了UML序列图的时间建模能力,进一步满足了实际系统,尤其是实时系统建模的要求.
- 刘亮叶新铭
- 关键词：统一建模语言UML序列图消息序列图MSC
- 基于NTP协议的时间同步服务的测试设计与实现
- 本文分析了NTP协议的特点和工作原理,基于最常见的客户服务器模式进行了测试设计。不同于以往的选取一小段时间对本地架设的NTP服务器进行连续测试的测试方法。本文考虑到时间的特性,采用均匀试验设计法,依据均匀设计表对测试数据...
- 王佳李华叶新铭杭成宝
- 关键词：NTP协议时间同步
- 文献传递
