基于BUIO序列和中国邮递员问题的可信计算平台信任链测试序列生成优化研究

摘要

在一致性测试中，如何自动生成一条简捷高效的测试序列以提高测试效率是一个值得关注的问题。在基于有限状态机的测试序列生成方法中，唯一输入输出(UIO)方法是一种常用的方法，但在测试中若无人为的干预很难找到一种高效的可执行的测试序列。BUIO序列能唯一区别该状态和其他状态的输入输出外部行为，其确定的状态是序列的末状态而非UIO序列的首状态。本文在信任链规范形式化模型的基础上，基于BUIO（Backward UIO）序列，对可信计算平台信任链的一致性测试方法进行了研究，并将中国邮递员问题应用于该模型的一致性测试中，进一步探讨了可信计算平台信任链测试序列的生成优化问题。