基于混合类测试模型的面向对象程序测试用例生成研究

提出了一种混合类测试模型，能在基于状态的测试中提供有效数据流分析。该模型不仅包含了当前测试类的状态转换信息，且包含了从其执行代码所得到的数据成员的定义及使用信息。基于新测试模型所生成的测试用例主要克服了基于状态的测试不能检测与状态无关数据成员的缺陷，且保证了定义一使用路径的可执行性，能较好地缓解以往数据流测试开销大、效率低的问题。     

基于变异技术的第三方构件安全性测试系统

针对基于变异技术的第三方COM(component object model)构件安全性异常的自动检测问题,设计实现了一个第三方构件安全性测试原型系统TCSTS(third-party component security testing system).TCSTS系统的主要功能模块有构件接口分析模块、参数变异测试模块、条件变异测试模块、状态变异测试模块和安全分析模块.构件接口分析模块能分析得到被测试构件的接口方法和参数信息;在参数变异测试模块中,采用参数变异测试用例生成算法生成参数变异值集合进行变异测试;在条件变异测试模块中,生成违背前置条件的测试用例并结合后置条件检测条件语句中是否存在安全漏洞;在状态变异测试模块中,基于行为冲突算法和条件冲突算法变异可扩展有穷状态机以生成冲突序列,进而参照变异前序列进行安全性测试,最终通过安全分析模块生成测试报告.试验结果表明:所设计实现的TCSTS原型系统具有自动化程度高、操作简单以及测试效果较好的特点;TCSTS对异常序列的检测率达到了20%以上,表明TCSTS能够较好地对构件中状态相关的安全漏洞进行检测.     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

一种基于形式化描述的测试案例生成方法

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题.针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法.从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化.     

软件可靠性测试充分性的多准则判定及应用

在分析软件可靠性测试充分性特点的基础上,提出一种多准则充分性判定方法.依据运行剖面构造系统的使用模型,通过假设检验和贝叶斯推断确定测试用例数量,建立差异函数判断测试模型与使用模型的偏离,根据软件失效情况进行多轮次充分性判定,并使用贝叶斯方法积累测试信息,同时利用测试结果开展软件可靠性的评价与预测.实例分析表明,多准则充分性判定方法对可靠性测试用例集要求更加严格,使得根据该测试用例集的测试结果开展可靠性评价与预测更具可信性.     

并行化智能模糊测试

针对目前智能模糊测试技术中整体测试所需时间较长以及生成单个测试用例漏洞触发能力较弱的问题,该文提出了一种可用于并行化环境中的路径取反算法和一种加入随机数据的复合测试用例生成方式。该路径取反算法给每个测试用例赋予一个边界变量,利用该变量限定每个测试用例可进行取反操作的范围,同时在该范围中对多个条件进行取反。该复合测试用例生成方式借助传统模糊测试技术生成随机的漏洞触发数据,将该随机数据与混合符号执行生成用例相结合,从而生成复合化的测试用例。同时该文设计并实现了一个并行化智能模糊测试系统———谛听,并利用该系统对3个应用软件进行了测试,共生成测试用例203 602个,触发软件漏洞2个,其中一个为首次被发现的零日(0-Day)漏洞。理论分析与实验表明:该路径取反算法可有效应用于并行环境中,从而缩短整个测试所需时间并生成较多测试用例;同时该复合测试用例生成方式可有效提升测试用例漏洞触发能力。     

面向不同应用的可行性数据流测试准则

测试准则是完成软件测试必须满足的条件。一个可行的测试准则是当且仅当对任意一个程序，都存在一个测试用例集能够满足该准则，但在通常情况下，由于程序中不可执行的语句或路径的存在，使得基于数据流的测试准则不可行，在一类具有可行性的测试准则FDF的基础上，给出院 三类新的基于数据流的测试准则。并且证明其中两类准则比FDF测试准则具有更强的故障检测能力。     

基于扩展的层次有色petri网的组合服务测试用例生成

为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义一使用路径覆盖标准.     

类内聚度量研究

类内聚被认为是面向对象软件的重要属性．内聚反应了类中成员相联系的紧密程度．讨论了面向对象范型软件度量的类内聚度量的研究现状．学术界已提出了几种关于面向对象范型类内聚度量，这些度量都是以类中关联成员为度量基础．多数的类内聚度量是基于实例变量访问准则、研究了上述内聚度量，总结定义了两种基本的方法关联准则：属性使用准则和方法调用准则。     

进化测试中循环体内标志变量移除方法

研究了循环体内标志变量赋值对进化测试带来的影响.分析了传统方法的不足及标志变量(flag)存在的各种情况,如针对标志变量的多分支赋值、跳转语句(break)的使用以及存在嵌套循环等问题,提出了一种改进的循环体内部的flag移除算法.通过对源程序的插桩和转换,重新构造了利于搜索进展的适应度函数.实验结果表明该方法可提高进化测试效率,并以较小的代价成功生成测试用例.     

