一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

影响复飞决断的人为因素

飞行员在进近失败时 ,或着陆不具备条件时 ,能够果断地作出复飞决断 ,这才是有良好心理素质、严格遵守法规的表现。影响飞行员作出复飞决断的人为因素包括 :爱面子、侥幸心理、急躁情绪和没有复飞的思想技术准备     

3TB中间继电器接线座的级进模设计

本文介绍一种级进模结构来实现接线座的冲压加工，对提高生产效率，实现接线座生产的自动化有实际意义。     

如何防止机组在进离场过程中飞错高度

进离场过程是飞行事故的多发阶段，因飞错高度而造成的飞行事故征候也时有发生。本根据多年的工作经验，总结出一些防止飞错高度的具体措施，对保证飞行安全很有意义。     

确定航空燃油喷嘴最佳几何参数的一种计算程序

介绍了确定航空燃油嘴最佳几何参数的一种计算程序，本程序经实践证明是简便实用的，可用于测绘件的反设计，对新研制件也可提供参考。     

VAX set 简介

1,VAX set 的基本思想软件开发是一项复杂的工作。在软件开发过程中,应该有一套统一的方法和工具,使软件生命周期中某些重复性工作以自动化或半自动化方式去完成.在建立了一套统一的软件开发方法和工具之后,首先能使开发组的成员尽快适