赵会群
- 作品数：114 被引量：560H指数：13
- 供职机构：北方工业大学更多>>
- 发文基金：国家自然科学基金北京市自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学经济管理更多>>
- 服务体系结构的动态演化方法研究
- 本文针对服务动态演化基础理论研究薄弱问题，提出了一种基于服务体系结构代数模型的体系结构动态演化方法。通过定义服务体系结构映射、体系结构同态与同构演化，明确了服务体系结构演化是一种代数系统变换的范例，从而可以用代数学方法分...
- 赵会群孙晶魏莹王文文
- 关键词：计算机网络网络服务软件开发程序设计
- 一种TTCN测试套自动生成方法研究被引量：5
- 2007年
- 简要介绍了TTCN-3标准的第三部分GFT(Graphical presentation Format,图形表示格式),并且根据GFT与TTCN-3核心语言的内在关联以及标准中的语法规定设计开发了一套由图形表示格式自动生成用核心语言描述的测试套的转换工具,从而可以减少测试相关人员在测试套开发过程中的工作量。
- 陈萍赵会群尚思超
- 关键词：TTCN-3测试套测试用例
- 基于AS关系的BGP路由策略冲突检测算法
- Internet边界网关协议(border gateway protocol 简称BGP)是基于策略的路由协议,它为路由选择提供了灵活恬.然而,实践表明BGP路由会产生振荡,其原因是路由策略配置冲突.本文提出一种基于AS...
- 赵会群张春宏鄢仁祥高远
- 关键词：边界网关协议策略冲突检测自治系统
- 文献传递
- 一种面向Fabric区块链应用软件的体系结构演化算法
- 2020年
- 针对联盟链Fabric中,orderer节点一旦发生异常,只能在下一个时间间隔继续,而当前时间间隔浪费的问题,本文对Fabric体系结构进行了演化,提出了一种新的思路,使得orderer节点产生异常后,系统可以在当前间隔内正常工作,不必等到下一个时间间隔。最后通过实验对算法在吞吐量、资源利用率等性能指标上进行了对比分析,表明了Fabric软件软件体系结构演化算法的有效性。
- 赵会群张隆龙
- 关键词：区块链容错机制
- 软件体系结构一致性仿真测试被引量：2
- 2001年
- 对软件体系结构的一致性进行讨论 ,给出软件体系结构一致性定义和软件体系结构一致性仿真测试方法 ,并通过三层Client/Server结构中组件事务特征一致性测试说明上述方法应用 ,实践表明该方法可以检测软件体现结构与其约束的不一致性 ,并具有线性时间·
- 赵会群徐凌宇王国仁高远
- 关键词：软件容错软件测试软件体系结构一致性仿真
- 一种安全的RFID后台网络设计方法研究被引量：10
- 2009年
- 分析RFID(radio-frequency identification,射频识别)后台网络中存在的安全问题,基于DNS安全扩展协议以及混合加密技术,提出了一种RFID网络安全构建方法,主要侧重于解决RFID后台网络中各个企业间信息交互的安全问题。
- 赵会群肖慧彬马宇健
- 关键词：射频识别混合加密
- Web Service适配器测试的仿真测试环境搭建方法被引量：2
- 2013年
- 介绍基于TTCN-3的Web Service测试方法,阐述对Web Service适配器进行仿真测试的必要性。为了保证Web Service适配器的可用性以及Web Service开发流程和测试流程的无缝衔接,提出Web Service适配器仿真测试的关键测试点、仿真测试环境的特性以及仿真测试环境的搭建方法。给出一个Web Service适配器仿真测试的实例,证明该方法的可行性和有效性。
- 赵会群张暴申宁
- 关键词：SERVICETTCN-3适配器仿真测试
- 基于Eclipse平台的TTCN-3测试系统被引量：5
- 2008年
- 分析TTCN-3标准规范中的TTCN-3测试系统通用结构,提出一种基于Eclipse平台的TTCN-3测试系统体系架构。使用Eclipse的插件机制,实现TTCN-3测试环境与Eclipse平台的集成。讨论测试系统中各模块的功能及相关实现方法,阐述测试系统的具体测试流程。实际应用表明了该测试系统的有效性。
- 尚思超赵会群陈萍
- 关键词：测试系统ECLIPSE平台插件
- 基于模型代数的基本路径集的自动生成被引量：5
- 2017年
- 路径测试是一种根据路径设计测试用例的白盒测试技术,而基本路径测试是其中运用最广泛的一种路径测试方法。基本路径测试是在被测程序的控制流图的基础上导出基本的可执行的路径集合,因此程序控制流图是基本路径集自动生成的关键。考虑到依赖程序控制流图生成基本路径集的低效性,提出基于模型代数的基本路径集的自动生成方法。该方法通过分析被测程序,自动生成程序的模型代数表达式,并在模型代数表达式的基础上生成基本路径集。最后通过经典案例证明了该方法的有效性。
- 赵会群卢飞
- 关键词：白盒测试
- 一种基于代数方法的路由振荡检测算法研究被引量：2
- 2007年
- 基于路由网络代数(Routing Network Algebra,RNA)提出了一种新的路由振荡检测方法.通过建立路由系统的路由网络代数模型,把路由分析转化为代数演算;通过引入路由网络元素线性相关性概念,证明了路由振荡的充分必要条件是网络元素线性相关.在此基础上,提出了O(H×L+N2)时间级的路由振荡检测算法.为了支持文中提出的算法,设计实现了一个路由振荡检测程序,通过对多个真实的路由表检测,进一步说明了上述算法的可行性.
- 赵会群孙晶
- 关键词：路由振荡路由网络代数边界网关协议
