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

    立即登錄

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

    *為必填項注冊新會員

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

    立即登錄

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

    *為必填項找回密碼

    • 注冊郵箱:

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

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

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

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

    QAT-330 適航驗證分析工具鑒定包

    您的位置: 首頁 > 產品中心 > QAT-330 適航驗證分析工具鑒定包

    DO-330軟件驗證分析工具鑒定包(QAT-330)


    DO-330軟件驗證分析工具鑒定包(QAT-330)是由愛韋訊自主研發的一套獨立的工具鑒定數據包, 滿足DO178B/C、DO-330等適航標準對驗證工具的鑒定要求。RTCA DO-330將COTS工具鑒定的相關方分為工具開發方和工具使用方,并明確提出TQL-5的工具鑒定可以在不需要工具開發方提供任何數據的情況下自工具使用方完成。愛韋訊基于多年的工具鑒定研究和相關項目經驗,以DO-178B/C的一些特定目標要求為需求基礎,根據DO330對工具鑒定級別為TQL-5的鑒定要求,開發了成套的工具鑒定數據, 形成該工具鑒定包。


    RTCA DO-178B/C中表A-5目標  #4明確了軟件源代碼應符合編碼標準,表A-7目標#5~8規定了基于軟件需求的測試應達到結構覆蓋要求 ( 包括語句覆蓋、 判定覆蓋、MC/DC及數據耦合和控制耦合 ) 。 機載軟件研制生命周期中 , 通常使用軟件工具支持自動化驗證這些目標 。根據DO-178B/C 、DO-330的要求,如果信任軟件工具的輸出而不再進行驗證,則需要對其進行工具鑒定。




    目前愛韋訊主要針對上述三個方向開發了符合適航要求的基礎工具鑒定包:


    源代碼靜態分析基礎鑒定包

    針對DO-178B/C中表 A-5目標#4,以 MISRA-C、GJB 5369等軟件編碼標準為基礎,基于每條編碼規則開發了充分的測試用例,可用于驗證軟件工具是否正確地實現了對應的編碼規則。


    ★  結構覆蓋分析基礎鑒定包

    針對DO-178B/C中表A-7目標#5~7,以DO-178B/C的語句覆蓋、判定覆蓋、MC/DC標準定義為基礎,基于每個覆蓋準則開發了充分的測試用例,可用于驗證軟件工具是否滿足DO-178B/C的相關目標要求。


    數據耦合和控制耦合基礎鑒定包

    針對DO-178B/C中表A-7目標#8,根據多年的軟件開發和驗證項目經驗,梳理形成一套數據耦合和控制耦合相關的需求,并基于每條需求開發了充分的測試用例(包括C語言文件及對應的測試數據),可用于驗證軟件工具對數據耦合和控制耦合的實現程度。


    上述每個基礎鑒定包都包括一套符合DO-330要求的完整的工具鑒定數據:


    ★ 工具鑒定計劃(模板)
    ★ 工具安裝報告(模板)
    ★ 工具操作需求
    ★ 工具配置索引(模板)
    ★ 基于工具操作需求的測試用例和測試規程
    ★ 工具完成總結(模板)
    ★ 工具操作需求與測試用例以及測試用例和測試規程之間的追蹤數據
    ★ 詳細使用說明(為用戶準備項目級鑒定數據提供實用的指導意見)



    ▌QAT-330產品特色


    普適--需求源于標準

    針對某一特定工具的鑒定包,其工具操作需求通常源于該工具本身的需求,因此鑒定包僅適用于該工具鑒定。而本產品提供的工具操作需求源于DO-178B/C標準的目標要求和定義,以及業界較為通用的軟件編碼標準,而不是源自于特定工具,因此,該鑒定包可適用于對軟件驗證過程中為滿足這些特定目標而使用的所有軟件工具的鑒定。


    可信--符合適航要求

    愛韋訊在工具鑒定領域有多年的課題研究和型號項目實踐經驗,在工具鑒定適航要求、工具鑒定實踐方法等方面進行了深入的研究,為中國商飛、中航集團和中電集團多家研究院所提供了工具鑒定培訓,并承接了多家單位的工具鑒定項目。軟件驗證工具鑒定包完全符合DO-178B/C、DO-330的相關目標要求,提供完整的數據及模板以支持局方的審查。


    易用--詳細的用戶指南+自動化框架

    軟件驗證工具鑒定包提供了DO-330標準針對TQL-5工具鑒定要求的所有數據模板,并提供了詳細的鑒定包使用說明,指導用戶方便、快速地完成項目級鑒定數據的準備。此外,鑒定包還包括了測試用例和測試規程的自動化執行框架,用戶可根據實際項目需要,以此框架為基礎,根據特定的工具稍作修改,實現測試用例和測試規程的自動化執行。


    重用--基于高重用性的設計

    軟件驗證工具鑒定包具有高度可重用性,當實際項目采用的工具功能升級、操作變更時,用戶不需要變更工具操作需求、及基于需求的測試用例和規程、追蹤等數據,僅需使用新版工具或在新的工具操作環境下重新執行測試,提高了先前鑒定工具的可重用性。

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