付晓东
- 作品数:8 被引量:24H指数:3
- 供职机构:吉林大学计算机科学与技术学院更多>>
- 发文基金:吉林省自然科学基金国家高技术研究发展计划吉林省科技发展计划基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种有效的混合式组播通信源认证方法被引量:1
- 2007年
- 组播通信源认证是组播安全中的重点和难点问题之一,但目前没有一种方法能够满足所有组播应用领域的需求。因此基于散列树和散列链两种数据结构提出了一种混合式组播通信源认证方法(Hybrid Multicast Source Authentication,HMSA)。通过数据分析与对比表明HMSA简单有效且安全可靠,能够适用于绝大多数组播应用领域。
- 贺金鑫徐高潮付晓东周治国
- 关键词:组播安全源认证散列链
- 基于XForm与Web Services的流行病信息管理系统被引量:3
- 2005年
- 应用XForms技术和Web Services架构,实现了一个流行病信息管理系统,该系统具备分布式数据处理和远程数据监控能力,支持异构系统中数据自动汇总,为远程诊断提供了基础.实现了一个支持W3C XForms标准的表单子系统TXForms,以TXForms为基础建立了一个XML表单系统,以SOAP和XML安全技术为基础建立了病例信息交换系统,以Web服务技术建立了疾病信息控制中心系统.
- 徐高潮付晓东胡亮刘洋张洁
- 关键词:SERVICESXFORMSXMLSOAP
- 一种改进的安全组播数据源认证方法
- <正>1 引言组播(IP Multicast)是20世纪80年代后期开始兴起的一种群体性通信,包括“一对多”和“多对多”两种形式。这种通信根据IGMP(Internet Group Management Protocol...
- 贺金鑫徐高潮付晓东周治国姜建华
- 文献传递
- 一种基于约束的变异测试数据生成方法被引量:11
- 2011年
- 作为衡量测试用例集完备性的测试策略,变异测试是一种"面向缺陷"的单元测试技术,主要用来生成完备的测试用例集.其中面向路径测试数据生成技术通过约束系统构造和求解过程实现用例集生成,是一种高效的测试用例生成技术.但目前大部分面向路径测试用例生成技术只考虑了程序语句间的控制依赖,即通过对控制流图的分析来构建约束系统,而忽略了语句间的数据依赖对约束系统的影响.充分考虑两种依赖关系,针对域削减的测试数据生成技术进行了改进,提出了一种考虑数据依赖的域削减方法.实验表明,这种方法在变异测试数据生成的成功率和执行效率上都有较大程度的提高.
- 刘新忠徐高潮胡亮付晓东董玉双
- 关键词:软件自动化测试测试数据生成
- 通用数据库性能测评系统的设计与实现被引量:4
- 2009年
- 为了准确测评通用数据库的联机事务处理性能,基于国际通用的计算机系统性能测评标准TPC系列中的TPC-C标准,及开源测试工具dbt2,设计并实现了通用数据库性能测评系统.并应用该系统对Oracle10g与MySQL5.1进行了对比测评,取得了准确、合理的测评结果.
- 贺金鑫徐高潮付晓东周治国姜建华
- 关键词:通用数据库联机事务处理测评系统
- 一种复合型组播数据认证方法
- 组播数据的认证是安全组通信中的重点和难点问题之一,但目前没有一种有效方法能够真正适合所有组播应用领域的需求,如散列树的通信开销太大,而散列链不能应对网络传输中的数据丢包.因此基于这两种方法提出了一种复合型组播数据认证方法...
- 贺金鑫徐高潮付晓东周治国姜建华
- 关键词:网络安全安全组通信散列链
- 文献传递
- 引入关联缺陷的软件可靠性评估模型被引量:5
- 2011年
- 关联缺陷的存在很大程度上是由于缺陷的检测能力被其他缺陷所屏蔽,它不仅影响软件测试结果,还扭曲了软件可靠性评估模型的评估结果.从软件缺陷的自身角度来分析软件检测以及可靠性评估失效的原因,对关联缺陷进行了详细分析.为了在软件可靠性评估时获得更符合实际缺陷数量的预测值,将广义关联应用于现有可靠性评估模型的改进上,并提出了P-NHPP(phase-nonhomogeneous poisson process,简称P-NHPP)可靠性模型.实验分析表明,P-NHPP具有较好的拟合效果和预测能力.
- 徐高潮刘新忠胡亮付晓东董玉双
- 关键词:非齐次泊松过程
- 基于Spring框架的工作流引擎设计与实现被引量:2
- 2007年
- 基于Spring框架,给出了一个满足OA系统需求的工作流引擎设计方案并加以实现开发,设计了自适应的工作流模型定义,实现了客户端驱动形式的工作流执行过程控制.提供了Web应用下的工作管理系统测试平台,验证了引擎功能实现的正确性及完整性.
- 潘伟仲倩黎付晓东于子元
- 关键词:OA系统工作流工作流引擎SPRING