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

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