空间分析程序的蜕变测试框架

本文针对GIS空间分析程序特点,提出了一套由原始测试用例生成、蜕变关系构造、测试结果判定和测试充分性判定等组成的集成化的适用于空间分析程序的蜕变测试框架,并且给出了每个组成部分的实现方法,具有很好的实践意义。     

基于UML的软件可靠性测试用例生成的混合模型

为了解决实时控制系统软件可靠性测试用例生成的问题，在分析操作剖面模型和Markov链模型的基础上，提出了一种基于UML的混合模型．该模型用操作剖面模型来定义使用用例，并将状态图嵌入其中以表述该用例的动态特性．通过平展状态图获得使用图，使用图按一定的概率迁移，从而获得用Markov链表示的使用模型，而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例．通过雷达波束调度软件可靠性测试表明，按所提模型在各测试周期生成的测试用例集的框架稳定性比较好，测试用例极少出现重复现象，它综合了操作剖面模型和Markov链模型的优点，可用于开发实时控制系统的软件可靠性测试用例．     

一种基于需求规约的谓词测试用例生成方法

软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.     

一种基于Object-Z规格说明的集成测试用例生成方法

形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z模式描述组件模型的方法,并且针对模型提出测试准则,产生测试场景,然后根据得到的测试场景产生测试用例.     

基于优化模型的类级测试数据自动生成研究

研究了一种基于优化使用模型的类级测试用例的自动生成方法。首先使用基于约束的非线性规划问题的求解方法获得Markov链使用模型的状态转移概率,建立优化的使用模型;然后以使用模型的概率转移为约束采用轮盘赌算法自动生成测试用例;最后以Euclidean Distane方法度量测试的充分性。实验表明此方法能够提高测试自动化水平,提高软件的可靠性。     

基于Markov链使用模型的加速统计测试方法

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法.     

基于属性的协议互操作性测试的TTCN-3实现

目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.     

软件集成测试中的一种用例生成方法

针对面向对象语言的多态、动态绑定等特性增加了面向对象软件集成测试难度的问题,提出了一种测试用例的生成方法.首先借鉴正交矩阵测试策略的思想,采用自定义正交矩阵生成算法生成一个二维正交矩阵,再使用鲁棒性测试方法优化生成正交矩阵,最后采用自定义测试用例生成算法为面向对象软件的集成测试生成测试用例集,并将测试用例集用XML文档保存,以备下一步测试用例复用.经验证表明,使用正交矩阵能提高错误检测能力,用其生成的测试用例比较少且方法简单、易于实现.     

基于OCL约束的多态性时序图测试用例生成方法

由于UML时序图不能够描述多态性,导致根据时序图生成的测试用例存在不足,无法测试多态性方法.提出了一种对多态性时序图的形式化及相应测试用例的生成方法.根据类约束和满意集规则确定类的多态性方法集CSPM(class sets of polymorphism methods),并将多态性时序图转换为多态扩展有向无环图PCOMDAG(polymorphism class object method acyclic graph).使用提出的测试覆盖准则及深度优先算法对PCOMDAG图进行遍历,自动生成多态性时序图的测试用例.通过实例验证方法的有效性,其结果表明,本方法能够生成基于OCL约束时序图的测试用例对多态性方法进行测试,提高时序图测试集的覆盖度.     

基于函数调用路径的测试用例混合优化方法

如何对回归测试进行优化是软件开发与维护周期中的一个关键问题,传统的单一主题的测试用例优化技术存在局限性。因此,提出一种将测试用例选择和优先级排序相结合的初次选择-排序-再次选择的混合优化方法。首先,利用基于函数调用路径(function call path, FCP)对代码进行变更影响分析的结果,选择出部分测试用例;然后,从不同角度出发设计多个目标对这些测试用例进行综合排序,并根据执行信息动态调整;最后,从调整过优先级的测试用例中再次选择,形成最终的测试用例集。实验结果证明:所提出的优化方法能在尽量保证测试用例集的缺陷检测能力的情况下,一定程度上降低测试用例集的规模,提高回归测试的效率。     

一种基于贝叶斯理论的软件可靠度评估方法

