计算机与数字工程
計算機與數字工程
계산궤여수자공정
COMPUTER & DIGITAL ENGINEERING
2013年
2期
315-317
,共3页
嵌入式系统%可信软件栈%一致性测试
嵌入式繫統%可信軟件棧%一緻性測試
감입식계통%가신연건잔%일치성측시
嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层应用可靠、有效运行的基础条件.论文讨论了对嵌入式系统可信软件栈的一致性测试框架和方法,实验结果表明现有的开源可信软件栈存在着不符合标准规范的问题.
嵌入式繫統可信軟件棧是可信嵌入式繫統的重要組成部分,對嵌入式繫統可信軟件棧的一緻性測試是確保上層應用可靠、有效運行的基礎條件.論文討論瞭對嵌入式繫統可信軟件棧的一緻性測試框架和方法,實驗結果錶明現有的開源可信軟件棧存在著不符閤標準規範的問題.
감입식계통가신연건잔시가신감입식계통적중요조성부분,대감입식계통가신연건잔적일치성측시시학보상층응용가고、유효운행적기출조건.논문토론료대감입식계통가신연건잔적일치성측시광가화방법,실험결과표명현유적개원가신연건잔존재착불부합표준규범적문제.