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

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

依托设计 发挥整体技术优势 推进总承包事业发展

中国民航机场建设总公司始建于1954年，是国内唯一能够为民航机场建设提供全过程服务、具有设计、监理、咨询及工程总承包甲级资质的国有独资企业。几十年的业绩创造了一大批优秀工程设计项目，并获得多项国家及省部级科技进步奖，2000年通过了GB／T19001-ISO9001质量体系认证。     

新机纵横

首架升级型KC-130T即将开始试飞首架升级后的KC-130“T大力士”空中加油机即将开展几个月的飞行试验,并将在2007年初返回沃斯堡的海军陆战队234空中加油中队。美海军航空兵武器系统司令部官员9月18日宣布,首架升级型KC-130T已由洛克希德·马丁公司交付给了海军陆战队。该机花了近5个月时间完成升级,剩余飞机将用3至4个月时间完成升级。美国动力公司首次公“开战斗猪”垂直起降无人机美国动力公司(A m erican D ynam ics)至少已试飞了两种型号的“战斗猪(BattleH og)”近距空中支援垂直起飞和降落无人机。“战斗猪”基本型去年1月进行…     

坚持质量第一建设中国航天质量文化

从物质层，制度层和精神层等三种表现形态及其之间的联系，制约和渗透的关系，概述了航天质量文化的内涵，分析了建设质量文化是增强航天事业的凝聚力，利用形成约束机制和树立航天产品良好社会形象的重要意义，同时研究和探讨了建设航天质量文化的几种途径。     

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

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

企业发展中的标准化工作

从企业质量体系认证、企业标准的制定和提高企业全员标准化意识三个方面介绍了企业发展中的标准化工作的具体做法。     

行业信息

中国民航运行管理中心建设工程前期准备工作正式启动根据《民航空管系统“十一五”发展建设规划》的安排,中国民航运行管理中心建设工程前期准备工作正式启动。中国民航运行管理中心建设工程,是民航“十一五”规划的重点建设项目,集流量管理、运行协调、应急处理和搜寻救援等功