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

• 作者: 姜忠龙
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 嵌入式系统 可信软件栈 一致性测试
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 工程实践
• 页码范围: 315-317
• 页数: 3页
• 分类号: TP309
• 字数: 2073字
• 语种: 中文

摘要

嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层应用可靠、有效运行的基础条件.论文讨论了对嵌入式系统可信软件栈的一致性测试框架和方法,实验结果表明现有的开源可信软件栈存在着不符合标准规范的问题.