立即登錄

如果您已經擁有本站賬號,可以直接登錄。

*為必填項注冊新會員

  • 登錄名: *  
  • 登錄密碼: *
  • 重復密碼: *  
  • 姓名: *  
  • 公司名稱: *  
  • 職務:
  • 聯系電話: *  
  • 電子郵件: *  
  • 驗證碼: *  

立即登錄

如果您已經擁有本站賬號,可以直接登錄。

*為必填項找回密碼

  • 注冊郵箱:

    驗證碼會以郵件的方式發送到您的郵箱!

  • 驗證碼: *
  • 請輸入新密碼: *

安全關鍵軟件集成研制環境ASIDE

提供軟件全生命周期研制、管理和審定的綜合支持

VerOCode源代碼與目標代碼追蹤分析工具

您的位置: 首頁 > 產品中心 > VerOCode源代碼與目標代碼追蹤分析工具

VerOCode源代碼與目標代碼追蹤分析工具


▌概要介紹


         VerOCode是一個用于分析源代碼與目標代碼的追蹤性的工具,能夠滿足DO-178B/C標

         準A級軟件、ISO26262標準SIL4級軟件對于目標代碼追蹤至源代碼的目標要求,并通過

         了DO-330 TQL-5工具鑒定。


▌主要功能


VerOCode能夠在基于需求的功能測試中自動捕獲、分析覆蓋率,并且不需要對代碼進行插樁。VerOCode能夠記錄、顯示在一個特定測試中被執行的語句;針對條件語句,能夠記錄和顯示每一次執行的條件的狀態。VerOCode所獲得的覆蓋率是在可執行文件層面獲得的目標碼對源代碼覆蓋率,其結果是通過注釋形式顯示目標碼與源代碼的差別。


                                   


▌工具鑒定


VerOCode能夠提供符合DO-178C/DO-330標準TQL-5級別的工具鑒定認證包,可支持DO-178B/C標準A級別的軟件驗證。




上海愛韋訊信息技術股份有限公司 版權所有 滬ICP備13019901號-1 COPYRIGHT ? 2017SHAVIATION 郵政編碼:201203
扑克app下载