测试用例自动生成中约束求解策略的选择

在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.     

慢性乙型肝炎患者外周血CD45RA+,CD45RO+T淋巴细胞亚群的特点及临床意义

目的探讨慢性乙型肝炎患者外周血CD4 CD45RA ,CD4 CD45RO ,CD8 CD45RA 和CD8 CD45RO T淋巴细胞亚群的特点及其与肝病病情的关系.方法采集46例轻中度慢性乙型肝炎患者、58例重度慢性乙型肝炎患者和30例健康人的外周抗凝血,应用流式细胞技术三色荧光分析法对其外周血中CD4 CD45RA ,CD4 CD45RO ,CD8 CD45RA 和CD8 CD45RO T淋巴细胞亚群进行检测.结果轻中、重度慢性乙型肝炎患者与正常人相比,其外周血中CD4 ,CD8 T细胞均无明显改变;CD8 CD45RA T细胞均明显降低,CD8 CD45RO T细胞均明显增高,而CD4 CD45RA ,CD4 CD45RO T细胞均无明显改变;重度慢性乙型肝炎患者与轻中度慢性乙型肝炎患者相比,CD8 CD45RA T细胞明显降低(P<0.05),CD8 CD45RO T细胞明显升高(P<0.05).结论乙型肝炎慢性化过程中,CD8 CD45RO T细胞起重要作用且与慢性乙型肝炎患者病情的进展呈正相关;检测CD4 CD45RA ,CD4 CD45RO ,CD8 CD45RA 和CD8 CD45RO T淋巴细胞亚群比检测CD4 和CD8 T细胞亚群能使我们更加正确、充分、全面地了解慢性乙型肝炎的发病机制和预后,从而有效地指导临床治疗.     

单元覆盖测试中基于区间运算的路径选择

单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高单元自动覆盖测试的覆盖率,该文提出了一种面向目标覆盖元素的可达路径选择方法。该方法首先选定一段从函数入口到目标覆盖元素的半条路径,然后根据区间运算判定该路径的不可达性并改造不可达路径,进而得到一条包含目标覆盖元素的可达路径。最后结合测试用例的生成对10个函数单元进行语句覆盖测试实验,单元平均覆盖率从46%提升到了70%,验证了该方法能有效地提高覆盖率。     

天线薄板框架结构的有限元分析

文章通过对一种天线薄板框架结构有限元分析的描述,介绍了有限元模型的建立及分析计算结果;通过对天线薄板框架的位移测试试验,将试验结果与理论结果进行比较,从而验证了有限元模型及其分析结果的正确性;同时证明了位移测试试验设计方案的可行性,又为进一步改进有限元模型、设计方案和后续的公差分析提供了理论依据。     

热力学微分关系式的处理方法

通过对热力学方程及微分关系式的研究，总结推导出了热力学微分关系式的七种处理方法，并指出了在何种情况下最适宜采用何种方法；这些方法有利于加深对热力学基本关系式的理解。     

基于区间缩减的自动化打桩方法

为了提高自动化单元测试的覆盖率,提出一种基于区间缩减的自动化打桩方法。该方法首先选择一条目标执行路径,利用路径敏感和变量相关的区间计算技术,计算路径对该路径上所有函数调用的路径约束区间,并利用该约束区间对函数调用的返回值区间进行区间缩减,最后根据缩减后的区间进行桩代码自动生成。该方法已经在单元自动化测试系统(UATS)中实现,对10个开源大型函数进行测试的结果表明:该方式将平均覆盖率由50%提高到81%,对于等价表达式较多的函数,覆盖率提高了10倍,证明该文提出的方式能有效地提高自动化单元测试的覆盖率。     

Java中空指针引用故障的静态检测方法

空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形式化描述此类故障模型,然后根据故障状态机的创建条件及待检测代码的语义信息确定是否创建该类型的状态机,并将创建的状态机实例置于控制流图入口节点,根据数据流分析的结果对故障状态进行迭代以检测空指针引用问题。该方法已在缺陷检测系统(defect testing system,DTS)中应用,对Robocode等工程的检测结果证明本文方法可以有效地检测出空指针引用问题。     

不平衡水推力下垫层蜗壳座环结构剪力特性分析

机组运行时蜗壳座环在不平衡水推力作用下承受较大的水平剪力,该剪力值过大将会给蜗壳结构的稳定带来安全隐患.考虑钢衬与软垫层、混凝土的摩擦接触,建立了垫层蜗壳的三维有限元模型,详细研究了垫层子午包角、平面包角、变形模量厚度比和围岩约束对座环剪力的影响.结果表明:垫层子午包角向下延伸不利于座环抗剪;垫层平面包角变化改变了钢蜗壳外围结构的刚度分布,对座环剪力具有显著影响;垫层变形模量厚度比的变化不仅改变了座环各向剪力的数值及其承担的沿厂房横向不平衡水推力的比例,还改变了座环剪力的空间分布规律;在其他条件不变的情况下,围岩约束的改变对座环剪力没有明显影响.     

颌骨重建手术机器人定位精度分析与误差补偿

为提高颌骨重建机器人的精度,借助于—台可以实现绝对坐标测量的高精度光学定位跟踪仪,对机器人系统的定位精度进行了误差分析与补偿研究.针对结构参数和运动变量误差,采用修正的运动学模型,进一步真实地反映了机器人的实际结构参数;对齿轮传动误差和间隙引起的关节回转误差通过实验进行了修正,有效提高了关节传动精度;对零位定位误差,通过机器人逆运动学反解出关节转角,并进行误差补偿,提高了定位基准的精度.实验结果表明上述方法可有效提高颌骨重建机器人的定位精度.      

节段拼装预应力UHPC-RC组合箱梁受弯性能试验

为充分发挥超高性能混凝土（UHPC）和普通钢筋混凝土（RC）材料在箱梁桥应用中的力学性能,开展了节段拼装预应力UHPC-RC组合箱梁的静载试验,研究其受力过程、破坏形态和裂缝开展情况。结果表明：组合箱梁经历了弹性变形、裂缝开展和结构破坏三个不同受力阶段;裂缝首先由梁跨中节段接缝张开逐步发展至顶板翼缘,梁底板和腹板均未见明显裂缝,开裂的受拉区应力主要由预应力筋承担,最大裂缝宽度随荷载增加分阶段线性增大,试验梁最终以RC顶板混凝土压溃破坏而失效;受力过程中,UHPC U型梁和RC顶板能够保持良好的协同工作;组合箱梁存在一定的剪力滞效应。