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

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

围绕质量体系建设搞好标准化工作

概述了标准化工作是质量管理的重要支柱,介绍了围绕质量体系建设开展的一系列标准化工作。     

世界贸易组织与航空产品包装

论述了我国加入世界贸易组织后，如何搞好航空产品的包装和包装标准化工作，以提高航空工业军品和民品在国际市场的竞争能力。     

标准化——产品质量的保证

阐述了标准化在人类社会活动中的重要作用,并通过国内外航天型号飞行失利的实例,进一步阐述了标准化是产品质量的保证。     

第11届国际计量大会内容介绍

介绍了2003年10月在法国举行的第11届国际计量大会的概况和大会论文发表的情况。     

大直径、高动态性能测试、试验设备研制成功

2007年2月9日,3KTD-550型三轴转台出所验收评审会在九江召开。参加会议的有某军种装备部、海军某部、上海交通大学等单位的代表,项目组的科研人员也参加了会议。     

企业管理的基石——标准化管理

阐述了标准化管理在企业管理中的地位和作用,从标准体系建设和标准化管理工作中存在的问题等方面分析了航天工业标准化管理的现状,并结合工作实际研究了加强航天工业标准化管理的对策。     

技术引进中的标准化工作

阐述了技术引进与标准化的关系，在技术引进阶段应进行的标准化工作内容与要求，呼吁在开展技术引进时应搞好技术引进中的标准化工作，为公司今后更好地开展标准化工作提供了重要依据。     

浅谈标准化人才的培养及发展战略

概述了在未来高科技发展中人才是主要的竞争点,分析了我国标准化人才的现状、应有的知识结构和具备的条件,探讨了标准化人才的发展战略,提出了人才的开发、培训与管理的建议。     

引进车身技术中的标准化工作

针对车身引进技术中图样资料的转化和应用,结合实际工作,阐述了准备阶段的标准化工作,重点介绍了产品图样转化中应做好产品型号编制及图样编号、材料选用、图样标准化审查等标准化工作,以加快图样转化,保证产品质量。