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

摘要：

现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可信平台模块改进的有限状态机模型与相应的优化测试方案,通过寻找一条遍历有限状态机模型中每一条转移至少一次的最短路径的方法,从而生成费用优化的测试序列.测试结果表明,测试方案能够简化有限状态机状态的测试.

关键词：可信平台模块、中国邮递员问题、状态机理论、测试优化

所属期刊栏目：56

分类号：TP301;TP309(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863项目2007AAO1Z411;国家自然科学基金资助项目60673071;60970116;90718005;90718006

在线出版日期：2010-09-17（万方平台首次上网日期，不代表论文的发表时间）

页码：138-142