国产初高中生在线视频,亚洲成av人在线视,精品亚洲A∨无码一区二区三区,亚洲处破女

立即登錄

如果您已經(jīng)擁有本站賬號，可以直接登錄。

*為必填項(xiàng)注冊新會(huì)員

  • 登錄名： *  
  • 登錄密碼： *
  • 重復(fù)密碼： *  
  • 姓名： *  
  • 公司名稱： *  
  • 職務(wù)：
  • 聯(lián)系電話： *  
  • 電子郵件： *  
  • 驗(yàn)證碼： *  

立即登錄

如果您已經(jīng)擁有本站賬號，可以直接登錄。

*為必填項(xiàng)找回密碼

  • 注冊郵箱：

    驗(yàn)證碼會(huì)以郵件的方式發(fā)送到您的郵箱！

  • 驗(yàn)證碼： *
  • 請輸入新密碼： *

安全關(guān)鍵系統(tǒng)集成研制環(huán)境ASIDE

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

VerOCode源代碼與目標(biāo)代碼追蹤分析工具

您的位置： 首頁 > 產(chǎn)品中心 > VerOCode源代碼與目標(biāo)代碼追蹤分析工具

VerOCode源代碼與目標(biāo)代碼追蹤分析工具


▌概要介紹


VerOCode是一個(gè)用于分析源代碼與目標(biāo)代碼的追蹤性的工具，能夠滿足DO-178B/C標(biāo)

準(zhǔn)A級軟件、ISO26262標(biāo)準(zhǔn)SIL4級軟件對于目標(biāo)代碼追蹤至源代碼的目標(biāo)要求，并通過

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


▌主要功能


VerOCode能夠在基于需求的功能測試中自動(dòng)捕獲、分析覆蓋率，并且不需要對代碼進(jìn)行插樁。VerOCode能夠記錄、顯示在一個(gè)特定測試中被執(zhí)行的語句；針對條件語句，能夠記錄和顯示每一次執(zhí)行的條件的狀態(tài)。VerOCode所獲得的覆蓋率是在可執(zhí)行文件層面獲得的目標(biāo)碼對源代碼覆蓋率，其結(jié)果是通過注釋形式顯示目標(biāo)碼與源代碼的差別。




▌工具鑒定


VerOCode能夠提供符合DO-178C/DO-330標(biāo)準(zhǔn)TQL-5級別的工具鑒定認(rèn)證包，可支持DO-178B/C標(biāo)準(zhǔn)A級別的軟件驗(yàn)證。



上一篇：無

下一篇：VeroSource 判定覆蓋和語句覆蓋分析工具




上海愛韋訊信息技術(shù)股份有限公司 版權(quán)所有 滬ICP備13019901號-1 COPYRIGHT ? 2017SHAVIATION 郵政編碼：201203