基于依赖结构的测试用例优先级技术

优先级技术能够在不减少测试用例规模的情况下,提高测试用例集的性能。为了降低测试工作量,已有的很多文献通常假定测试用例是独立的,但在实际测试中,测试用例之间存在依赖关系,并且只有考虑了依赖关系的测试才能正常运行。针对这个问题,文章将依赖关系引入到优先级技术,提出了一种基于依赖结构的测试用例优先级技术,首先将依赖关系转化为量化指标依赖深度,然后以此指标为权重函数,运用加权的深度优先搜索算法进行测试用例排序。结果表明:与随机排序和基于功能覆盖的优先级技术相比,减少了测试代价,提高了缺陷检测率。     

组合测试用例集的动态生成算法

在逐因素扩展算法的基础上,提出了一种有效的组合测试用例生成算法IPOT.该算法根据已被扩展的测试用例覆盖t(t≥2)参数值组合的情况确定水平扩展方法,并依据新的被覆盖的t参数值组合修改已被扩展的部分测试用例,从而达到对测试用例集的优化.设计实现了基于该方法的测试用例生成工具.通过和部分现有的支持t维组合测试工具比较,I...     

基于多种群进化算法的测试用例优先级排序研究

为了提升软件测试的效率,加快软件研发的进度,提出了一种基于多种群进化的测试用例排序算法。该算法首先针对单种群遗传算法容易产生早熟收敛的问题,提出了一种多种群并行进化模型,以增强算法的全局寻优能力;然后根据该模型,结合软件需求覆盖和软件缺陷检测率,综合考虑代码覆盖率、测试用例设计信息和历史执行信息三个方面的因素,提出了一种动态调整测试用例优先级的计算方法。实验结果表明:与传统的面向单一目标覆盖的测试用例优先级排序算法相比,该算法的测试速率和软件缺陷检测能力得到一定的提升。     

基于控制流的形式化程序测试

为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后,通过条件演算对序列程序生成测试用例。程序执行是基于程序语义进行,避免了隐含的不可行路径,复杂度分析表明该方法可以避免状态爆炸问题。     

面向WEB服务的测试用例自动化生成方法

针对目前Web测试主要依靠费时费力且具有一定盲目性和倾向性的人工测试用例设计问题,在Web服务单个操作测试用例生成方法的理论研究工作基础上,提出了一种基于WSDL文档和形式化模型树Web服务操作测试用例的自动生成方法,并以此构建测试工具。实际应用效果表明,该方法能大幅节省人工手动分析WSDL文件中复杂数据类型的时间,并根据各内建数据类型的测试用例手工生成输入消息测试用例的时间,简化测试用例的生成过程,大量替代目前用手工完成的测试用例编写工作。     

软件确保智能测试用例生成PSO算法进展研究

测试用例生成是软件测试的重要环节,是软件确保的重要组成部分,其中启发性算法是近年来测试用例自动生成研究领域的热点。对启发性测试用例生成的新方法PSO进行了介绍和分析,详细讨论了PSO算法适应度函数、PSO算法早熟与局部最优、种群规模对PSO算法的影响以及PSO参数优化问题,并将PSO与GA算法进行了对比分析。展望了PSO测试用例生成算法的未来研究方向,指出PSO测试用例生成算法目前应重点解决测试用例规模优化、早熟抑制和参数优选等问题。     

程序不变量驱动的组合测试用例约简方法

针对组合测试用例约简问题,提出一种基于程序不变量的两两覆盖组合测试用例约简方法。首先用组合测试用例生成算法对被测程序一次生成一个组合测试用例,然后根据该组合测试用例提取被测程序的程序不变量来决定该测试用例的取舍。典型案例实验表明该方法能有效地对组合测试用例集进行约简,可降低测试用例的数量,提高测试用例的质量。     

基于LTL的UML状态图测试用例生成方法

测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻辑的模型检测技术,验证有限状态机模型的正确性,实验结果表明,该方法能够在不降低迁移覆盖准则的情况下,生成数量少、针对性强的测试用例集。     

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

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

面向Length_N测试覆盖准则的测试用例生成技术研究

