航空计算技术
航空計算技術
항공계산기술
AERONAUTICAL COMPUTER TECHNIQUE
2011年
4期
67-69
,共3页
DO-178B%软件测试%结构覆盖分析
DO-178B%軟件測試%結構覆蓋分析
DO-178B%연건측시%결구복개분석
结构覆盖分析(SCA)是基于DO - 178B的软件验证的重要组成部分.由于DO - 178B仅提出目标活动要求,不提供具体的工程技术方法,如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题.通过与国外航电设备厂商的多年的软件国际合作,以及对DO - 178B软件结构覆盖分析具体要求的深入研究,提出了一个结构覆盖分析过程和具体的实现方法在多个软件国际合作项目中的实际应用表明,的研究成果满足DO - 178B结构覆盖分析的要求.
結構覆蓋分析(SCA)是基于DO - 178B的軟件驗證的重要組成部分.由于DO - 178B僅提齣目標活動要求,不提供具體的工程技術方法,如何進行結構覆蓋分析是睏擾國內航電軟件開髮和驗證的一大難題.通過與國外航電設備廠商的多年的軟件國際閤作,以及對DO - 178B軟件結構覆蓋分析具體要求的深入研究,提齣瞭一箇結構覆蓋分析過程和具體的實現方法在多箇軟件國際閤作項目中的實際應用錶明,的研究成果滿足DO - 178B結構覆蓋分析的要求.
결구복개분석(SCA)시기우DO - 178B적연건험증적중요조성부분.유우DO - 178B부제출목표활동요구,불제공구체적공정기술방법,여하진행결구복개분석시곤우국내항전연건개발화험증적일대난제.통과여국외항전설비엄상적다년적연건국제합작,이급대DO - 178B연건결구복개분석구체요구적심입연구,제출료일개결구복개분석과정화구체적실현방법재다개연건국제합작항목중적실제응용표명,적연구성과만족DO - 178B결구복개분석적요구.
