湖北省信息产业发展专项基金(0609)
- 作品数:3 被引量:13H指数:2
- 相关作者:王同洋吴俊军张新访周章慧更多>>
- 相关机构:华中科技大学更多>>
- 发文基金:湖北省信息产业发展专项基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 空中写卡的安全性分析及一种实现被引量:1
- 2007年
- 中国移动实施的远程写卡系统解决了部分备卡和号码、资金占用问题,但由于社会代理销售渠道的庞大,实际无法大面积实施。论文提出了一种使用手持终端的空中写卡方案,分析了空中数据传输的安全性要求并提出了一种基于两级密钥体系的两级数据传输的实现,给出了从选号、写号到业务日志的业务顺序图。
- 周章慧王同洋吴俊军张新访
- 关键词:个人化
- 基于有限状态机的健壮性测试研究被引量:7
- 2009年
- 健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试。测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。
- 周章慧王同洋吴俊军张新访
- 关键词:健壮性测试
- 智能卡操作系统自动测试中的脚本技术被引量:5
- 2008年
- 介绍了智能卡的特点,用巴科斯范式(BNF)给出了SCML脚本语言的主要语法定义。重点介绍了SCML解释执行的相关技术及如何对SCML语言进行扩展以满足不断变化的需求。把SCML应用到智能卡大师测试系统中可以实现测试自动化,实际表明该脚本技术可以适应各类智能卡测试的要求,并得到广泛应用。
- 周章慧王同洋吴俊军张新访
- 关键词:测试自动化脚本语言语言解释器