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

    立即登錄

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

    *為必填項注冊新會員

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

    立即登錄

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

    *為必填項找回密碼

    • 注冊郵箱:

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

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

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

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

    VerOStack 堆棧分析工具

    您的位置: 首頁 > 產品中心 > VerOStack 堆棧分析工具

    VerOStack 堆棧分析工具


    ▌概要介紹


             最壞堆棧分析能夠確認軟件內存使用的充分性,從而不會導致不確定的行為。VerOStack

             通過檢查軟件應用的鏡像,分析出“所有”任務和“所有”執行路徑,評估和計算一個應

             用軟件的最壞堆棧使用情況 。VerOStack 通過了多個標準的鑒定,包括 DO - 330 ,

                             IEC 61508 和 ISO 26262。


    ▌主要功能

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



    ▌工具鑒定

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





    上海愛韋訊信息技術股份有限公司 版權所有 滬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级毛片 学生巨乳人妻视频 你懂的电影网