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

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