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

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

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

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

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

基于类间依赖集约简的类簇测试用例生成算法

针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题,提出一种类间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖和关联依赖这3种依赖关系,建立类簇测试模型。定义类簇模式和用户(领域专家)解释集,并在用户解释集中依据每一个类对象的若干实例广义相等建立等价类,得出用户解释集幂集的1个子集即匹配划分集。据匹配消去算法求出类的最大匹配集,证明该集合就是所求类的最大非平凡非依赖集;提出一种交互差组合约简算法,计算类的最大非平凡非依赖集的补集,约简得到类的最小交叠集,并证明其就是类的最小非平凡依赖集,即类的组合测试用例;对其中每一个类的组合元素进行组合测试,并与其余类交互测试,得出类的交互测试序列。     

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

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

基于经理人行为决策模型的银行信贷操作风险研究

针对银行信贷业务中的操作风险问题,通过构建银行信贷模型及银行经理人行为选择模型,分析了不同情况下,经理人的行为选择对银行信贷收益波动性的影响,利用相关银行信贷风险数据,模拟银行信贷中操作风险的测量;从理论和操作方面证明了银行经理的行为对银行风险的影响,提出了包含过程、内控、人才管理的信贷操作风险管理措施。