[发明专利]一种可信密码模块的测试用例生成方法及其测试系统

摘要

本发明公开了一种可信密码模块的测试用例生成方法及其测试系统，属于计算机技术领域。本发明的方法为：在可信密码模块划分的子系统内部进行建模，生成该子系统的扩展有限状态机，然后通过扩展有限状态机生成测试用例；本发明的测试系统包括：脚本解析引擎、结果分析引擎和通信模块。与现有技术相比，本发明的测试用例可以以自动化的方式生成，避免了手工测试用例无法保证测试完整性无法保证从而造成测试结果的可信度不高的问题，并且本发明给出的系统是一个自动化的测试系统，减少了一些人工的干预，节省了成本。

主权项

1.一种可信密码模块的测试用例生成方法，其步骤为：1)将可信密码模块划分为多个子系统；2)建立子系统内的命令依赖关系，从而生成该子系统的扩展有限状态机；3)根据生成的扩展有限状态机生成该子系统的测试用例。