可信密码模块符合性测试方法与实施
| Data(s) |
2009
|
|---|---|
| Resumo |
提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率,能够发现更多产品不符合标准带来的问题. |
| Identificador | |
| Fonte |
李昊;冯登国;陈小峰.可信密码模块符合性测试方法与实施,武汉大学学报(理学版),2009,(1):31-34 |
| Palavras-Chave | #可信密码模块 #符合性测试 #扩展有限状态机模型 #等价类测试 |
| Tipo |
期刊论文 |
