【摘要】 本发明公开了一种可信密码模块的测试用例生成方法及其测试系统，属于计算机技术 领域。本发明的方法为：在可信密码模块划分的子系统内部进行建模，生成该子系统的扩 展有限状态机，然后通过扩展有限状态机生成测试用例；本发明的测试系统包括：脚本解 析引擎、结果分析引擎和通信模块。与现有技术相比，本发明的测试用例可以以自动化的 方式生成，避免了手工测试用例无法保证测试完整性无法保证从而造成测试结果的可信度 不高的问题，并且本发明给出的系统是一个自动化的测试系统，减少了一些人工的干预， 节省了成本。 【专利类型】发明授权 【申请人】中国科学院软件研究所 【申请人类型】科研单位 【申请人地址】100190北京市海淀区中关村南四街4号 【申请人地区】中国 【申请人城市】北京市 【申请人区县】海淀区 【申请号】CN200810104596.4 【申请日】2008-04-22 【申请年份】2008 【公开公告号】CN100583057C 【公开公告日】2010-01-20 【公开公告年份】2010 【授权公告号】CN100583057C 【授权公告日】2010-01-20 【授权公告年份】2010.0 【IPC分类号】G06F11/36; G06F21/00 【发明人】陈小峰; 冯登国; 张敏; 初晓博; 李昊 【主权项内容】1.一种可信密码模块的测试用例生成方法，其步骤为： 1)将可信密码模块划分为多个子系统； 2)对各子系统内的状态进行划分，形成子系统内部的状态；所述对子系统内的状态进 行划分的方法为： a)初始状态空间为： 其中x1.xi.xn，A1..Aj..Al为决定状态空间的状态变量，xi表示的是单值变量，类型分别 为T1，...，Tn，Aj是一集合变量，集合中的元素类型为TT1，...，TTl； b)根据状态变量的不同对状态进行划分； c)组合划分后的状态变量； d)根据约束条件缩减组合后的状态变量； 3)根据子系统内部的命令执行顺序建立该子系统内命令之间的执行顺序依赖图； 4)根据子系统内的状态，从初始状态出发，按照命令的执行先后顺序，在对应的状态 上应用某个可执行命令，造成状态的迁移，从而提取出迁移路径； 5)根据子系统内部的状态和提取的迁移路径生成扩展有限状态机； 6)根据生成的扩展有限状态机生成该子系统的测试用例。 【当前权利人】中科信息安全共性技术国家工程研究中心有限公司 【当前专利权人地址】北京市海淀区中关村大街19号新中关大厦B座北翼16层 【统一社会信用代码】121000004000123696 【引证次数】4.0 【被引证次数】2 【自引次数】1.0 【他引次数】3.0 【被自引次数】2.0 【家族引证次数】4.0 【家族被引证次数】22
