基于有限状态机的健壮性测试研究

• 作者: 吴俊军 周章慧 张新访 王同洋
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 健壮性测试 增强有限状态机 全球平台 安全通道协议
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 软件工程
• 页码范围: 93-97
• 页数: 5页
• 分类号: TP311.5
• 字数: 6645字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2009.05.028

摘要

健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试.我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试.测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴俊军	华中科技大学机械学院	36	267	9.0	14.0
2	张新访		4	22	3.0	4.0
3	周章慧	华中科技大学机械学院	3	22	3.0	3.0
4	王同洋		3	22	3.0	3.0