嵌入式系统可信软件栈自动化测试研究

合集下载

相关主题

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

总第２８０期
２０１３年第２期
计算机与数字工程
ＣｏｍｐｕｔｅｒＤｉｇｉｔａｌＥｎｇｉｎｅｅｒｉｎｇ
Ｖｏ１．４１Ｎｏ．２
３１５
嵌入式系统可信软件栈自动化测试研究
姜忠龙
（９１４０４部队９２分队秦皇岛０６６００１）
ｌ引言
可信软件栈ＴＳＳ（ＴＣＧＳｏｆｔｗａｒｅＳｔａｃｋ）是可信计算平台的重要组成部分，依托于可信计算平台的硬件资源及可信平台模块ＴＰＭ（ＴｒｕｓｔｅｄＰｌａｔｆｏｒｍＭｏｄｕｌｅ），在软件系统
度考虑，具备了ＴＰＭ芯片设备以及装配了ＴＰＭ芯片的硬件平台，就有相对应的软件，如设备驱动、设备功能接口等。其次，由于ＴＰＭ芯片的计算能力和存储资源有限，ＴＰＭ芯片不可能独立完成可信计算的所有功能，必须借助于软件
应用程序调用ＴＰＭ安全保护功能提供人口点，提供对ＴＰＭ的同步访问，向应用程序隐藏ＴＰＭ所建立的功能命
系统的参与。
国际可信计算组织ＴＣＧ（ＴｒｕｓｔｅｄｏｍｐＣｕｔｉｎｇＧｒｏｕｐ）为可信软件栈制定了一系列的技术规范，２００３年１Ｏ月推出ＴＳＳＳｐｅｃｉｆｉｃａｔｉｏｎＶｅｒｓｉｏｎ１．１规范，２００７年４月在前一规范基础上做了进一步修改，制定出ＴＳＳＳｐｅｃｉｆｉｃａｔｉｏｎＶｅｒｓｉｏｎ１．２规范。规范中指出： “ ＴＳＳ的设计目标包括：为
中提供支撑可信计算目标的可信服务，并保证系统软件与
环境的可信性ｌ１］。
嵌入式系统的ＴＳＳ是用户应用程序和ＴＰＭ之间的通
信中间件，嵌入式系统ＴＳＳ一方面实现对ＴＰＭ命令接口的抽象与封装，另一方面是对用户用例（ＵｓｅｒＣａｓｅ）的基础支撑。因此，嵌入式系统ＴＳＳ的功能实现是否完全，直接影响着上层应用的正确性与可靠性。对嵌入式系统ＴＳＳ
ＪＩＡＮＧＺｈｏｎｇｌｏｎｇ
（Ｕｎｉｔ９２，Ｎｏ．９１４０４ＴｒｏｏｐｓｏｆＰＩＡ，Ｑｉｎｈｕａｎｇｄａｏ０６６００１）
ＡｂｓｔｒａｃｔＴｈｅｔｒｕｓｔｅｄｓｏｆｔｗａｒｅｓｔａｃｋ（ＴＳＳ）ｉｓａｎｉｍｐｏｒｔａｎｔｃｏｍｐｏｎｅｎｔｏｆｔｒｕｓｔｅｄｅｍｂｅｄｄｅｄｓｙｓｔｅｍ．ＨｏｗｔｏｔｅｓｔｔｈｅｃｏｍｐｌｉａｎｃｅｏｆＴＳＳｏｆｅｍｂｅｄｄｅｄｓｙｓｔｅｍｅｆｆｅｃｔｉｖｅｌｙｉｓｔｈｅｆｕｎｄａｍｅｎｔａｌｔｏｅｎｓｕｒｅａｐｐｌｉｃａｔｉｏｎｒｕｎｓａｆｅｌｙ．ＴｈｉｓｐａｐｅｒｄｉｓｃｕｓｓｅｓｔｈｅｆｒａｍｅａｎｄｍｅｔｈｏｄｏｆｃｏｍｐｌｉａｎｃｅｔｅｓｔｉｎｇｔｏｔｅｓｔＴＳＳｉｎｅｍｂｅｄｄｅｄｓｙｓｔｅｍ．Ｔｈｅｒｅｓｕｌｔｓｓｈｏｗｔｈａｔｔｈｅｏｐｅｎｓｏｕｒｃｅｏｆｔｒｕｓｔｅｄｓｏｆｔｗａｒｅｓｔａｃｋｄｏｅｓｎｏｔａｃｃｏｒｄｗｉｔｈｓｐｅｃｉｆｉｃａｔｉｏｎｓ．ＫｅｙＷｏｒｄｓｅｍｂｅｄｄｅｄｓｙｓｔｅｍ，ｔｒｕｓｔｅｄｓｏｆｔｗａｒｅｓｔａｃｋ，ｃｏｍｐｌｉａｎｃｅｔｅｓｔｉｎｇＣｌａｓｓＮｕｍｂｅｒＴＰ３０９
关键词
嵌入式系统；可信软件栈；一致性测试
ＴＰ３０９
中图分类号
ＡｕｔｏｍａｔｉｃＴｅｓｔｉｎｇｏｆＴｒｕｓｔｅｄＳｏｆｔｗａｒｅＳｔａｃｋｉｎＥｍｂｅｄｄｅｄＳｙｓｔｅｍ
摘
要
嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分，对嵌入式系统可信软件栈的一致性测试是确保上层应用可靠、有

效运行的基础条件。论文讨论了对嵌入式系统可信软件栈的一致性测试框架和方法，实验结果表明现有的开源可信软件栈存在着不符合标
准规范的问题。