一种面向状态COM组件的测试用例生成方法

基于组件的开发方法提高了软件的可复用性和软件开发效率,但组件具有的封装和状态特性增加了组件和基于组件软件的测试难度.依据组件的状态特性,在组件中引入状态性概念,将组件分为非状态组件和状态组件.对具有不同特征的组件进行有针对性的测试.对于状态组件,除使用非状态组件的测试方法外,还定义了扩展邻接表和扩展约束对照表来存储状态信息,并结合基于流的测试方法来产生方法序列测试用例及脚本.在理论研究的基础上开发出COM(Component Object Model)组件测试用例及脚本自动生成系统,验证了测试用例及脚本生成方法的有效性.     

Web应用程序建模和测试用例生成方法

根据基于组件的Web应用程序的特点,提出逻辑组件的概念。按功能将待测系统划分成逻辑组件,并在功能上将其对应到实际组件。利用有向图表示逻辑组件结构关系,自动机表示逻辑组件的行为关系,自动机的复合表示逻辑组件间的交互操作。根据复合的自动机,利用建立的操作映射表生成测试用例。分析了一个测试准则,并提出逻辑组件测试序列的覆盖度概念。     

ActiveX技术及其在CAI开发中的应用

本文探讨基于Web的ActiveX技术的组件、控件以及脚本等功能,并介绍利用该技术开发的一个远程的CAI课件实例。     

ActiveX技术及其在CAl开发中的应用

本文探讨基于Web的ActiveX技术的组件、控件以及脚本等功能并介绍利用该技术开发的一个远程Cal课件实例.     

ActiveX技术及其在CAI开发中的应用：此研究得到“省重点课程—计算机应用基础”资助

本文探讨基于Web的ActiveX技术的组件,控件以及脚本等功能,并介绍利用该技术开发的一个远程的CAI课件实例。     

基于量子进化算法的层次型SOC测试结构优化

以减少系统芯片SOC测试时间为目标,研究了层次型SOC的多层次TAM优化问题。根据嵌入式IP核的分类,将层次型SOC测试结构优化转变成了平铺型SOC测试结构优化,并建立了基于量子进化算法的数学模型。通过对群体的观测,决定IP核在测试访问机制上的分配以及当前群体中的最佳个体,实现了包含TAM-ed且wrapped的嵌入式核的层次型SOC测试结构优化。针对国际标准片上系统芯片验证表明,与GA、ILP和启发式算法相比,该算法能够获得更短的测试时间。     

基于ANTLR的Web应用测试脚本自动重构方法

Web应用在各个领域得到广泛应用,为保证Web应用程序质量,需要对它进行详尽的测试。基于脚本的自动化测试越来越流行,逐渐的被应用在了Web应用程序测试中。功能测试脚本一般用于Web应用的功能和接口测试,很难发现Web应用中可能存在的缺陷或者性能瓶颈。很多研究人员通过扩展功能测试脚本或者重新编写性能测试脚本来测试Web应用程序的缺陷问题。这种方式效率低下,资源开销大。为此,我们提出了一种基于ANTLR开源库的测试脚本自动重构方法,首先对测试脚本进行优化,加速测试脚本执行速度,然后对测试脚本进行增强,从而构造出一个快速暴露Web应用程序缺陷的性能测试脚本。     

实时嵌入式系统测试脚本模型化研究

为进一步提高实时嵌入式系统仿真测试平台的实时性能,研究分析了仿真模型与测试脚本的关系和特点,提出了脚本模型化的思想,通过将测试脚本转化为模型行为,以取代测试脚本耗时的解释执行机制,加快代码执行速度。基于该思想,为GESTE平台设计了一个脚本转换器,并通过实际测试,定量地对比分析了脚本模型化对代码运行速度的提升。     

Windows脚本组件技术

介绍了脚本组件技术,特点及应用脚本组件的一般步骤,指出了利用脚本组件创建COM组件在实际应用中的意义,并给出了使用脚本组件实现应用程序业务处理规则的实例.     

Web应用自动化测试的研究

针对目前Web应用"捕捉/回放"式测试脚本复用率不高的问题,根据Web应用的特性给出了一种基于数据驱动的Web测试框架,并设计了基于XML语言的自动化测试脚本.该测试脚本描述了Web应用行为的多请求/响应的迁移模型,并清晰地定义了外部测试数据避免了数据"硬编码"的缺陷,可对Web应用不同方面(例如功能、性能)上进行测试.开发了一个测试执行的原型工具,它以测试脚本为输入并自动化执行测试用例并生成测试结果.     

面向节点-节点的进化测试改进方法

传统方法不能对进化测试中所有面向节点-节点的测试类型都构造具有良好导向的适值函数。针对该问题,基于面向节点-节点进化测试系统模型,不考虑节点的执行顺序和控制流关系,从节点的独立性出发,提出一种改进的适值函数计算方法。实验结果表明,对离散节点之间没有数据依赖关系的覆盖准则,该方法代价较小、运行稳定。     

函数调用路径测试用例自动生成的方法研究

测试用例自动生成是软件测试自动化中最为关键的组成部分之一,符号执行作为一种程序分析方法,以其可提供高覆盖率测试用例的优势被广泛应用其中,但路径爆炸和约束求解问题很大程度制约了符号执行技术在现实程序分析中的应用。将研究粒度由语句提升至函数,利用抽象语法树和字节码序列提取到的函数关键信息和控制信息得到函数调用关系模型,设计算法生成函数调用路径（函数调用路径表示程序从开始到结束之间函数的调用或执行序列）。该方法不仅减少了测试路径数目缓解了路径爆炸问题,还有效解决了控制条件中存在函数导致符号表达式难求解的问题。实验结果表明该方法可优化测试路径集,在不降低覆盖率的前提下减少测试用例数量。     

