基于因果图的测试用例设计及应用

在软件黑盒测试方法中,设计测试用例有多种方法,各种设计方法都有其侧重面。因果图主要表示测试软件输入条件的相互依赖与相互制约关系,以及由此导致的不同结果。介绍了因果图的基本概念,以及使用因果图设计测试用例的方法。     

基于蚁群算法UML活动图的测试用例生成研究

为了节约软件测试成本,减少测试用例数量,提出了一种利用蚁群算法直接从UML活动图中生成测试用例的方法。通过对UML活动图和蚁群算法进行形式化规约,构造人工蚁群,然后依据DFS遍历由UML活动图转化的有向连通图G,最后生成测试用例。通过仿真模拟,对提出的方法进行验证以及对实验结果进行分析,证明了该算法的可行性和有效性。     

测试用例类库及其在软件工程中的应用

介绍了测试用例管理方法———测试用例类库,研究了测试用例使用、管理现状和存在的问题,以及测试用例类库的实施要点,并对实施效果进行了分析。     

基于混合遗传算法在测试用例生成中的研究

采用智能优化算法求解测试用例生成问题是软件测试自动化领域的研究热点。针对标准遗传算法在测试用例生成中的不足,提出基于混合遗传算法的生成方法。该算法结合分支覆盖和路径覆盖两个指标对适应度函数进行优化设计,以加快数据的优化过程。通过调节因子对自适应的交叉和变异算子进行改进,并引入模拟退火机制,提高算法的局部搜索能力。实验表明,该算法在测试用例生成中的求解质量和运行效率均优于标准遗传算法。     

用于测试用例自动生成的遗传算法改进

探讨遗传算法的基本准则及其在软件测试中的应用,在此基础上对遗传算法进行改进。针对基本遗传算法中选择算子、交叉算子、突变算子的不确定性,以及容易陷入局部最优解和停滞的问题,提出SO、SACO、SCAMO算法。对改进的遗传算法和基础遗传算法进行比较。实验结果表明,改进的遗传算法比基础遗传算法自动生成测试用例的时间更短、效率更优。     

论哈密尔顿图的判定问题

本文探讨了哈密顿图的性质，并根据这些性质给出了若干种判定非哈密顿图的方法。     

基于交叉熵方法的测试用例选择策略

基于交叉熵方法提出了一种启发式划分测试用例选择策略。该策略在待测软件参数已知的条件下．以总的测试费用最小为目的,利用交叉熵方法通过调整各个子域中测试用例选择的概率来选择测试用例。     

基于交叉熵方法的测试用例选择策略

基于交叉熵方法提出了一种启发式划分测试用例选择策略。该策略在待测软件参数已知的条件下,以总的测试费用最小为目的,利用交叉熵方法通过调整各个子域中测试用例选择的概率来选择测试用例。     

软件黑盒测试用例设计方法的研究

在经济全球化、社会信息化的时代,软件产业有效促进所有领域和行业的信息化建设进程.在信息时代,国家、企业和个人对软件质量的要求在不断提高,软件测试作为软件质量保障的重要手段之一越来越受重视.本文对黑盒测试技术进行了介绍和分析,笔者运用相关方法对软件进行了黑盒测试并取得初步成效.     

高等院校实验室火灾事故因果建构图分析

高等院校实验室的规模及实验数量不断增加,由于实验室有些化学药品、试剂有易燃易爆性,其火灾隐患越来越令人关注.通过“实验室火灾事故因果建构图”的阐释和分析,可以加强对实验室火灾事故基础因子的管理,从而利于杜绝火灾事故的发生,确保师生人身和实验室财产的安全.     

二部图的两个判定方法及性质

二部图的判定有两种方法,一是由定义而得的标注法,一是用判定定理判定二部图的性质.主要讨论二部图的中心完备匹配、二部图的着色问题和二部图的应用.     

组合测试研究进展

经过30多年的发展,组合测试已经发展成为1种独立的和颇具影响的软件测试方法。该方法利用组合覆盖表作为测试用例集,可以有效检测软件系统中各种因素及其相互作用而促发的各种故障。论文在充分分析已有文献的基础上,结合作者在该领域的研究实践,首次系统介绍组合测试的演化发展,总结出其中的关键问题、方法、重要应用和未来发展方向,为组合测试的进一步研究和发展提供支持和参考。     

布尔函数操作的二元判定图方法研究

布尔函数在计算机科学和数字电路与系统的设计中有着广泛的应用,本文研究对布尔函数进行表示和操作的二元判定图方法,对其中的ite算符的实现做了详细讨论,基于该算符能容易地完成二元判定图的计算机程序实现.     

尔函数操作的二元判定图方法研究

布尔函数在计算机科学和数字电路与系统的设计中有着广泛的应用,本文研究对布 尔函数进行表示和操作的二元判定图方法,对其中的ite算符的实现做了详细讨论,基于该算 符能容易地完成二元判定图的计算机程序实现。     

模型检查在测试用例生成中的应用

按照存在量词公式的证据是全称量词公式的反例的特性,通过考察时态逻辑算子,用模型检查的反例生成机制对测试用例生成技术进行研究．然后把模型检查的算法引入到软件测试领域,寻找验证的路径,生成测试用例,据此对系统进行测试．通过实例说明了测试用例的具体实现过程．     

改进的测试用例错误检测效率度量方法(英文)

分析了在测试用例优先级问题中被广泛用于度量测试用例集错误检测效率的APFD度量标准及其变种,指出APFD系列度量标准存在物理意义模糊、对错误检测过程描述不清晰等缺陷.针对这些缺陷对已有度量标准进行改进,提出2种新的测试用例集错误检测效率度量方法 relative-APFD和relative-APFDC.新的度量方法在评价测试用例集效率时,综合考虑了错误检测速度和测试资源约束问题.实例分析表明,新方法可以更为清晰地描述测试用例集错误检测过程,并更为准确地反映不同测试用例集的错误检测效率.     

二部图的两个判定方法及性质

二部图的判定有两种方法,一是由定义而得的标注法,一是用判定定理判定二部图的性质。主要讨论二部图的中心完备匹配、二部图的着色问题和二部图的应用。     

一种测试用例集最小化生成算法研究及应用

测试用例的数量和质量决定软件测试的成本和有效性。在G算法和H算法的基础上,引入测试用例-测试需求映射关系重要性度的概念,本文提出了一种测试用例集最小化生成算法。该算法用于简化三角形分类程序的测试用例集,简化后的测试用例集是最小的测试用例集。实例分析证明该算法是有正确、有效的。     

基于改进的粗糙集和因果图的故障诊断

在粗糙集和因果图属性约简的基础上,先通过构建二进制可分辨矩阵,并精简可分辨矩阵元素,以此约简得出最小属性约简集,再依据最小属性约简集对原始因果图进行约简,最后进行故障诊断。在属性约简时,符号逻辑运算被转变为位逻辑运算,减少了模型的复杂程度,从而提高了推理速度。对某电网的实例,运用该方法,可以减少存储空间,减少复杂性,提升诊断效果。     

如何设计黑盒测试的测试用例

文章介绍了在黑盒软件测试工作中,如何有效地划分测试种类和编写对应的测试用例,使测试工作更加合理、高效率地运行.