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

    立即登錄

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

    *為必填項注冊新會員

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

    立即登錄

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

    *為必填項找回密碼

    • 注冊郵箱:

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

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

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

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

    CCK-GJB 國軍標編譯器認證包

    您的位置: 首頁 > 產品中心 > CCK-GJB 國軍標編譯器認證包

    GJB5369編譯器認證包(CCK-GJB)


    ▌為什么要進行編譯器認證

    在機載軟件開發過程中,編碼人員完成編碼工作之后,需要將源代碼編譯為機器碼供CPU執行。這個過程中涉及到預處理、匯編翻譯、鏈接等一系列工作:C語言預處理器將源文件翻譯為預處理文件,編譯器將預處理文件翻譯為匯編碼,隨后匯編器將匯編碼翻譯為機器碼,最后鏈接器將多個機器碼鏈接為一個完整的可執行文件。


    由于C語言交叉編譯器非常復雜,在編譯的過程中存在種種不確定性,而對于高安全性嵌入式機載軟件來說,編譯器是生成最終軟件產品以及實施軟件測試活動的基礎,直接關系到軟件產品的安全。因此,必須對源代碼到目標碼的編譯、匯編過程進行驗證,從而有足夠的信心確認編譯過程沒有引入錯誤,不會帶來安全隱患。


    為了實現編譯器驗證,最直接的做法是將真實應用的源代碼與目標碼進行逐條對比分析,從而檢測出編譯過程引入的額外代碼,并分析額外代碼會不會影響軟件行為,帶來安全隱患。然而這種做法往往受到軟件研制的影響很大,一旦項目源代碼、編譯選項、編譯環境發生變化,源代碼目標碼追溯分析就要重新進行,工作量巨大。


    ▌GJB5369編譯器認證包是什么


    愛韋訊經過多年的技術積累,研發了“GJB5369編譯器認證包(Compiler Compliance Kit)”。該認證包從重用性的角度出發,將C語言限制到一個安全子集范圍內(符合GJB5369-2005的編碼標準),通過對“安全子集”范圍內符合軟件編碼標準的參考代碼進行完備的編譯器驗證,從而獲得編譯器在特定應用條件下不會引入錯誤的信心。這種做法穩定性較好,只要編譯選項和編譯環境不發生變化,且項目源代碼符合軟件編碼標準,即使項目源代碼發生變更,驗證工作的結果依然有效,無需重復工作。


    愛韋訊的“GJB5369編譯器認證包(CCK-GJB)”中包括以下數據:

    符合GJB5369-2005軟件編碼標準的C語言安全子集 自動化測試框架及驅動

    符合安全子集的參考源代碼 認證包使用說明

    安全子集匹配的測試用例(包括正常和健壯性的測試用例)


    在項目編譯環境和選項確定后,用戶可把參考源代碼編譯生成參考目標碼,分析其與參考源代碼之間的追溯關系,識別其中由編譯器/鏈接器引入的、無法追溯的額外代碼,并對其進行驗證,以確保額外代碼正確地實現了其功能,不會帶來安全隱患。同時,用戶可根據項目環境調整自動化測試框架,編譯運行參考源代碼及測試用例。通過自動化對比測試運行結果,向用戶展示出存在問題的代碼部分,幫助用戶驗證編譯器功能的正確性。


    ▌GJB5369編譯器認證包有哪些特點


    穩定程度高

    只要項目的編譯環境和編譯選項不變,并且證明項目中所用到的源代碼是符合編碼標準的、在這個安全子集范圍內,那么對于安全子集的源代碼和目標代碼分析結果就作為有效的符合性驗證證據。該解決方案不受項目源代碼發生變更的影響,穩定程度較高。


    復用程度高

    該解決方案能夠協助用戶確定安全的軟件編碼標準,以及穩定可靠的編譯選項和編譯環境。對于編譯環境和編譯選項不變的項目,可以直接復用源代碼目標代碼追溯分析結果。對于編譯環境和編譯選項發生變化的項目,需要重復開展源代碼到目標代碼追溯分析,但工作量僅限于安全子集范圍內,為后期項目重用提供很大幫助。

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