动态测试技术在面向对象软件测试中的应用研究

动态测试技术在传统软件测试中发挥着重要作用,同样它在面向对象软件测试中也发挥着不可替代的作用.本文首先讨论了面向对象软件测试的新要求,以及面向对象软件测试的测试模型,然后讨论了面向对象软件测试中动态测试的用例设计方法.     

基于改进遗传算法的测试用例生成研究与仿真

提出一种基于改进遗传算法的测试用例自动生成工具,改进的遗传算法通过路径构建方法构建目标路径矩阵集合以及实际路径矩阵,通过对比目标路径矩阵与实际路径矩阵差异设计适应度函数,通过归一化处理得到适应度值,最后根据适应度值调节遗传算子,得到问题的最优解集合进而得到全部测试数据。工具通过可视化界面操作实现待测程序的自动插桩、自动生成覆盖全部路径的测试用例并代入程序进行测试,最后反馈生成测试结果。改进的算法能够提高算法收敛速度,降低早熟程度,在覆盖率及准确度相同的情况下,工具生成用例可以减少测试数据生成时间,达到节省测试成本、提高测试效率的效果。     

逻辑覆盖法教学过程的分析与设计

软件测试中两种非常重要的方法就是黑盒测试和白盒测试,白盒测试的核心是针对被测软件的内部逻辑如何进行测试,白盒测试中一种很重要的方法就是逻辑覆盖法,该方法关注点是判定—条件表达式本身的复杂度,通过对程序逻辑结构的遍历来实现对程序的覆盖,遵循的基本原则是对程序代码中所有逻辑值均需测试真值和假值,实现更广泛的覆盖率,进而达到软件测试的目的.     

一种新的软件测试方法

软件测试从测试是否针对系统的内部结构和具体实现算法的角度来看,可分为白盒测试和黑盒测试．灰盒法测试是综合考虑了白盒测试法和黑盒测试法基础上提出的一个方法,也是一种新的软件测试方法．     

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

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

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

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

面向基本路径的软件测试方法研究

软件测试是保证软件可靠性的主要手段,是发现并排除软件中隐藏错误和缺陷的重要途径,软件测试的最终结果就是把高质量的软件产品提交给用户。软件测试方法很多,其中的基本路径测试方法是白盒测试技术中解决复杂路径测试最有效的方法。实践证明,运用这一方法不但可以降低软件测试的工作量和复杂度,还可以提高软件测试的质量和效率。     

因果图与判定表组合生成测试用例的方法及其应用

软件测试是企业保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。因果图与判定表测试技术各有优劣,提出将两种技术结合的方法,扬长避短,较好地解决了测试用例的生成。最后还结合案例进行分析,详细阐述了该方法的应用。     

基于组件Web应用程序的覆盖率准则和测试需求约简（英文）

为了更好地分析测试基于组件的Web应用,并抉择何时结束测试过程,提出了覆盖率准则的概念和测试需求约简的方法.首先,定义了4种覆盖率准则,并证明它们之间的包含关系.然后,使用一种转换算法将Web应用测试模型转换成一种可以约简测试需求集合的Web应用决策-决策图（WADD图）.最后,基于各种覆盖率准则,并通过分析图中各条边的等价和包含关系,约简测试需求集合.测试人员可以根据不同的测试环境需求选择不同测试需求集合.案例分析表明,在实际的Web应用中所定义的覆盖率准则确实存在线性包含关系.基于不同的测试覆盖率准则,测试需求集合平均可约简55%以上.随着覆盖率准则复杂度的提高,测试需求的规模也随之增大.     

浅谈软件测试方法

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势等。     

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

快速、高效地生成测试用例是软件测试的关键。遗传算法通过模拟生物进化中的自然选择和交配变异寻找问题的全局最优解,传统遗传算法容易导致早熟收敛。针对这一缺陷,提出一种改进的遗传算法,并将该算法应用于测试用例生成中。实验结果表明,该算法生成测试用例比传统遗传算法效果更好,是一种行之有效的方法。     

基于UML的移动终端软件自动化测试用例建模

以移动终端软件测试为例,依据统一建模语言(Unified Modeling Language,UML),利用建模工具和UML模型图,给出了一种生成测试用例的方法。该方法能直观地创建自动化测试用例方案模型,尽可能多地生成测试用例场景,从而加大了测试用例的隐含故障覆盖率,并能为移动终端的自动化测试工具提供有效的配置参数。     

基于Java编译器的MC/DC测试覆盖方法设计

基于Java编译器的MC/DC测试覆盖方法设计,主要对Java文件中存在的条件表达式实现MC/DC测试覆盖算法,并对其条件语句进行插桩,生成插桩文件,针对后续的具体测试用例检查是否满足MC/DC测试覆盖算法以及覆盖率统计。     

基于UML的移动终端软件自动化测试用例建模

以移动终端软件测试为例,依据统一建模语言（Unified Modeling Language,UML）,利用建模工具和UML模型图,给出了一种生成测试用例的方法。该方法能直观地创建自动化测试用例方案模型．尽可能多地生成测试用例场景,从而加大了测试用例的隐含故障覆盖率,并能为移动终端的自动化测试工具提供有效的配置参数。     

基于职业情境高职课程教学改革的探索与实践——以《软件测试》课程为例

提出了目前高职院校软件测试人才培养中存在的问题,介绍了如何在软件测试课程中引入企业的职业情境,并在开源测试管理软件平台上如何模拟企业情境,研究了在软件平台上如何实施软件测试项目的项目小组的团队协作任务。结果表明,该方法能够有效的帮助学生理解软件测试的相关知识,让学生在逼真的职业情景中更有效的掌握软件测试的相关技能与方法,在实训项目中获得宝贵的实际测试经验。     

基于OSD的动态测试模型及其应用

随着面向对象开发思想广泛应用到大规模的软件中,相应的对面向对象软件测试技术也提出了新的更高的要求.面向对象软件测试技术与传统软件测试相比,在测试步骤上基本相同,但是测试的思想截然不同,它的测试重点放在了类的测试问题上,与传统的单元测试相对应.因此,重点研究和探索了在类测试阶段,对于基于OSD动态状态测试模型的构造方法及其应用.     

单元测试在三层架构开发中的应用

针对软件测试过程中的单元测试问题, 提出了一种基于.Net三层架构技术的数据访问层单元测试和覆盖率检测方法。结合高校户籍管理系统,进行了数据访问层单元测试和覆盖率检测的设计与实现,有效保证了程序质量。     

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

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

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

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

OSPF网络软件设计与测试

对软件测试理论和软件测试方法进行了讨论,并结合OSPF网络设计进行配置测试,将软件测试方法应用到OSPF协议网络设计中.