• <th id="mdm3y"><pre id="mdm3y"></pre></th>
    <rp id="mdm3y"></rp>

    立即登錄

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

    *為必填項注冊新會員

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

    立即登錄

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

    *為必填項找回密碼

    • 注冊郵箱:

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

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

    安全關鍵系統集成研制環境ASIDE

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

    VeroCel系列

    您的位置: 首頁 > 產品中心 > SCADE高 > VeroCel系列

    Verocel安全關鍵的軟件驗證工具及服務



    Verocel公司創建于1999年,專注于RTCA/DO-178B/C、DO-254、IEC61508、ISO 26262、EN50128和IEC 62304等安全關鍵標準的研究,提供量身定做的工具與解決方案,幫助用戶開發的軟硬件滿足安全法規及標準要求。Verocel在軟件、復雜電子硬件、分區等方面具有專長,已經幫助數十家國外用戶通過審定。




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


    1.  概要介紹

    VerOCode是一個用于進行源代碼與目標代碼的追蹤性分析的工具,能夠滿足DO-178B/C Level A和ISO26262 SIL4關于目標代碼追蹤至源代碼的目標要求,并通過了DO-330 TQL-5工具鑒定。


    2.  主要功能

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


    3.  工具鑒定

    VerOCode還提供了配套的鑒定數據包,可以用于支持DO-178B A級別驗證工具鑒定、或者DO-178C/DO-330 TQL-5工具鑒定,工具輸出的追蹤結果可以提供Level A適航信用。


    VeroSource 判定覆蓋和語句覆蓋分析工具


    1.  概要介紹

    VeroSource能夠自動標記代碼語句覆蓋和判斷覆蓋的語句執行情況,以滿足DO-178B/C Level B和Level C以及ISO26262 SIL4關于結構覆蓋的目標要求,并通過了DO-330 TQL-5工具鑒定。


    2.  主要功能

    VeroSource能夠記錄被測程序中所有被執行的語句,以及程序中所有執行過的判斷的結果。VeroSource能夠對源代碼進行標記,以顯示覆蓋結果,并且提供了對未覆蓋代碼進行評審和注釋的功能。

    VeroSource需要對被測代碼進行插樁,但是它使用的是與基于需求的功能測試相同的測試(用例和執行)來獲取覆蓋率。通過使用相同的測試,就能夠驗證插樁不會影響代碼的功能行為,所以無需擔心插樁對代碼的影響。


    3.  工具鑒定

    VeroSource還提供了配套的鑒定數據包,可以用于支持DO-178B B級別和C級別驗證工具鑒定、或者DO-178C/DO-330 TQL-5工具鑒定,工具輸出的覆蓋結果可以提供Level B或Level C適航信用。


    VeroSource-A MC/DC覆蓋分析工具


    1.  概要介紹

    VeroSource-A能夠滿足ISO26262, SIL4 and DO-178B/C Level A MC/DC的覆蓋要求目標,并通過了DO-330 TQL-5工具鑒定。


    2.  主要功能

    VeroSource-A可以完全重復使用基于需求的功能測試(測試用例、測試執行等)來自動獲取和分析結構覆蓋率。其原理是通過對被測代碼進行插樁。通過使用與功能測試相同的測試用例,VeroSource-A可以驗證插樁不會影響代碼的功能/行為,所以無需擔心插樁對代碼的影響。


    3.  工具鑒定

    VeroSource-A還提供了配套的鑒定數據包,可以用于支持DO-178B A級別驗證工具鑒定、或者DO-178C/DO-330 TQL-5工具鑒定,工具輸出的覆蓋結果可以提供Level A適航信用。


    VerOLink 控制耦合分析工具


    1.  概要介紹

    DO-178B/C的表A-7目標8要求進行控制耦合分析。VerOLink能夠通過確保連接圖的一致性,來表明每個軟件功能都按預期被調用,從而幫助客戶滿足DO-178的控制耦合目標。VerOLink通過例如多個標準的鑒定,包括DO-330, IEC 61508 and ISO 26262。


    2.  主要功能

    控制耦合分析了多個獨立編譯的目標文件是否被正確鏈接成為一個單獨的可執行鏡像。在實際工程中,即使驗證人員對集成后的可執行鏡像執行了所有基于需求的測試,并且在目標碼級別評估了覆蓋率,仍然可能存在鏈接器錯誤連接函數的情況。VerOLink就是用來進行這一最后的檢查。VerOLink能夠自動實現代碼集成,并分析可執行鏡像,找到所有函數、函數調用及其在目標文件中的位置,驗證鏈接器在組合目標文件時是否在可執行鏡像中的建立了正確的函數調用關系。使用VerOLink能夠幫助驗證人員確定軟件功能能夠按照預期觸發,避免鏈接器錯誤。


    3.  工具鑒定

    VerOLink還提供了配套的鑒定數據包,用于支持DO-178C A級別驗證工具鑒定、或者DO-178C/DO-330 TQL-5工具鑒定,工具輸出結果可以提供Level A適航信用。


    VeroStack 堆棧分析工具


    1.  概要介紹

    最壞堆棧分析能夠確認軟件內存使用的充分性,從而不會導致不確定的行為。VerOStack通過檢查軟件應用的鏡像,分析出“所有”任務和“所有”執行路徑,評估和計算一個應用軟件的最壞堆棧使用情況。VerOStack依賴于所使用的操作系統。VerOStack通過了多個標準的鑒定,包括DO-330, IEC 61508 and ISO 26262。


    2.  主要功能

    VerOStack能夠通過檢查軟件的可執行鏡像,靜態檢查一個軟件的最大或最壞堆棧使用場景。這是一個精確的測試技術,而不受特定的動態測試執行、以及特定測試路徑的偏差的影響。此外,VerOStack不單單考慮當前程序,還會考慮其他將會同時在該目標機上執行的程序,例如在一個RTOS中運行的其他應用以及RTOS自身。這樣就可以提供對目標機內存需求的真正有意義的數據。VerOStack同時支持Ada, C, C++和匯編語言。


    3.  工具鑒定

    VerOStack還提供了配套的工具鑒定包,以滿足DO-178B/C的鑒定要求。VeroOStack曾應用于波音B787項目。


    PICSim PIC系列單片機仿真器


    1.  概要介紹

    該仿真器能夠模擬PIC系列單片機。由于PIC系列單片機缺乏存儲信息或支持測試數據插樁的資源,這一問題催生了該仿真器的問世。通過使用一個鑒定過的仿真器,可以使開發人員更容易滿足DO-178關于測試結果和測試覆蓋相關的目標。該套仿真器工具還包括一個覆蓋率分析工具、一個測試管理工具,并通過了多個標準的鑒定,包括DO-330, IEC 61508 and ISO 26262。


    2.  主要功能

    測試人員使用C語言開發基于需求的測試,并將PICSIM仿真器作為一個庫進行連接,同時向仿真器加載被測程序,并執行測試。測試人員可以直接調用被測軟件的所有函數,監控所有內存訪問(讀和寫),動態修改取到的或存儲的數據,并可以收集測試中的結構覆蓋率。被測軟件在測試中不需要被修改。


    目前,Verocel公司已經成功完成對PIC18F4321, PIC18F442, PIC18F8720, PIC18F6622, PIC18F4520, 和 PIC18F8722單片機的支持,完成了相關的適航支持工作。


    上海愛韋訊信息技術股份有限公司 版權所有 滬ICP備13019901號-1 COPYRIGHT ? 2017SHAVIATION 郵政編碼:201203
    日本线在免费线播放,日本亚洲欧美在线视观看|日本一区二区 亚洲人成影院在线播放 亚洲国产精品无码久久一线 亚洲无线观看国产 天天添夭天啪天天谢 亚洲中文欧美日韩在线不卡 亚洲va在线va天堂va电影 高清无码一区二区在线观看 三级特黄60分钟在线播放 丁香五月开心婷婷综合 日本在线不卡v二区三区 特黄特黄的欧美大片 天天干夜夜操 天天综合网网欲色 精品国产品在线2019 欧美a级v片 九九热这里只有精品视频 无码中文字幕av免费放 中国大陆国产高清aⅴ毛片 激情综合色综合啪啪五月 岛国av动作片免费观看 无码视频无需播放器a 日本成本人片视频免费 三级片网 亚洲综合欧美在线一区 超碰人妻97东京热 国产人成视频在线视频 久草视频新免费 黄页大全视频 精品人妻av区 无毒不卡亚洲 欧美 日韩 综合aⅴ 欧美日本日韩AⅤ在线视频 黄页网址大全免费观看 中文字幕精品亚洲人成在线 亚洲国产欧美国产综合一区 在线香蕉精品视频 岛国av动作片免费观看 三级片在线播放 不卡无在线一区二区三区视频 欧美午夜片在线观看 亚洲愉拍自拍视频一区 久99久视频免费观看视频 青青青国产在线观看手机免费 免费人成视频x8x8 亚洲av片在线观看 精品国产免费第一区二区三区 波多野结衣无码 av色图 2020国产亚洲在线播放 美国a级毛片 学生巨乳人妻视频 你懂的电影网