基于DO-178的机载软件结构覆盖分析

来源 :科技视界 | 被引量 : 0次 | 上传用户:khalista8
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着民用飞机机载软件的应用越来越广泛,软件复杂程度越来越高,按照DO-178设计保证指南进行机载软件开发逐渐成为行业规范。机载软件测试是验证过程的关键,对测试结果的覆盖分析中的结构覆盖,DO-178仅提出了相关目标的抽象要求,在工程实际验证软件过程中不便理解和实现。本文结合适机载软件工程实践,浅析对测试覆盖分析过程的理解。
其他文献
通过在介孔氧化硅材料中原位聚合的方法制备了三苯基膦功能化的有机聚合物@介孔氧化硅复合材料PPh3polymer@FDU-12.采用X射线衍射、氮气吸附脱附、透射电镜和热重等手段对其
海藻酸钠是一种用途广泛的天然高分子化合物,目前海藻酸钠的应用主要包括食品行业和医药领域,此外,它还是—种“环境友好”型的可降解材料,具有良好的生物降解性和生物相容性
分层次教学是一种新的教育思想,是将个别教学、分类教学和集体教学统一在一个教学过程中进行的适合学生个体差异的教学策略。分层教学,就是针对不同层次的学生,提出不同的教学目
提到有机菜花,很多人都不陌生,尤其是那道著名的“干锅有机菜花”。可吃了这么多年,你知道你其实一直在被它欺骗吗?有机菜花只是个假名字,和有机种植也没半毛钱关系,它到底真名为何
VOCs是挥发性有机物的总称,是在常温常压下任何能挥发的有机固体或液体。其多是在工业制造活动中不可避免或主动释放的挥发物,这些VOCs过多进入大气环境中,就会造成环境污染,影响
数学作为文化基础课,在职业教育中处于重要地位,更加有助于学生更好地学习掌握专业课及专业技能知识。但是一提到数学,很多学生都感到头疼。一方面是由于学生基础较差,另一方面也
教育部今年将启动"一村一名大学生计划",通过现代远程开放教育方式,将高等教育延伸到农村,尽快为农村第一线培养一批"留得住、用得上"的技术和管理人才,使他们成为发展农村经
三价铑在氧化条件下催化N-烷基苯甲酰胺与醌反应生成芳基醌.在氧化还原中性条件下,经过偶联和内酯化反应可以得到2-羟基-6H-苯并[c]吡喃-6-酮.
研究性学习是课程改革的一个方面,是极富生机活力的课程形态和学习方式。我们在护理专业的学习中开展研究性学习的实验探索,学生在教师指导下,以配合护理课程学习,从护理岗位、社
易中天的‘品三国’,不仅推进了历史文化的普及,更激起人们对历史文化自觉追求的兴趣,因此兴趣应成为历史教学的抓手,就能使无味的历史课堂变得生动起来。