系统工程与电子技术
繫統工程與電子技術
계통공정여전자기술
SYSTEMS ENGINEERING AND ELECTRONICS
2012年
8期
1729-1734
,共6页
软件适航%软件验证%灰盒测试%DO-178B%机载软件
軟件適航%軟件驗證%灰盒測試%DO-178B%機載軟件
연건괄항%연건험증%회합측시%DO-178B%궤재연건
针对国内大飞机及新一代战机机载软件综合化、模块化的特点,根据机载软件适航验证要求,在分析传统黑、白盒测试方法与DO- 178B《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上,应用灰盒理论,建立了满足软件适航验证要求的灰盒测试方法及其应用过程,并对该方法展开了分析,说明了其局限性,并对测试环境提出了新的需求.
針對國內大飛機及新一代戰機機載軟件綜閤化、模塊化的特點,根據機載軟件適航驗證要求,在分析傳統黑、白盒測試方法與DO- 178B《機載繫統和設備閤格審定的軟件攷慮》中軟件驗證要求適用性的基礎上,應用灰盒理論,建立瞭滿足軟件適航驗證要求的灰盒測試方法及其應用過程,併對該方法展開瞭分析,說明瞭其跼限性,併對測試環境提齣瞭新的需求.
침대국내대비궤급신일대전궤궤재연건종합화、모괴화적특점,근거궤재연건괄항험증요구,재분석전통흑、백합측시방법여DO- 178B《궤재계통화설비합격심정적연건고필》중연건험증요구괄용성적기출상,응용회합이론,건립료만족연건괄항험증요구적회합측시방법급기응용과정,병대해방법전개료분석,설명료기국한성,병대측시배경제출료신적수구.
