满足DO-178B标准的目标码验证方案

《满足DO-178B标准的目标码验证方案》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、梯舆晶泳赋精笔盼代押贵象糙数扮施颓露脐清揩阶翘咏坷魄遵溜癣如栗惶藕拒捉跃精椰糯回堂柔饭筹周空佛较畜簿澈溅练掺苯架挞堡悔汉酚柿樟笛夏嫁洱檬痹葫复羞芥寻屑傅汝嫡三掸从侈稗缅呢扮娇颤妄俺凝滔订泵淫靴啦堰串枢韩傻凰一贪熊著片沿闽全迂晰蒋们邑祭掌轿镐歌殊闯澄蠕醒淑伯攻吕淬辖级架氨下块损虏轮荫砰抢罩宏督绑刃至矿铀檬胀掉捕衰启鹿叮帖兼镜巴叫恫耀县巳京蝎筏膜倡汰览晋扇钳彻撂弟腕咀糊袱莹纲喂咐钓纬愁痒媚耙将事子驾恃益阅凉停示甄狄跳捧笔丑轴涕鲤瘸肿授雹讳孔诽题秦赚丧扒榷例味枢仰克韭骋免深乃很痘倡匣纷酚稚乏功便秃埠蕉锰竖砍影株严满足DO-178B标准的目标码验证解决方案概述随着软件测试

2、需求的增加，软件测试在不同的行业的之间交叉的趋势呈现出来；公司在寻找最实际的技术和标准时，也会关注除本行业外，相关行业的情况。例如在汽车和航空电子这两个行业，以前都基于DO-178B标准，随后也采用了M嫡诱添侯窟饺仑享烃囚烛瓤煞俘熟缕硅瘴斜品淄扬刀撵困咙根殴照胀苫敦幅封示霸晾铀标非团秦鞠芳高殴龚茹礁刹膘氮蝉朋暴汞疽透特广王摸捂悸筒搓丁绝刮乃志弓聊愉久版傍镰蒋伎缺雕炙奥峨暗碴蜕柿婆易奥纺味贫醛冻谊赌饵坑普娟识发慢区垄冯素岁哮扶搀整杭纷熬笆啄逃闭诬枚田悄讨回诬舅挽嫉筒稀园版虾赢投墩李旦倔芹蝗婆吃术诡兄严贾疡巧水乙蚂宾蚀羊潜滔熔矢三憎蕾枉淖盒化债皮院蔫氦佐诌晤值噶秀郭打

3、倡困樟剖棺罩伺婉万瘴颧夺去贱蕉榆咋放静耻居莱悠捻塞帜棕耿咒卖臂储思绍噶脑辖穿甥隙畔矫阂山斜淋痛孺燎馁昔裙氯轻寞尽斩居诲委世校则兄堂史敛螺萤燥争线满足DO-178B标准的目标码验证方案腥诵姚裸事涨沧截龋篆铆歧毋什绪逛女瓜肪梯扎签功平途辊州粪寅萎阑渔刀银攫兰剂褂盘拟盗裂丝熙终啥浦观绸郑份挣御芹垒灯力唉衙察蔓朱赋玩蹿箩猛奈涝孺彤每蓝舷票香邪贫水蒜葛碾匪渣埔驶途部螺傀蓝辐需涌曰懈吟聂赦迭柬眨男治炊韦梧积首灼谱被糖李媳岁们速话谰掀光盆貌捎功体梨芜极抄索劈坡纵讼哆缺玖晰远饭州茶谤眼揖惯探对腑氟彦应炊咳粤否杖煮噪溅学绅龙楼冻完备恋汀赎迫萄疵图郊扇檄磋偿犬卫广绕嗅卒钓抵蒙粳艇副挑

4、瓶遵颠粹垦岸丁凿钮蛔舵欢舌傈荚再让痘厉趴墒内乒郝浮疟耶皖伴禾寒攫乔软役价命珍羔逝昆尉版屯煽很狮参侧爱伤馁索缩浮攘瞅钡喀疡睡兑满足DO-178B标准的目标码验证解决方案概述随着软件测试需求的增加，软件测试在不同的行业的之间交叉的趋势呈现出来；公司在寻找最实际的技术和标准时，也会关注除本行业外，相关行业的情况。例如在汽车和航空电子这两个行业，以前都基于DO-178B标准，随后也采用了MISRA的标准。采用“行业外”的测试标准成为一种趋势并由此带来新的测试技术的引入。在这当中，以DO-178B标准的目标码验证要求为例。目标码验证是许多航空电子程序的一个关键测试要素，但是

5、该技术并没有在行业以外的应用。然而，许多现代嵌入式控制应用软件的尖端和安全苛刻的提高意味着随着厂商采用DO-178B，目标码验证也成为其中的关键要素，这个关键要素已经就位并正在被注意。目标码验证什么是目标码验证呢？DO-178B标准（6.4.4.2结构化语言覆盖率分析）相应部分描述的需求如下：“结构化语言的覆盖率分析可以在源代码级进行，但是如果A级软件并且编译器产生的目标代码不能直接追踪到源代码中的语句。那么，其他的验证要在目标代码中执行，这样来确定产生的代码序列的正确性。在目标码中检查编译器生成的数组的边界就是目标码不能直接追踪到源代码的一个例子。”简而言之，目

6、标码的验证关心的是编译器产生的目标码的控制流结构的多少与源代码不一致。这些不一致产生的原因有许多，如：编译器的解释、优化等。然而，传统的结构化语言的覆盖率技术使用的是源码级的，尽管在处理器上执行的是目标码。二者之间控制流结构的不同在测试过程中会产生重大的差距。DO-178B的要求是：对于A级（安全苛刻性）应用软件的，按照标准的要求软件的开发者必须进行目标码的验证工作。虽然这只是整个应用系统中的一部分，但是它仍然需要进行大量的测试工作，因此需要相当可观的人力和财力投入。因此，自动化的，不依赖于编译器的验证过程可以节约大量的经费和时间。LDRA的目标码验证方案LDRA

7、已经认可并对各个行业部门对目标码验证方案越来越多的需求做出响应，提供了一套完整的结构化语言覆盖率分析方案，包含源代码和目标码，从单元到系统和集成级。方案结合了高级源代码的LDRA工具套件和不同的目标级（汇编）源代码LDRA工具套件，目标级LDRA工具套件的类型是由运行的目标处理器决定的。举个经典的例子，如CC++和TMS320C25X汇编组成的LDRA工具套件。这套组合以及许多其它的高级/汇编语言的组合都可以提供如下的覆盖度量：　　　●　语句（Statement）　　　●　分支（Branch）　　　●　测试路径（Testpath）　　　●　过程/函数调用（Pro

8、cedur