软件黑盒测试的方法与实践

主要介绍了黑盒测试的方法、策略,黑盒测试的工作流程以及在实践中得出的经验和体会。     

基于C/S结构的测试模型设计

本文结合C／S结构的特点，设计实现了一个基于C／S结构的测试模型。首先介绍了该测试模型的设计背景，然后对该模型进行了具体的设计：数据库设计和功能设计，接着重点讨论了实现该模型的关键技术，最后进行了相关总结。     

有效测试模型的研究与应用

软件测试是保证软件质量的一个重要因素，软件测试直接关系整个软件的成败。本文在分析目前流行的几种软件测试模型的基础上，提出了一种改进模型。该模型将软件测试和软件开发紧密地结合在一起，使bug尽可能早地被发现，提高了软件的开发效率，保证了软件质量。最后给出了该模型的一个具体应用实例。     

面向对象软件中类的服务的测试模型与测试策略

类的服务的测试是面向对象的软件测试中的重要内容。本文介绍了一种类的服务的测试模型，即服务的块分支图，指出了该模型的两种获取途径，并在此基础上讨论了基本中径测试和功能测试的测试策略，以帮助测试人员比较全面地，有针对性地构造测试用例。     

基于Web应用的性能测试模型研究

测试模型对规范测试流程,提高测试效率起着重要的作用。针对目前Web性能测试模型中存在性能指标过于简单,性能指标种类相对较少的问题,提出了基于用户行为特征的Web测试模型WTMS。以用户的不同操作行为为基础,在原有用户负载、响应时间、CPU利用率等性能指标的基础上,新增加了请求成功率、实际请求时间、最佳并发用户和最大并发用户几个性能指标,并将性能测试的对象分为用户行为特征因子、业务因子、软件因子、硬件因子和测试策略因子。通过教务管理系统实例,测试验证了WTMS模型提高了测试结果的真实性和精准性。     

基于敏捷开发的X测试模型的研究与改进

软件测试的实施效果直接影响到软件的质量,目前出现了一些测试模型,并且有一定的实用性,例如V模型、W模型、X模型等,其中X测试模型正受到越来越多的关注.对当前颇为流行的敏捷开发模式进行了一定的研究之后,适当地调整模块任务分配的粒度,软件开发过程中采用了X测试模型,并根据具体开发情况对X测试模型进行了相应的调整与改进,体现出其较好的应用效果,对中小型软件开发的测试有着很好的适用性.     

一种新的软件测试过程模型—“跑道”模型

软件的测试过程模型在软件的开发过程中起着重要的指导作用,其实施效果的好坏能够直接影响软件的质量,通过分析一些典型的测试模型如X模型、W模型、V模型等的特点和不足,结合软件开发实际需求和软件测试过程模型的设计原则,提出了一种改进的软件测试过程模型——“跑道”模型,该模型能体现出设计与测试的全过程,强调了客户、设计人员和测试人员之间互动的必要性,将该模型应用到智能电表与计量终端软件的开发过程中,在提高软件测试效率、保证软件质量方面有着明显优势。     

基于测试驱动及并行工程的一种改进前置驱动测试模型

软件测试是软件过程中的一个阶段,也是保障软件质量必不可少的重要一环,本文在前置驱动测试模型的基础上,基于并行工程以及测试驱动提出了一种改进型的前置驱动测试模型。     

认证测试方法的改进及应用

基于串空间模型的认证测试方法被证明是一种分析认证协议的有效工具,为了使之适用于类型更多、规模更大的安全协议,并提高其在协议的认证性、可达性、机密性、非否认性、会话密钥的新鲜性及主体间的关联度上的分析能力,对原有的认证测试方法进行改进,充分利用消息格式,细化分析步骤,增添相关符号以分析复杂协议的更多安全特性。利用该方法能缩减模型检测自动化工具的搜索范围,在解决空间爆炸问题的同时有效地找到多方协议的具体攻击路径,而且它对安全协议的设计和验证也具有一定的指导作用。     

串空间模型及其认证测试方法的一种扩展与应用

