论文部分内容阅读
提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率,能够发现更多产品不符合标准带来的问题.
An effective method of conformance testing for trusted cryptographic modules is proposed. The metrics are given, and the tests are stratified according to the indexes. The dependencies of internal commands of Trusted Cryptographic Module (TCM) Use case. Since this method adopts the extended finite state machine model in the functional layer and the equivalence class method in the command layer to obtain the test case, the method can perform a more complete conformance test on the existing TCM products. The test results show that: TCM test method compared to the test method has a high test efficiency, to find more products do not meet the standards of the problems.