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

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

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

NASA选择升力体X—33方案的分析（上）

１９９６年７月２日，美国副总统戈尔和航宇局（ＮＡＳＡ）局长戈尔丁在加州宣布了Ｘ－３３方案的中标者为洛马公司，它引起了举世瞩目的关注。一年多来，麦道公司、洛克韦尔国际公司／诺思罗普·格鲁门公司和洛马公司所提出的３个投标方案展开了激烈的竞争。这次中标者的...     

开辟通往火星的新路

开辟通往火星的新路天力美国航宇局的火星探路者将是海盗号探测器计划后２０年来第一个飞抵火星表面的美国探测器，也将是有史以来第一个把漫游车送上另一颗行星的航天器。这＿项目的宗旨是为一系列新的低成本火星探测任务开辟道路，验证新一代复杂的、比传统的行星探测器...     

从波音777的研制成功看CSCW及其在航空工业中的应用

介绍了CSCW的概念及其分类,波音公司利用CSCW研制波音777所取得的效果;CSCW对发展航空工业的重要作用,提出了发展CSCW的建议。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

湿度换算软件包

湿度不论是在科研领域还是在工业生产中，都是一个很重要的参量指标，在具体的应用中，各领域对湿度参量的使用单位和范围要求是不同的，由此我们编写了一套“湿度换算软件包”，可以在湿度的不同参量和单位间进行换算。本文主要介绍了该软件的主要功能、使用说明以及同国外其它同类软件的数据比对情况。