针对目前软件测试过程中可靠性度量方法匮乏的不足,提出了一种新的基于贝叶斯理论的软件可靠度评估方法,该方法通过分析软件模块间的影响关系构建贝叶斯网络,利用贝叶斯方法和经验数据评估贝叶斯网络中各节点的可靠度.给出了可靠度计算的详细推导过程,并通过一个具体实例解释了计算过程.该方法能重用已有的测试结果,计算速度快,简单易行.通过对每个模块提供数值可靠度估算,可以作为测试用例选择的依据,降低了测试成本,从而很好地为软件测试提供支持.     

基于航空领域嵌入式软件的测试模型探讨

测试模型是指导软件测试工作的流程和框架。针对航空领域嵌入式软件项目开发周期短、需求变更频繁的特点,在探讨传统软件测试过程模型的基础上,提出了领域基准模块复用的方法,目的是加快航空嵌入式软件测试效率和提高软件测试质量,从而提高航空软件的安全性和可靠性。     

软件测试与软件可靠性之间的关系

根据软件可靠性理论，论述了软件测试和软件可靠性之间的关系，即根据给定的测试方法和测试时间来计算软件的可靠性，首先分析了随机测试和软件可靠性之间的关系，然后根据软件可靠性的性质，研究了软件代码覆盖测试方法和软件可靠性之间的关系。     

基于体系结构的软件可靠性测评研究

针对传统高可靠性软件测评方法存在的问题,在分析基于体系结构测评重要性的基础上提出了基于软件体系结构的可靠性测评方法.将软件可靠性增长测试和软件可靠性验证测试有机统一起来,从模块级对可靠性进行控制,并提供可靠性先验信息.该方法有利于实现软件可靠性快速增长,有效减少测试用例量.     

嵌入式软件测试策略研究

嵌入式实时系统的应用越来越广泛，其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略，分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。     

嵌入式软件测试策略研究

嵌入式实时系统的应用越来越广泛，其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略，分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。     

基于POD的含平面缺陷压力管道可靠性研究

无损检测可靠性日益受到重视,针对无损检测缺陷检出概率(POD)与管道可靠性之间的关系开展研究,建立了缺陷检出概率与缺陷尺寸分布规律的定量关系,以缺陷尺寸分布规律为基础,参照GB/T 19624-2004规范中平面缺陷常规评定方法和Monte Carlo理论,提出利用MAT-LAB软件编程实现由缺陷检出概率计算所得缺陷尺寸分布参数进行可靠性分析的安全评定新方法,并利用该方法探求缺陷检出概率和缺陷尺寸与管道结构可靠性的关系,为压力管道设备的安全运行提供必要保障。     

软件开发中的测试技术

在分析了软件测试重要性的基础上,提出了软件测试的五大原则,指出软件测试的内容和步骤应基于软件生命周期的全过程,并就测试方法、测试策略的合理选择进行了阐述。通过对测试时间、测试成本和可靠度的关系的分析,给出了软件最佳测试时间的确定方法,并对测试工作的可靠性评价进行了探讨。     

面向对象软件测试探讨

面向对象软件测试是面向对象软件开发的不可缺少的一环，是保证软件质量，提高软件可靠性的关键．但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．本在分析面向对象程序设计语言对软件测试影响的基础上，讨论了面向对象软件测试的测试策略及测试技术．     

基于混沌理论软件可靠性定性仿真建模方

针对目前可靠性复杂软件系统存在的安全性问题,提出基于混沌理论的软件可靠性定量与定性相结合的仿真建模方法.首先,借助非线性混沌定量预测分析方法合理预测软件演变规律;其次,引入基于定量预测分析基础上的定性仿真建模预测分析方法,对定量预测结果进一步验证和推理,挖掘构建软件可靠性混沌建模的内在规律;最后,将QSIM算法应用在软件可靠性建模与预测分析的研究中,并且采用软件可靠性建模与预测评估手段给出软件可靠性度量标准,帮助检验和验证软件的可靠性.该研究成果可为软件可靠性建模提供新的方法和策略,提高软件可靠性建模预测分析的可行性和准确性,并且可以广泛应用到企业软件开发实践中,有助于企业发现影响软件可靠性的各种因素,解决软件安全性问题.