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

本篇论文《基于中国邮递员问题的可信平台模块测试序列生成优化研究》发表于2010年的武汉大学学报(理学版)，主要针对当时对可信平台模块(TPM)测试效率不足的问题展开研究。TPM作为可信计算的关键组件，其安全性对于整个系统的信任至关重要。论文作者徐士伟、张焕国、肖瑾瑜和严飞结合自动机理论和中国邮递员问题，提出了一个改进的有限状态机模型，用于构建更为精细的测试方案。 中国邮递员问题是一种经典的图论问题，它模拟邮递员在城市中的路线规划，试图找到一条遍历所有街区恰好一次的最短路径。在本文中，作者将这个理念应用于测试序列生成，通过寻找有限状态机模型中每条转移至少被访问一次的最短路径，来设计成本优化的测试序列。这种方法旨在提高测试效率，减少不必要的状态检查，从而简化有限状态机的状态测试流程。 论文的关键点在于将有限状态机理论与实际的TPM测试相结合，通过形式化的EFSM模型，精细化状态划分，使得不同状态之间的转换更加精确，避免了以往研究中状态划分过于粗糙导致的部分转换无法实现的问题。这样做的好处在于，不仅能够保证测试的准确性，还提高了测试的执行效率，对于确保TPM的正确性和可信度具有重要意义。 该研究填补了之前在可信平台模块测试效率分析上的空白，为提高TPM测试的科学性和有效性提供了新的思路和技术支持。通过这种方法生成的测试序列，对于TPM的开发、验证和维护过程具有重要的实践价值。同时，这也反映了在信息安全领域，尤其是在可信计算技术的发展中，理论与实践的紧密结合是推动技术创新和优化的重要驱动力。