|
SafeTI 編譯器驗證套件包含:6 w2 }8 n _& R. Q0 G3 Z6 v
• 驗證套件用戶手冊;
' S. f( g" j% R* o• 驗證支援工具,協助驗證配置與生成文件;, c" @) m$ v @& B: C
• 所需安全文件範例:包括工具分類報告、工具驗證計畫、工具驗證報告與工具安全手冊;
( [# Y) b& `$ I• 儀表化版本編譯器,可在應用與驗證測試中比較編譯器覆蓋範圍;, C, z3 a5 z7 N( D& `* ]4 G2 @6 N
• TÜV Nord 報告,顯示驗證過程認可;
/ Y0 M/ r( \, X/ v9 A• 針對ARM 架構 C 編譯器 ACE SuperTest 驗證套件;! c: g8 r6 A7 k1 S
• 針對選取 TI ARM 編譯器功能確認驗證測試案例;
2 H! V @. x% Y& O3 j0 l& Z• 在使用者環境中透過目標硬體 (target hardware) 運作測試自動化框架;
) \2 [% z, E0 x1 @' q. M7 _8 G• 24 小時 Validas 諮詢服務:透過 Webex 與電子郵件針對一般性支援、模組擴充 (model-extension) 、覆蓋範圍比較以及結果/文件預覽進行支援。
7 W* u/ n1 r+ A* z8 G" C# o1 |8 z3 f C, o5 D( P$ L/ n5 t2 R8 Q
SafeTI 編譯器驗證套件包含多數編譯器功能測試,並可擴充支援 TI 與 Validas 未來測試案例更新。; ^7 K; l$ u7 i* {( a( V: u
0 j) ]/ E( U8 S+ I2 G1 f3 @8 x% h3 v供貨與支援/ O7 v& d/ i9 `1 P+ V2 u
TI 現已提供 SafeTI 編譯器驗證套件。客戶需 線上註冊 才可獲得該套件。TI 與 Validas 並提供 SafeTI 編譯器驗證套件客戶支援。8 h! |8 e$ I: V$ q& ^; X6 A
# f! ?0 u4 N# m2 {' V合作夥伴! ?2 X. |" v" ]* f1 I: H
TI 與 Validas 以及 ACE 兩強攜手開發該驗證套件,協助客戶針對 ARM 編譯器特定使用案例進行驗證,使功能與效能也可利用最大化。TI ARM 編譯器新修訂版本與功能可使用 Validas 模組化驗證方法、ACE SuperTest 驗證套件運作與其它 TI 驗證測試案例進行驗證。 |
|