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

• 作 者: 徐士伟 肖瑾瑜 张焕国 严飞
• 机 构: 武汉大学,计算机学院,湖北,武汉,430072
• 出 处: 2010年第四届中国可信计算与信息安全学术会议
• 发表日期: 2010年期
• 关键词: 中国邮递员问题 可信平台模块 测试序列生成 有限状态机模型 测试方案 自动机理论 最短路径 费用优化 研究成果 效率分析 测试结果 国内外 改进 方法

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