Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

Ada软件温度与认证模型及支持系统

首先讨论了Ａｄａ软件测试与认下模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构，功能和特点。     

Ada软件测试与认证模型及支持系统

首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．     

Ada软件测试结果分析与可视化（TRAV）

论述了Ａｄａ软件测试结果分析系统的功能，它的方案设计以及界面风格，此系统是集成化的Ａｄａ软件测试与分析系统中的主要工具之一，它不仅能够帮助用户分析与测试软件系统，还能对软件系统的理解和维护提供有力的支持。     

Ada软件性能检测技术研究及工具的实现

介绍了一些软件的性能检测技术和检测工具，并对它们的实用性和适用性进行了讨论然后，着重讨论了Ａｄａ软件系统的并行机制，并详细分析了与软件的性能密切相关的语法现象，从而设计出合理的处理方法。     

Ada软件数据流分析方法及其实现

简要介绍了有关数据流分析的基本概念之后，较为着重地讨论了一种基于静态分析的Ａｄａ软件数据流分析方法，同时也讨论了分析过程中一些实现原理。实践结果表明，文中讨论的数据结构，实现机制与处理方法是行之有效的。     

Ada语言重载的分析和处理

先简要介绍了Ａｄａ语言中的３种重载现象，并给出了表达式的二叉树存储结构，随后阐述了判别重载的基本算法，即先后对表达式分析树进行自底向上和自顶向下两遍类型匹配，来取得工最终的惟一合法释义，最后给出了一个例子。     

HY－130钢断裂特性的实验研究

分析了具有同样厚度、不同宽度的带侧槽（ｓｉｄｅｇｒｏｏｖｅ）ＨＹ－１３０钢三点弯曲深裂纹试样的Ｊ－Ｒ曲线及能量耗散率ｄＷｄｉｓ／Ｂｄａ的变化规律．发现了裂纹在有限载荷下扩展相同长度时，愈宽的试样的Ｒ曲线趋于愈低的位置．并对此进行了分析．并再次论证了ｄＷｄｉｓ／Ｂｄａ是一个反映材料断裂韧性的有意义的参量．     

从ACCV＇95看计算机视觉技术的发展

介绍了第二届亚洲计算机视觉会议（ＳＥＣＯＮＤＡＳＩＡＮＣＯＮＦＥＲＥＮＣＥＯＮＣＯＭＰＵＴＥＲＶＩＳＩＯＮ,ＡＣＣＶ’９５）的一些情况;回顾了在该领域及相关学科的研究成果;讨论了当前计算机视觉所面临的理论与实际应用问题,并对中国空间技术研究院这一学科的发展提出看法。     

从ACCV‘95看计算机视觉技术的发展

介绍了第二届亚洲计算机视觉会议（ＳＥＣＯＮＤ ＡＳＩＡＮ ＣＯＮＦＥＲ－ＥＮＣＥ ＯＮ ＣＯＭＰＵＴＥＲ ＶＩＳＩＯＮ，ＡＣＣＶ’９５）的一些情况；回顾了在该领域及相关学科的研究成果，讨论了当前计算机视觉所面临的理论与实际应用问题，并对中国空间技术研究院这一学科的发展提出看法。     

仿真模型的可重用性研究

针对目前建模与仿真的现状和特点,分析了解决仿真模型重用的关键技术－面向对象的分析与设计方法的基本原则和重要作用。指出了面向对象技术中的抽象、信息隐藏、多态和继承等基本原则是隐藏复杂性、提高代码重用性和标准化的基础。进一步给出了模型重用的分类和前提,并重点论证了模型分类、公有属性提取、结构与参数分离、数据与处理方法的封装和ＶＶ＆Ａ技术是实现仿真模型可重用性的技术步骤。     

基于Petri网的CASE全集成机制的研究

为实现全集成的环境订成机制，提出了基于Ｐｅｔｉｒ网的超文本形式模型和面向对象Ｐｅｔｒｉ网，Ｐｅｔｉｒ网的引入不仅可以统一ＣＡＷＥ环境的数据集成，控制集成和表示集成，而且可利用已有Ｐｅｔｉｒ网理论对集成环境进行性能评价。     

空间扫描

英国微型卫星ＰｏＳＡＴ－１发回高质量地球遥感图像　由地球成像系统公司收到的该卫星的１００多幅图片，显示出了气象云图和道路桥梁等细节。ＰｏＳＡＴ－１卫星是在１９９３年９月２９日搭载在阿里安火箭上发射的，卫星仅重５０公斤，制造和发射费用不到１２０万英磅。英国ＳＳＥ技术公司引进Ｋｕ波段卫星收发两用机　这种ＡＳＡＴ－１２１４／ＡＢ型收发两用机能快速选择ＫＵ波段卫星，在全Ｋｕ波段１０．９５～１２．７５ＧＨｚ频段内搜索。该收发机由３个部件组成：一个上下行转换器，一个电源，一个宽波段ＬＮＡ。美国德尔它－　（Ｄ…     

多媒体智能数据库系统MIDS／BUAA

ＩＤＢ（智能数据库）思想的提出，预示着人类的信息处理即将步入一个崭新的时代．ＩＤＢ将计算机科学中近年来日趋发展成熟的五大主要技术，ΟΟ（面向对象）技术、ＤＢ（数据库）技术、ＡＩ（人工智能）、Ｈｙｐｅｒｔｅｘｔ／Ｈｙｐｅｒｍｅｄｉａ（超文本／超媒体）和正文数据库与联机信息检索技术，集成为一体．其中ΟΟ、ＡＩ和ＤＢ是ＩＤＢ中的三大支柱技术．本文论述ＭＩＤＳ／ＢＵＡＡ数据模型（Ｄａｔａｍｏｄｅｌｉｎｇ）的哲学，并介绍ＭＩＤＳ／ＢＵＡＡ系统的设计思想、动机、核心数据模型，系统的功能构成和它的Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ体系结构．     

关于Ada的面向对象扩充

使用面向对象风范作出的软件产品能很容易地体现软件工程软件质量保证的诸原则。倡导基于Ada的面向对象的程序设计是一个正确的方向。因为Ada不是一个面向对象的编程语言,使用Ada不可能自然而又有效地进行面向对象的程序设计。因此,必须对Ada进行面向对象的扩充。本文讨论进行相应扩充所涉及到的一些问题。     

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

对象状态测试

阐述了面向对象软件测试中对象状态测试的重要性，提出了对象状态测试模型，介绍了从Ｃ＋＋源程序构造模型的方法，最后给出了基于ＯＳＤ的面向对象状态测试的测试策略，测试标准和测试用例的生成方法。     

基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

用面向对象方法设计无人直升机信息处理系统

面向对象的设计方法在系统设计中得到了越来越广泛的应用.地面信息处理系统是无人机的重要组成部分,在无人机执行任务过程中,地面信息处理系统提供的无人机的飞行参数和设备参数是飞行员实施监控的依据.分析了共轴式无人驾驶直升机地面信息处理系统的特点和需求,应用面向对象的设计方法,设计了无人机测控地面站信息处理系统,该系统具有易重复使用、易改进、易测试、易维护和易扩充等特点.经过多次试飞证明,该系统满足飞行要求.