软件工具库引入北航四大软件测试工具

北京软件产业基地公共技术支撑体系以“三库四平台”为核心优势，以规模大、资源丰、服务面广在软件业界著称。近日，该基地软件工具库又锦上添花，引进其技术支持单位北京航空航天大学软件工程研究所的四大软件测试工具：QESat／Java、QESuite、EPMS和UML_Designer，该工具将在公共技术支撑体系内部先行试用后向广大软件企业推荐推广。     

静态分析器静态分析过程的研究及实现

静态分析器是一种初步具备有关数据对象的语言知识,融编辑、语法分析和静态语义检查为一体的软件工具。文本以Ada语言中的子程序规格说明为基础,阐明了静态分析器在软件开发环境中的作用和意义,介绍了分析器数据结构的构成及语法树的构造方法,并用两个实例对静态分析的过程作了说明。     

Windows NT 中数据共享的方法

介绍在 Windows NT 中 C语言、 Foxpro共享数据的方法.     

PowerBuilder中多媒体的应用

PowerBuilder是基于客户／服务器（Client Server)体系面向对象的可视化的优秀的软件开发工具。PowerBuilder中没有提供多媒体编程接口,但它可以通过使用WindowsAPI调用,把多媒体的功能加到PowerBuilder应用程序中去。     

FOXPRO与三维动画的接口设计

本文介绍了利用３Ｄ Ｓｔｕｄｉｏ生成的动画文件或静态图形，ＴＳＲ实现的后台音乐，中上运动的正文，在微机数据库系统中实现具有多媒体效果的接口设计。     

FMS动控软件的死锁问题及其检测方法

对于一个ＦＭＳ动近软件的调试环境系统来说，能够榆出被测软件中可能发生的死锁问题是系统能够下沉运行的必要条件之一。在被测系统Ｐｅｔｒｉ网模型的基础上，本文提出了一个实用的死锁检测和回避的方法，这种方法计算量小，具有通用性。     

多媒体技术与超媒体制作工具SIGMA HMATS

对现有计算机增加硬件设备和软件成为多媒体计算机，并简介了超媒体制作工具SIGMA HMATS。