国家自然科学基金(69873040)
- 作品数：40 被引量：152H指数：7
- 相关作者：庄雷周清雷张雪萍赵东明董西广更多>>
- 相关机构：郑州大学解放军信息工程大学郑州工程学院更多>>
- 发文基金：国家自然科学基金河南省基础与前沿技术研究计划项目河南省教育厅自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信生物学更多>>
- 基于模型检测的多轮FR协议验证被引量：1
- 2008年
- 随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素。本文对公平交换协议Franklin/Reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具UPPAAL验证了单轮协议的性质。重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件。
- 郭华庄雷张习勇李舟军
- 关键词：电子商务协议时间自动机UPPAAL
- P2P环境中的一种信任模型被引量：8
- 2008年
- 提出一种新的信任模型,将用户提供服务和进行推荐的能力进行区分,用推荐信任表示用户的推荐能力,根据用户的历史交易经验和系统中其他用户的推荐来计算节点的综合信任度,用户依据计算结果选择交易对象,交易结束后给出信任评价,进行相应的反馈.仿真试验表明,模型能有效评估节点的信任度,提高系统的可用性.
- 董西广庄雷常玉存
- 关键词：对等网络信任模型
- 时间ω-树自动机识别语言的一个条件
- 2006年
- 时间自动机被广泛用于实时系统验证和模型检验.为适应不同类型的系统验证需要,不少时间自动机的相关模型被提出.时间树自动机是这样的新模型之一.目前主要是针对时间树自动机识别的语言类及相关性质的研究.本文提出了时间树自动机识别语言的一个条件,并证明了结论的正确性.如果一个语言不能满足该条件,它一定不能被时间树自动机识别.这为证明一个具体语言不能被时间树自动机识别提供了思路.
- 周清雷朱维军赵东明
- 关键词：识别语言
- NSSK协议的串空间模型及分析被引量：3
- 2007年
- 本文介绍了串空间模型中的基本概念和定理,并首次利用串空间理论,从机密性和认证性两个方面,对改进的NSSK协议进行了分析。分析结果表明改进的NSSK协议是安全的。
- 周清雷王峰赵东明
- 关键词：安全协议串空间
- 面向对象软件中基于服务的类测试被引量：2
- 2002年
- 面向对象软件测试是面向对象软件开发的不可缺少的一环 ,是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键 ,基于服务的类测试是面向对象软件测试中的重要内容。本文探讨了一种类的服务的测试模型及相应的测试策略。针对Kung等人提出的块分支图 (BlockBranchDiagram) ,探讨了对服务进行结构测试和功能测试的方法 ,提出了类的服务的测试模型。
- 张雪萍霍华
- 关键词：面向对象类测试
- 面向对象软件的回归测试策略研究被引量：9
- 2005年
- 面向对象软件测试已成为软件工程领域的一个重要研究课题。目前已提出的回归测试策略大都是针对结构化程序的,对面向对象软件的回归测试策略研究得很少。文章在分析面向对象程序设计语言对软件测试影响的基础上,讨论了面向对象软件测试的测试策略,重点研究了基于类的回归测试策略。
- 张雪萍
- 关键词：面向对象软件测试
- Java多线程测试策略及测试方法探讨被引量：6
- 2006年
- 在分析Java多线程特性的基础上,探讨了Java多线程的测试策略及测试方法,提出Java多线程测试由类测试、集成模块测试和系统测试三个层次组成,并讨论了多线程的继承测试、同步测试以及效率测试。
- 张雪萍鲍丹王家耀
- 关键词：JAVA多线程同步测试
- 一个基于实化聚集视图的近似查询计算模型及其应用
- 2004年
- 在数据仓库、大量交易记录系统、移动计算、联机分析处理系统(OLAP)等许多领域中聚集数据的处理是一个非常重要的核心问题。该文首先分析了聚集数据查询的特点,引入了聚集查询语言和聚集查询重写;其次对于聚集查询环境下如何实现快速查询,给出了一个基于聚集数据的近似查询计算模型;最后将该计算模型应用于人口统计系统,从而实现对统计信息类数据进行快速的查询处理,获得有效的查询结果。
- 陈昕陈维兴庄雷苏锦祥
- 关键词：聚集数据统计应用
- 基于UML状态图的类状态测试被引量：5
- 2006年
- 在介绍UML状态图的基础上,以面向对象软件的类作为基本测试单元,研究了基于UML状态图的类状态测试技术,并在Eclipse平台上结合Java工具用手工选择测试数据进行了实例测试。
- 张雪萍李连辉
- 关键词：统一建模语言状态图测试用例
- 非结构化P2P网络中基于连接度的分段搜索策略被引量：6
- 2008年
- 洪泛机制由于其简单性而被广泛应用于目前的非结构化P2P文件共享系统中,尽管它在内容搜索方面有很高的效率,但同时产生了大量的冗余消息,严重制约了网络的可扩展性。现有的改进搜索策略虽然减少了冗余消息的数量,但也明显降低了消息的覆盖范围。为了能够在保持高覆盖范围的前提下减少冗余消息的数量,提出了一种新的基于连接度的分段搜索策略DSearch。DSearch把搜索过程分为两个阶段,各个阶段中使用函数来控制消息转发的数量,然后依据邻居节点的连接度大小来选择消息的转发对象。分析和实验结果表明,DSearch能够提供较低负载的查询,高效地应用于P2P搜索。
- 庄雷董西广常玉存
- 关键词：对等网络GNUTELLA连接度
