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

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

基于C167CS和MAS3507＋DAC3550解码器的音频播放器设计

多媒体播放器市场的快速发展为低成本的DSP/MCU混合器件的应用提供了发展的良机.本文分析了Infineon(SIEMENS)C167CS的结构,提出了Infineon(SIEMENS)C167CS单片机和MAS3507 DAC3550解码器开发的MP3播放器的方案,采用了自顶向下的设计方法对总体设计方案、硬件各个组成部分(播放器的硬件解码技术、数模转换的控制技术)和软件进行了分析和设计.全部程序用Keil公司的C编译器和链接器编译通过并运行良好,该系统具有实现简单,成本低,运行效率高,功能强大等优点,有很好的发展前途.     

基于MFC的内存垃圾自动收集器的设计与实现

通过分析Win32虚拟存储机制和C 对象分配机制，设计并实现了基于MFC的两种类型的内存垃圾收集器类及类模板：一种面向Win32的虚拟内存操作；另一种面向对动态类对象分配的操作，应用此类可有效地防止内存泄漏现象的发生。     

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

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

运用LaSRS^ 框架进行的F／A—18E／F坠落模型的模拟

采用C^ (LaSRS^ )框架（一种C语言服务软件——译者注)在兰利标准模拟的情况下，22％动力相似的F／A—F坠落模型的模拟已经成功地进行了开发。采用LsSRS^ 框架的开发是利用面向对象的分析、设计以及编程技术进行的。同时还使用通用软件设计。运用LaSRS^ 框架的开发工作促进了本身具有的可维护、可扩展、可靠的以及计算效率高的模拟的开发。