可信密码模块符合性测试方法与实施

被引：13

作者：

李昊

冯登国

陈小峰

机构：

[1] 信息安全国家重点实验室/中国科学院软件研究所

来源：

武汉大学学报(理学版) | 2009年 / 55卷 / 01期

关键词：

可信密码模块; 符合性测试; 扩展有限状态机模型; 等价类测试;

D O I：

10.14188/j.1671-8836.2009.01.002

中图分类号：

TN918.1 [理论];

学科分类号：

070104 ;

摘要：

提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率,能够发现更多产品不符合标准带来的问题.

引用

页码：31 / 34

页数：4