贾垒
- 作品数：4 被引量：1H指数：1
- 供职机构：内蒙古大学计算机学院更多>>
- 发文基金：内蒙古自治区自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- CPN模型驱动的云测试生成研究
- 测试生成在软件测试过程中起到很重要的作用，现有的生成测试例的方法大多依靠测试人员手工进行，不仅生成效率低下，生成的测试例在可用性方面也不尽如人意。着色Petri网(Colored Petri Nets，CPN)模型驱动的...
- 贾垒
- 关键词：CPN模型软件测试
- 文献传递
- 着色Petri网模型驱动的云测试生成方法与实现
- 2016年
- 为进一步提高测试生成效率,提升大规模测试生成的自动化程度,构建了一种基于着色Petri网模型的一致性云测试生成方法,称为PT-Cloud方法,并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术,实现了面向测试生成需求的被测系统着色Petri网模型重构和标记,并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证,PT-Cloud方法能保证所生成的测试例是切实可执行的,同时有效提高了测试生成的效率和自动化程度.
- 刘靖吴海博王少帅贾垒
- 关键词：着色PETRI网云计算MAPREDUCE
- BitTorrent协议中激励机制的设计与分析被引量：1
- 2014年
- 激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下载速度,并提高系统整体性能。原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,因此提出了一种新的激励策略,并给出了具体的实施算法。对应用这种新激励机制的BitTorrent协议进行了详细的着色Petri网(colored Petrinets,CPN)形式化建模分析,在验证模型正确性的基础上,进行基于模型模拟的性能分析实验,结果表明该激励机制能够严格限制搭便车节点行为,达到更好的激励效果。
- 贾垒刘靖马燕林叶新铭
- 关键词：BITTORRENT
- 基于CPN模型的BitTorrent协议激励机制研究
- 激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下载速度,并提高系统整体性能.原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,故本文提出了一种新的激励策略并给出了具体...
- 贾垒刘靖马燕林叶新铭
- 关键词：网络协议激励机制PETRI网模型系统性能
- 文献传递