针对路径覆盖测试的可行性,提出了一种新的路径测试覆盖准则(Length_N准则).首先把测试用例生成归纳为多目标函数的优化问题,其有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集.为了提高生成效率,对遗传模拟退火算法的编码、适应度函数、交叉概率做了一定的改进;并在此基础上来自动生成测试用例.实验结果表明该方法在效率上较遗传算法、随机测试数据生成方法有很明显的提高,在可行性上比路径覆盖准则也有很大的改善.     

扩展线性支出系统模型估计方法的修正及实证检验

为了降低回归测试的测试成本,提出了测试用例优先排序的方法.测试用例优先排序的方法有很多种,但是如何评价这些排序方法的有效性目前还没有很好的方法.针对增加测试用例集发现错误的比率这一目标,提出了测试用例排序序列和测试用例优先排序的评价方法.     

一种测试用例优先排序的评价方法

为了降低回归测试的测试成本，提出了测试用例优先排序的方法．测试用例优先排序的方法有很多种，但是如何评价这些排序方法的有效性目前还没有很好的方法．针对增加测试用例集发现错误的比率这一目标，提出了测试用例排序序列和测试用例优先排序的评价方法．     

回归测试用例集优化策略

将测试用例集约简技术和优先级技术相结合,提出3种回归测试用例集优化策略:①渐增式约简算法BU,首先选择必不可少用例,然后选择额外贡献度最大的用例直至覆盖全部需求;②精简式算法BD,每次选择必不可少用例,如果没有,则不断删除贡献度最小的用例,直至覆盖全部需求;③优先级策略BUP,每次将需求集重置为待覆盖,然后调用BU直到所有用例排序完毕。贡献度综合考虑了用例对单个需求以及需求集的重要性。实验结果表明,将测试用例优先级技术引入到约简中,不仅能获得规模较小的目标集,而且能以较快的速度覆盖测试准则。     

Improved Group Fuzzy Preference Programming Method Based on Fuzzy Random Theory

A new prioritization method in the analytic hierarchy process （AHP）, which improves the group fuzzy preference programming （GFPP） method, is proposed. The fuzzy random theory is applied in the new prioritization method. By modifying the principle of decision making implied in the GFPP method, the improved group fuzzy preference programming （IGFPP） method is formulated as a fuzzy linear programming problem to maximize the average degree of the group satisfaction with all possible group priority vectors. The IGFPP method inherits the advantages of the GFPP method, and solves the weighting trouble existed in the GFPP method. Numerical tests indicate that the IGFPP method performs more effectively than the GFPP method in the case of very contradictive comparison judgments from decision makers.     

CBTC 系统测试用例生成方法的研究

针对CBTC系统测试案例的特点和生成过程,本文使用基于MSC建模语言来生成测试用例,并且说明了使用该方法生成测试用例的优点所在。在基于MSC生成测试用例的过程中,对MSC添加状态约束条件,分析MSC图,得到场景测试树,再遍历该场景树,得到场景的输入、预期输出、约束条件以及场景环境,测试用例即由这四部分内容组成。     

混合属性实例分类与检索的子空间法

在剖析了传统的实例检索策略的不足以后,从向量空间理论出发,提出了一种子空间法实例检索模型,不同类别的实例对应于实例空间的不同的子空间,该模型给出了新问题与各实例类的相似程度的判别准则,从而异构型分布式实例系统的建造奠定了实例的组织和检索基础。     

基于关键因素分析的测试用例设计方法研究

针对软件测试人员在设计黑盒测试用例时面临完备性和提高测试效率的问题,给出了一种基于关键因素分析的测试用例设计方法,提高了黑盒测试用例的设计质量,以尽可能少的测试用例满足了覆盖要求,提高了测试效率。     

结构抗震混合试验技术中模态综合法的应用

在分析原有几种抗震试验方法的基础上,提出了一种新的"混合试验方法"的设想.这种方法将振动台试验与拟动力试验结合起来,以期解决原有试验方法在大型、异型结构抗震研究中遇到的困难.本文基于子结构模态综合法对结构抗震混合试验技术进行了初步研究,提出了将整体结构划分为试验子结构和分析子结构,采用对接加载主模态修正方法对试验子结构进行质量矩阵和刚度矩阵局部修正,并给出了连接边界的加载模式.