北京市自然科学基金(4062012)
- 作品数：19 被引量：135H指数：5
- 相关作者：赵会群孙晶尚思超金季春陈萍更多>>
- 相关机构：北方工业大学北京体育大学国家知识产权局更多>>
- 发文基金：北京市自然科学基金国家高技术研究发展计划北京市教委科技计划面上项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 一种扩展TTCN-3复杂计算的方法
- 为了解决TTCN-3核心语言在复杂计算方面的不足,及简化TTCN-3编解码器和适配器的设计与实现,本文采用Web Service技术,引入辅助测试服务系统的方法实现扩展TTCN-3系统的复杂计算能力,使通用编解码器和适配...
- 赵会群李东林翟亚娟
- 关键词：TTCN-3适配器
- 文献传递
- 一种基于SIP协议的应用软件测试方法被引量：1
- 2009年
- 提出了一种通过执行TTCN-3抽象测试套来验证应用程序正确性的新方法.介绍了SIP协议(Session Initiation Protocol,会话初始协议)及SIP协议的要素和消息,介绍了用于开发相关测试套的TTCN-3语言,给出了一个具体应用实例.实例验证该方法具有可行性.
- 赵会群赵洁孙晶
- 关键词：SIPTTCN-3软件测试
- 基于MSC的网络游戏软件测试方法研究被引量：1
- 2009年
- 针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体的网络游戏软件测试案例,给出上述测试方法和技术的解释。从理论角度验证了基于模型测试方法在网络游戏软件测试上的可行性;从技术角度表明了TTCN对网络游戏软件测试的有效性。
- 赵会群苏玉兰孙晶
- 关键词：网络游戏协议一致性测试
- Web Service自动化测试方法的研究
- 2010年
- 为了保障Web服务的可靠性和安全性,在测试Web服务时采用一种基于TTCN-3的分布式测试方法,给出WSDL服务信息描述到TTCN-3描述的生成流程,也即服务器端抽象测试套的生成过程,并设计出一种用于抽象测试套自动生成的算法,最后实现一个自动化测试工具原型,给出运用此方法进行测试的实例,进一步说明Web服务测试套执行的测试流程,验证此方法的可行性。解决传统测试方法在测试Web服务应用时测试套无法跨平台的问题,增强Web服务测试系统的灵活性和平台无关性。
- 翟亚娟赵会群
- 关键词：WEB服务测试TTCN-3编码解码器
- 低成本可扩展的分布式VoD系统体系结构研究被引量：3
- 2007年
- 考虑视频点播(VoD)系统的成本代价要求,给出了一种基于普通PC机的、高性价比的分布式VoD系统方案,论述了系统的体系结构、动态扩展及其负载平衡机制。实验数据表明,系统能有效地解决传统集中式VoD系统的瓶颈问题,具有良好的可扩展性,能够满足大规模VoD应用的要求。
- 吴杰伟张雨佳赵会群
- 关键词：视频点播可扩展负载平衡视频流
- 一种TTCN测试套自动生成方法研究被引量：5
- 2007年
- 简要介绍了TTCN-3标准的第三部分GFT(Graphical presentation Format,图形表示格式),并且根据GFT与TTCN-3核心语言的内在关联以及标准中的语法规定设计开发了一套由图形表示格式自动生成用核心语言描述的测试套的转换工具,从而可以减少测试相关人员在测试套开发过程中的工作量。
- 陈萍赵会群尚思超
- 关键词：TTCN-3测试套测试用例
- 手机游戏软件一致性测试方法研究被引量：4
- 2007年
- 在概述手机游戏开发和测试方法之后,重点讨论手机游戏采用的WAP(Wireless Application Protocol,简称WAP)协议。结合WAE(Wireless Application Environment,简称WAE),WAP协议的应用层,一个用MSC图(Message Sequence Chart,简称MSC)描述的游戏协议模型被提出;为了辅助游戏测试,给出了一个基于TTCN的手机游戏测试套框架。为了指导上述模型的应用,介绍一个由Nokia公司开发的苹果机游戏的测试工作。
- 赵会群孙晶金季春
- 关键词：软件测试
- 基于Eclipse平台的TTCN-3测试系统被引量：5
- 2008年
- 分析TTCN-3标准规范中的TTCN-3测试系统通用结构,提出一种基于Eclipse平台的TTCN-3测试系统体系架构。使用Eclipse的插件机制,实现TTCN-3测试环境与Eclipse平台的集成。讨论测试系统中各模块的功能及相关实现方法,阐述测试系统的具体测试流程。实际应用表明了该测试系统的有效性。
- 尚思超赵会群陈萍
- 关键词：测试系统ECLIPSE平台插件
- 一种基于代数方法的路由振荡检测算法研究被引量：2
- 2007年
- 基于路由网络代数(Routing Network Algebra,RNA)提出了一种新的路由振荡检测方法.通过建立路由系统的路由网络代数模型,把路由分析转化为代数演算;通过引入路由网络元素线性相关性概念,证明了路由振荡的充分必要条件是网络元素线性相关.在此基础上,提出了O(H×L+N2)时间级的路由振荡检测算法.为了支持文中提出的算法,设计实现了一个路由振荡检测程序,通过对多个真实的路由表检测,进一步说明了上述算法的可行性.
- 赵会群孙晶
- 关键词：路由振荡路由网络代数边界网关协议
- 基于TTCN-3的SIP协议一致性测试方法研究
- 本文主要由三部分组成,开篇介绍了SIP（Session Initiation Protocol,会话初始协议）,主要介绍了SIP的四个要素和SIP消息格式。接下来概述了TTCN-3（Testing and Test Co...
- 赵会群赵洁王恩雷
- 关键词：SIP协议一致性测试
- 文献传递
