基于中国邮递员问题的可信平台模块测试序列生成优化研究

基于中国邮递员问题的可信平台模块测试序列生成优化研究 Testing Sequences Generation Optimization for Trusted Platform Module Based on Chinese Postman Problem 徐士伟 XU Shiwei1 1 first-author 张焕国 ZHANG Huanguo1 1 2 肖瑾瑜 XIAO Jinyu1 1 严飞 YAN Fei1 1 2 武汉大学计算机学院 武汉大学计算机学院 School of Computer,Wuhan University School of Computer,Wuhan University 武汉大学空天信息安全与可信计算教育部重点实验室 武汉大学空天信息安全与可信计算教育部重点实验室 Key Laboratory of Aerospace Information Security and Trusted Computingof Ministry of Education,Wuhan University Key Laboratory of Aerospace Information Security and Trusted Computingof Ministry of Education,Wuhan University 现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可信平台模块改进的有限状态机模型与相应的优化测试方案,通过寻找一条遍历有限状态机模型中每一条转移至少一次的最短路径的方法,从而生成费用优化的测试序列.测试结果表明,测试方案能够简化有限状态机状态的测试. Nowadays,there are already not just few researches on testing TPM（trusted platform module）,but they are lack of the analysis of testing efficiency.On the basis of improving the finite state machine（FSM） model of TPM,this paper applies the Chinese postman problem to the conformance testing of the model.In order to generate the optimized test sequences,a shortest path,in which each transition should be traversed at least once,is found out in the model.Meanwhile,the test on the states of FSM is also simplified. 可信平台模块 中国邮递员问题 状态机理论 测试优化 trusted platform module Chinese postman problem state machine theory test optimization 10.14188/j.1671-8836.2010.02.020 TP309 国家高技术研究发展计划（863）项目（2007AA01Z411）;国家自然科学基金资助项目（60673071,60970116,90718005,90718006） 2010-02-01 2021-04-01 2 56