认证测试方法是基于串空间模型的验证安全协议的一种形式化方法,由于串空间模型没有抽象更多的密码学原语,因此难以分析较复杂的安全协议。通过扩展消息项、子项关系以及入侵者模型,扩展了串空间模型及相应的认证测试方法。根据扩展后的认证测试方法,分析了SSL3.0握手协议,验证了该协议认证属性。     

一种基于事件的Web程序测试模型

基于状态转换的测试方法是探测Web程序动态行为的有效途径。针对Web应用中复杂的动态页面,通过改进现有Web测试方法,提出了一种新的基于事件的测试模型,用Web关系图（WARD）描述Web系统的结构,用基于事件的状态迁移图（SMD）描述复杂动态页面的内部结构,两者结合对Web应用系统全面建模。在实际Web系统中的实验证明该方法的建模是全面准确的。     

A formal application model for code and test generation

The considered model is used in manual development of application specifications and is based on the Letichevsky theory of basic protocols and a respective symbolic verification tools. Means to limit the behavioral characteristics of the model still matching the source requirements are discussed. If the model is verified successfully, the executable code of the application and the respective test code are generated from the model. The technique of using the developed model is described.     

车辆检测中可变形部件模型的改进与应用

针对可变形部件模型的复杂性使其在检测车辆时速度慢的问题,对可变形部件模型进行了改进。一方面使用加权PCA对可变形部件模型的基础HOG特征进行降维来减少模型参数;另一方面将HOG特征层组合后,使用快速傅里叶变换（FFT）把滤波器与HOG特征层的卷积转换为频域乘积,来降低计算复杂度。仿真实验结果表明,改进的可变形部件模型在进行车辆检测时检测精度和召回率都与原始模型相当,但检测速度大幅提升,在UIUC和BIT两个数据集上的平均耗时分别仅占原始模型平均耗时的29.6%和26.3%。     

广义似然比过失误差侦破方法的改进及应用研究

准确可靠的测量数据是工业过程优化和控制的重要前提,实际过程中由于过失误差的存在导致测量数据不准确,而传统的过失误差侦破方法常会出现过失误差分摊到其他测量数据上的现象.本文在研究广义似然比法(GLR法)过失误若侦破的原理及步骤的基础上,对GLR法的检验统计量进行改进,提出了2个变量同步侦破补偿的两两同步侦破法,即每次同时用2个变量计算检验统计量,并对相埘调节量大的测量数据进行补偿.两两同步侦破法与GLR法的实例考核结果表明,在相同显著性水平下,两两同步侦破法的总体检验能力和选择性比GLR法高,且犯第1类错误的概率比GLR法小.因此新方法提高了过失误差侦破率,降低了犯第1类错误的概率,能有效地对过失误差进行侦破和识别,且同步补偿后得到的补偿值更准确,有利于获得较为准确的过程数据.     

灰色关联模型关联序结果的稳定性检验方法及应用

针对目前灰色关联理论中模型结果检验方法的不足,提出一种对相近性灰色关联模型关联序结果稳定性检验的方法.首先,以序列间对应观测点的数值差异作为构造序列间量级大小变化的最简单元,用以表征和定义序列间的相近性灰色关联度;其次,引入信息熵的基本思想,基于序列间量级大小变化的最简单元构建信息灰熵作为相近性视角下序列间关系稳定程度的度量标准;然后,通过将研究对象的行为序列平均划分为不同阶段来计算在不同阶段变化下序列间相近性灰色关联度的变动值,以动态关联数值与信息灰熵共同构造相近性灰色关联模型的稳定性检验系数,通过比较检验系数大小最终确定模型间结果的稳定程度;最后,选取几种常见的相近性灰色关联模型对2016年～2021年南京市主要大气污染物进行影响因素分析,根据计算得到的检验系数对各模型的分析结果进行验证和筛选.     

BP神经网络算法的改进及应用

经典的BP算法存在陷入局部极小,算法收敛慢的问题。提出了一种改进的BP神经网络算法,在经典BP算法基础上,引入新的参数以调整经典的神经元转换函数,然后把改进算法应用到实际的教学评估中;利用真实数据的分析结果选取了参数的适当值。结果表明,改进后的算法在收敛速率和误差估计等方面有很好的效果,并实现了对教学效果的合理评价。     

CCITT X.509协议的形式化分析及其改进

串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析。该协议存在缺陷并对此进行了改进。