【摘 要】
：
结构覆盖分析（SCA）是基于DO一178B的软件验证的重要组成部分。由于DO一178B仅提出目标活动要求，不提供具体的工程技术方法，如何进行结构覆盖分析是困扰国内航电软件开发和验证的
【基金项目】
：
航空科学基金项目资助（20101931004）
论文部分内容阅读
结构覆盖分析（SCA）是基于DO一178B的软件验证的重要组成部分。由于DO一178B仅提出目标活动要求，不提供具体的工程技术方法，如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题。通过与国外航电设备厂商的多年的软件国际合作，以及对DO一178B软件结构覆盖分析具体要求的深入研究，提出了一个结构覆盖分析过程和具体的实现方法。在多个软件国际合作项目中的实际应用表明，的研究成果满足DO一178B结构覆盖分析的要求。
其他文献
【摘 要】新课程标准指出，数学学习不应只注重单纯的理论学习，不能只单纯的依赖模仿和记忆，而应当注重学生的动手实践能力、自主学习的能力以及与人协作的能力，而小组合作形式的学习，恰好能够锻炼学生的这种能力。本文主要分析了小组合作学习模式在高中数学教学中的应用价值，然后探讨了小组合作学习模式的具体教学应用，希望给相关教师提供一些有价值的参考。 【关键词】高中数学 小组合作 学习应用 中图分类号：G
本文对中国的“和平崛起”思想的内涵、提出背景以及崛起面临的国际条件作了阐述，指出中国的和平崛起将是一个长期和艰巨的过程。由此提出了现阶段我国的国际战略：我们既要积极
目的观察盐酸丁咯地尔联合葛根素治疗基底动脉供血不足的临床疗效。方法将160例椎-基底动脉供血不足患者随机均分为2组,治疗组给予盐酸丁咯地尔联合葛根素治疗,对照组用丹参
【摘 要】写作一直是小学语文教学中需要重点关注的对象，同时也是语文学习中的一大难点。之所以称之为难点，一方面是因为写作需要学生的各种语文能力，另一方面是因为大部分老师将写作课上得枯燥无味，让学生失去了兴趣。因此，要想提高学生的写作水平，就要采取有效的解决策略，本文主要根据我的个人经验提出了几点在小学语文教学中培养学生写作能力的方法。 【关键词】小学语文 写作能力 教学方法 中图分类号：G4 文
村民自治是我国农村联产承包责任制的必然产物,是具有中国特色的农村基层民主制度.本文通过对村民自治现状的分析,指出村民自治发展所遇到的双重制约,提出在当前形势下,完善
发菜是发状念珠藻（Nostoc flagelliforme）的俗称，是分布于我国西北干旱和半干旱地区的一种陆生蓝藻植物。由于发莱是一种具有较高营养价值的野生食用蓝藻，曾作为我国传统的出口商
目的探讨单硝酸异山梨酯静脉滴注治疗冠心病心绞痛的临床疗效及不良反应情况。方法将2009年1月至2010年6月我院确诊的冠心病心绞痛患者86例,随机分为两组,对照组40例,采用硝
全市范围内农村饮水现状调查及饮用水源抽样化验结果表明：到2004年底全市仍有59．8％的农村人口饮水不安全，在分析原因的基础上提出了农村饮水安全工程建设措施与发展思路。
沙尘暴是西北地区频繁发生的一种灾害性天气,强沙尘暴和特强沙尘暴经人民生命财产造成不可预估的损失.1993年5月5日横贯西北地区的强沙尘暴,给宁夏造成直接经济损失6.4亿,约3
【摘 要】历史教材的编写需要按照事实来，不能让学生们学到歪曲过的历史，真实的朝代、真实的战争才是当代学生需要去了解的。历史教学要按照教学大纲来走，一步一步将知识传授给学生。高中历史教学中应当体现出人本性，以学生为教学主体，教材为教学辅助。 【关键词】高中历史 知识整合 交叉渗透 中图分类号：G4 文献标识码：A DOI：10.3969/j.issn.1672-0407.2018.19.025