【摘 要】
：
软件可靠性是现代航天器可靠性工程中的关键因素之一．而代码走查是提高航天软件质量和可靠性的重要手段。本文在空间飞行器软件检测站代码走查实践的基础上，总结并提出了一种针
论文部分内容阅读
软件可靠性是现代航天器可靠性工程中的关键因素之一．而代码走查是提高航天软件质量和可靠性的重要手段。本文在空间飞行器软件检测站代码走查实践的基础上，总结并提出了一种针对航天软件特点的代码走查方法，该方法有助于提高走查的效率和保证走查的质量。方法由优化排序的代码检查单、结构化分析方法、专题分析技术和软件缺陷知识库构成。最后通过某星载软件的代码走查案例对方法的有效性和实用性进行了说明。
其他文献
保障水安全，应加强水污染防治和水资源科学利用；降低城区粉尘，应发挥好园林植物的作用；建设绿色、循环、低碳的港口，需要进一步实施节能减排……两会期间，人大代表、政协委员十分关
为了提高刚柔耦合机械臂的运动精度,抑制由柔性关节引起的振动。根据＂线性扭簧模型＂和有限元法,推导出机械臂柔性关节和杆件的动力学模型,找寻刚柔耦合机械臂关节阻尼参数与末
目的分析维持性血液透析艾滋病患者发生转移性钙化及心血管死亡的危险因素。方法选择2015年3月-2019年3月于我院行维持性血液透析治疗的艾滋病患者90例,依据是否发生转移性钙
党的十六届四中全会通过的<中共中央关于加强党的执政能力建设的决定>.全国政法工作会议根据党的十六届四中全会精神,提出政法机关要大力加强执法能力建设的要求,全国检察长
采用按龄期调整的有效弹性模量法编制了计算混凝土收缩徐变影响的分析程序,将计算结果与实测值进行了比较,得出一些有意义的结论.
使用气相色谱法分析氢中氦时，在常用色谱柱上氦出峰在氢后面，并且位置很近，较大的氢峰会掩盖氦峰。针对上述问题，研制了一种新的色谱柱固定相，用于色谱法分析氢中氦组分。给出了这
<正> 治理白色污染的重拳打在一次性餐盒上。国家环保总局也颁布了《一次性餐饮具》环境标志技术要求。虽然市场上宣传绿色环保餐盒的产品很多,但是符合环境标志技术要求的甚
目的 比较肉桂醛与辣椒素咳嗽激发试验的效果.方法 采用吸气触发的定量吸入,对25例咳嗽患者及30名健康志愿者,均隔天分别行肉桂醛和辣椒素咳嗽激发试验.受试者分别吸入雾化浓
习近平总书记在十九大报告中指出：“深化政治巡视，坚持发现问题、形成震慑不动摇，建立巡视巡察上下联动的监督网。”我们要不断探索完善巡察工作，适时启动交叉专项巡察，形成“横向
为积极发展社区教育,建立健全城乡一体的社区教育网络,推进学习型社区建设,本文设计了市民学习地图平台。该平台以行政区域图为基础,向用户直观展示区域内社区教育资源布局信