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

关键词：健壮性测试 增强有限状态机 全球平台 安全通道协议 

单位：华中科技大学机械学院 湖北武汉430074 武汉天喻信息产业股份有限公司 湖北武汉430223