模糊逻辑系统的区域分割学习方法

模糊逻辑系统的区域分割学习方法采用规则前件为不对称高斯型隶属度函数的模糊逻辑系统。新规则生成的判据是模糊逻辑系统对新样本数据的逼近性能达不到期望逼近精度。方法定义了规则有效范围的概念，并假定模糊逻辑系统中各规则的有效范围不能互相冲突，在输入空间的一个点只能位于唯一一条规则的有效范围之内，并据此来确定新规则的有效范围，新规则的有效范围是由原所在规则的有效范围分割而来。方法的应用前提条件很少，只需要事先确定期望逼近精度和有效范围系数。     

二次精度参数插值曲线的构造

提出了一种构造三次参数曲线对给定数据点插值的新方法。该方法不同于现有的许多参数曲线构造方法,其构造参数曲线没有选择节点的过程,而是在每2个数据点之间构造一条单位区间上的三次埃尔米特插值曲线段,所有曲线段拼合在一起形成整体的插值曲线,该方法的关键是计算每个数据点处的导矢。对每个数据点,该方法使用5或4个数据点构造一条二次多项式曲线,数据点处的导矢由二次多项式曲线的导矢近似。该方法构造的三次参数曲线具有二次多项式精度。并以以实例对新方法与其它方法构造的插值曲线的精度进行了比较,结果表明,新方法构造的插值曲线的精度较高。     

缓释量子点示踪剂产出剖面解释方法

针对水平井产出剖面测试需求和传统生产测井技术的局限性和建立数字化油田所需的单井生产数据不够精细，提出了量子点示踪剂产出剖面测试技术，对长水平井进行长时间生产动态监测。本文建立了瞬态监测阶段和稳态监测阶段量子点示踪剂产出模型，提出了量子点示踪剂产出剖面采样、检测和解释的流程。通过1口水平井的应用论证了智能示踪剂技术在监测水平井各段油水产量的有效性，说明了量子点示踪剂监测技术具有连续分相态、分段监测井下生产动态的功能。智能示踪剂产出剖面测试与解释技术可以实时监测一口井的生产健康情况，发现产水段，为见水井精细调剖堵水提供帮助，为数字化油井和油田的建立提供精细化的数据。     

基于语义分布相似度的翻译模型领域自适应研究

统计机器翻译系统由规模较大、领域混杂的平行语料训练获得,当训练数据和测试数据领域分布不一致时,其翻译质量往往较低。针对这一问题,提出了一种基于语义分布相似度的翻译模型领域自适应方法。该方法首先获得目标领域源语言端和目标语言端的词向量,并构建二者之间的映射关系。借助这一映射关系,获取源语言单词在目标语言端的语义k近邻词,然后基于该语义k近邻词在通用领域语义空间的分布,计算双语短语在目标领域下的翻译相似度,并作为新特征加入解码器,以此提升通用翻译模型的领域自适应能力。实验结果表明,相比于基准系统,利用本文所提方法优化后的翻译系统在英汉翻译任务新闻领域测试集和科技领域测试集上,分别获得0.67和0.56个BLEU值的性能提升。     

一种改进的转换可执行分析测试序列生成算法

为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机(extended finitestate machine,EFSM)为模型描述的协议进行测试的方法.该方法在控制流部分采用惟一输入输出(unique input/output,UIO)序列,在数据流部分采用全定义-使用路径(all Def-use paths)标准,通过改进的转换可执行分析(transition executability analysis,TEA)方法,使用深度优先策略生成TEA树,同时得到可执行的EFSM控制流和数据流测试序列以及所有变量的定义-使用对(Def-use pairs).     

南海深水高产气井测试分析及产能评价技术

莺歌海盆地深水气井LS17-X1井的测试成功,创造了中国海油自营气井单层测试日产量最高纪录,但是其稳定产能测试资料出现二项式产能方程和指数式产能差异大的情况,难以确定其无阻流量。结合测试工艺流程,分析各流动段压力波动原因,采用各流动段相对稳定点的压力数据回归二项式产能方程确定该气井的合理产能;同时,针对未测试砂体的产能,通过岩性、物性、电性定性类比,结合模块式地层动态测试器(MDT)流度等多参数定量预测综合分析确定其产能,形成了深水区域产能定性和定量预测综合分析技术,产能的合理预测,减少类似油气藏基础资料录取,节约大量测试成本。     

确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现．     

基于Petri网的测试路径选择标准

首先介绍了Petri网在分析系统方面的优点，给出基于Petri网进行测试研究的相关概念，提出了基于Petri网的考虑控制流进行测试的标准，也给出了考虑数据流进行测试的标准．然后通过例子，给出了基于各个标准产生的测试路径，最后给出了结论以及下一步应考虑的问题．