夏兴行 作品数:4 被引量:11 H指数:1 供职机构: 内蒙古大学计算机学院 更多>> 发文基金: 内蒙古自治区自然科学基金 国家自然科学基金 教育部“春晖计划” 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
基于CPN和TTCn-3的软件并发行为的测试 在软件生命周期过程中,软件测试是保证软件质量的关键环节之一。随着分布式系统的不断发展,网络并发软件的测试方法受到了广泛关注与讨论。由于并发实体之间存在着复杂的交互行为,使得并发软件具有不确定性和不可重复性,这给测试工作带... 夏兴行关键词:软件测试 文献传递 基于CPN对系统的并发行为进行测试 被引量:1 2016年 首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在保证并发覆盖的前提下,将测试序列的生成划分为3个阶段,重点讨论了覆盖并发行为的测试序列生成方法。对于并发开始(末)库所按照CPN执行产生的状态空间中的节点进行了映射,得到状态空间中对应并发的开始(末)库所的开始(末)节点集合。通过对并发的开始(末)节点集内的节点间的关系进行分析,依据它们在状态空间中的前驱后继关系,生成一个由开始(末)节点的序列构成的序列的集合,然后以此序列集内的序列作为覆盖并发行为的测试序列的开始部分或者结尾部分,生成覆盖并发的测试序列。通过一个自行实现的P2P软件,使用了提出的建模方法及测试序列生成算法。最后通过得到的测试序列设计了测试场景及测试方案,包括Tracker并发行为测试系统结构、服务器测试方案及典型的测试场景设计。将P2P软件和TTCN-3测试机部署在一起实现了TTCN-3测试套的执行,测试结果表明测试工作的设计与实现是正确的。 李华 孙涛 王显荣 邢熠 李颖杰 夏兴行关键词:CPN 测试序列生成 TTCN-3 6LoWPAN适配层基本功能分析与实现 被引量:1 2012年 6LoWPAN(IPv6over Low-Power Wireless Personal Area Networks)是一种基于低速无线个人局域网的标准,它定义了如何在IEEE802.15.4上传输IPv6数据包,被广泛地应用在智能设备和工业控制等领域.首先,介绍了6LoWPAN的背景以及几种与之相关的技术.其次,重点分析了两种适用于6LoWPAN的报头压缩算法LOWPAN_HC1和LOWPAN_HC2.最后,实现了6LoWPAN适配层的基本功能,并对其进行了测试.两个终端节点的6LoWPAN适配层可以在逻辑上进行正确的数据交换. 夏兴行 李华 薛禹 洪有芬关键词:报头压缩 DNS服务器解析性能测试方案设计 被引量:9 2011年 网络的迅速发展使Web的访问量大大增加,大量的Web访问都需要DNS服务器进行解析,将要访问站点的域名转换为IP地址。因此,DNS服务器的解析性能是非常重要的。然而域名解析系统的结构也在不断变化,对它的性能测试有一定的困难。文中通过分析不同结构的域名解析系统及其工作方式,将DNS服务器的解析总结为本地解析和非本地解析两种,然后根据这两种情形,进行有针对性的性能测试设计,提出了一种通用的DNS服务器解析性能测试方案,并以层次DNS作为被测,基于突发流量的情景进行了测试实验,得到了一些性能指标,最后给出全文总结及下一步工作。 郭亚杰 李华 敖腾河 吴承勇 夏兴行关键词:DNS