中文会议： 2010年第四届中国可信计算与信息安全学术会议论文集

会议日期： 2010-05-21

会议地点： 北京

主办单位： 中国计算机学会

作　　者： ; ; ; ;

机构地区： 武汉大学计算机学院

出　　处： 《2010年第四届中国可信计算与信息安全学术会议》

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

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

分 类 号： [T]

领　　域： [一般工业技术]