基于函数调用路径的回归测试用例选择排序方法研究

针对在回归测试过程中,因为不断修复软件中存在的缺陷所造成的测试工作量大、测试效率低等问题,论文将测试用例选择与优先级排序技术相结合,以面向函数调用的路径覆盖生成方法为基础,提出了一种面向函数调用路径（Functions Calling Path, FCP）的测试用例选择与排序方法。首先根据函数调用关系图,对程序中被修改函数与其他函数的关联性进行分析,从初始测试用例集中选择测试用例,形成回归测试用例集;然后对这些测试用例进行优先级排序,并动态地调整优先级排序结果;最后,对优先级排序结果进行再次选择,确定最小的回归测试用例集。实验结果表明,测试用例选择与排序方法对优化回归测试用例是有效的,大大减少了回归测试用例数量,降低了回归测试成本。     

一种新的软件测试数据的进化生成方法

测试数据自动生成对降低软件开发成本是非常重要的.本文首先提出了基于程序结构和程序规范相结合来设计适应度函数的新方法：分别设计基于程序结构和基于程序规范的适值函数,再将二者结合作为最终的适应度函数值;然后,在采用上述适应度函数定义的基础上,构造了一种软件测试数据的进化生成方法.     

网络管理接口通用功能一致性测试

通过对现有网络管理接口的定义方法和目前网络管理接口功能一致性测试现状的分析, 引入了抽象功能一致性测试流程概念,描述了与实现技术无关的抽象测试流程到与技术相关的可执 行功能测试脚本的转换以及整套方法的工作流程,并对其中所涉及的主要组件的功能进行了说明和 分析。此外,还介绍了功能一致性测试流程库及其相关的应用举例,并给出了部分测试策略与其应用 场合的相关分析。     

具有更严格警戒测试准则的ART2神经网络

在ART2神经网络的标准警戒测试准则中,通过引入截断双曲线函数来计算输入矢量与神经网络由顶向下权重矢量之间的相似程度,而提出了一种新的具有更严格警戒测试准则的ART2神经网络。截断双曲线函数一方面抑制输入样本中的噪声,另一方面,如果输入矢量某些分量与由顶向下权重矢量对应分量之间存在冲击变化时,则截断双曲线函数将放大这些对应分量之间的冲击变化。而且这种新的警戒测试准则具有更强的抗噪声能力。即在较低的输入信噪比水平上,具有更严格警戒测试准则的ART2神经网络比标准ART2神经网络具有更高的正确识别率。     

一个浮点数学函数库测试平台

数学函数库作为CPU软件的重要组成部分,对于高性能计算机平台上的科学计算、工程数值计算起着极为关键的作用.现有的测试工具只能片面地对函数库进行测试,没有从正确性、精度和函数性能这3方面加以考虑,而且往往只针对一类目标体系结构,适用性有限.针对现有测试工具的缺陷,提出了面向多目标体系结构、全面可复用的一体化测试平台BMltest(basic math library test).测试平台结合函数特征值、IEEE-754特殊数以及利用浮点数生成规则实现的全浮点域指数分布的IEEE-754规范数构造了测试集,有效提高了测试集浮点数的覆盖率;提出了基于多精度库MPFR(multiple-precision floating-point reliable library)的精度测试方法,提高了精度测试的可靠性;提出了基于代码隔离的性能测试方法,最大限度地降低了外部环境对性能测试的干扰.针对大量的浮点测试结果,给出了合理的结果评价方案.测试平台使用的测试集数据与函数做到了相关性的极大分离,保证了测试方法的普适性.通过对包括GNU,Open64及Mlib函数库内所有855个函数的测试结果表明:BMltest平台的测试数据集更全面、有效,精度测试方法更可靠;与其他测试平台相比,性能测试结果更准确、稳定.     

基于退火遗传算法的单元测试方法

为提高单元测试的效率,提出一种基于退火遗传算法的自动化单元测试方法。将遗传算子与进化代数进行关联,使其更快收敛于最优解。采用基于分支距离的方法构造适应值函数,根据代码转换功能,将判定结点处的代码转换为平行结构、将分支距离量化为[0, 1]之间的数。实验结果表明,该方法能以更短的时间获得更高的代码覆盖率。     

模拟退火多亲遗传数据生成算法研究

针对航天测控实时数据驱动软件测试数据结构复杂、构造困难的特点,提出基于模拟退火多亲遗传算法的测试数据自动生成算法,给出算法中适应度函数选择方法和变异函数退火控制策略,分析算法实际应用结果。实测数据证明采用该算法构造测试用例测试发现的软件缺陷多于普通数据生成算法近30%。     

软件功能测试规模估算模型的研究及其应用

提出一种基于功能点分析法的软件功能测试规模估算模型。该模型适用于黑盒功能测试,用于系统测试阶段或验收测试阶段工作量的估算,基本估算步骤包括估算软件规模、定义规模因子、计算测试规模,并在项目中进行实践应用。结果表明,该模型可以较好地估算软件功能测试规模,可用于测试计划的制定及实施。