面向对象的软件测试技术探讨

面向对象软件的特征是程序具有更好的结构和更规范的编程风格,但在很大程度上又增加了软件测试的复杂性,给软件测试带来了新的挑战．通过分析面向对象软件的特点及其对软件测试的影响,讨论了面向对象软件测试的内容、测试层次及类级、类族级和系统级的测试方法．     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

铍青铜大规格棒材超声波探伤技术研究

随着我国航空、航天、石油、化工等行业的飞速发展,对其用铍铜合金加工材质量的要求日益提高,超声波探伤技术作为铍铜合金加工材的主要质量控制方式日渐重要。本文介绍了铍铜合金大规格棒材超声探伤技术的原理和方法、超声探伤特性及其加工材的常见缺陷类型。并对有缺陷产品的缺陷进行解剖、分析和总结。     

汽泵油封损坏事故分析研究

中国某电建工程公司承建印度大型燃煤电站项目,该项目采用2×50%汽动给水泵,通过国内某著名汽轮机厂G16-1.0型给水泵汽轮机进行变速调节,给水泵采用国内某公司的HPT300-340ⅡM-6S型号,在#5机降负荷准备并停A汽泵的过程中,小机#3瓦（汽泵驱动端）温度快速升高,汽泵自动跳机,经对轴承进行开盖检查,发现#3瓦靠小机侧油挡密封环损坏,动静环及汽泵转子粘在一起,且油挡磨损汽泵转子,形成V型槽。为做好经验反馈,特对此次事故进行分析研究。     

一个Саульев型格式及其对二维粘性不可压缩流的应用

在本文中,我们提出了一个稳定的求解扩散——对流方程的Саульев型格式,并提出了它的单调性和自调性。最后将其应用于二维粘性不可压缩圆柱绕流的计算,与已发表的数值结果和实验结果相比较表明我们的计算结果是好的。     

关于数值振荡与数值稳定性关系的注记

Pieter Wesseling在其《计算流体力学原理》中构造了一个虽有数值振荡但却稳定的例子,研究上述例子,发现其结论有待修正.本文从直接解离散方程组和利用特征值理论两个方面,并作误差估计,都得出结论带有数值振荡的格式是不稳定的.     

一类基于Pad逼近的局部解析差分格式

提出一类基于Pade逼近的局部解析差分格式,并分析此类格式的截断误差、稳定性、单调性及自调性.同时简略叙述实际计算时的几点考虑.     

一种GUI测试的EDPN测试树生成模型

设计了一种EDPN测试图,提出了基于EDPN测试图的测试树构造算法．在给出基于EDPN测试树覆盖准则的基础上,得出了测试用例生成方法．实践表明,给出的测试方法简单、实用,能对GUI的测试达到较高的测试覆盖率．     

基于RBC理论的建筑物三维模型

在三维城市模型中，建筑物三维模型的表达是最为关键的主体部分，然而，由于建筑物空间形态的多样性与复杂性，目前对其模型建立方法仍缺乏基本的共识．基于部件的识别（Recognition by Components，RBC）是有关复杂物体如何分解为可识别的基本几何单元（体元）的理论．文中基于这一理论，讨论了该理论在建筑物模型的可识别性、标准性以及快速建模中的意义，并在此基础上重点研究了构成建筑物三维模型的基本几何单元的构成与分类，以及复杂建筑在不同细节层次下的模型构建。