基于概率论的测试用例优化技术研究

软件可靠性测试是软件工程中的一个新的研究领域.为了缩短软件测试周期,测试用例的生成是关键.基于马尔可夫链模型,提出了一种测试用例优化技术,该理论采用适应度比例的概率方法进行优化.通过例子证明.该方法在产生均匀、优化的测试用例方面是有效的.     

基于模糊数学的测试用例优化技术研究

为了缩短软件测试周期,测试用例的生成是关键.在模糊综合评判数学模型和马尔可夫使用链模型的基础上,提出了基于模糊数学的测试用例优化的方法.通过实例证明了这一技术的实用性和有效性.     

ATE软件系统测试方法研究

由于ATE软件系统与硬件设备结合紧密,对其进行软件测试不能照搬一般软件测试方法.结合 ATE软件系统的特点和工作方式,研究了其软件的测试方法.按照软件测试的全程,主要从单元测试、集成测试、系统测试等多个层次进行研究和探讨.重点研究了单元测试过程中测试内容和测试用例的生成.介绍了自动测试在ATE软件系统测试方面的应用和所采用的自动测试工具.     

软件产品黑盒测试的测试用例设计

软件测试是为了发现软件缺陷和错误而执行的过程.传统的穷举测试,受到时间、费用和人工等条件的限制,实施起来是不现实的.为了节省时间和资源,提高测试效率,从大量的可用测试用例中精心选取了少量的测试数据,使得采用这些测试数据能够达到最佳的测试效果,可以高效地发现软件中隐藏的错误和缺陷.     

基于遗传蚁群算法的测试用例集约简

为提高软件测试效率,节省回归测试成本,本文提出了一种新的约简测试用例集的算法.该算法是遗传算法和蚁群算法两种算法的结合,首先利用遗传算法的快速随机全局搜索能力,生成蚁群算法的初始信息素,然后利用蚁群算法的正反馈性,快速得到约简测试用例集的近似最优解.最后通过仿真实验验证了该算法的有效性.     

一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战，传统的测试技术不能直接用于面向对象的软件测试中，必须对其进行扩充和完善，类级测试是面向对象测试过程中的一个重要阶段，而类状态的测试是类级测试的核心，作者将扩充后的黑盒测试技术应用到类状态的测试过程中，可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化。最后，通过一个实例说明对类级状态的测试及其测试用例的生成。     

软件测试用例的复用技术研究

软件测试用例的复用使其减少软件测试过程中重复性劳动成为可能。对于软件测试工程师而言,测试用例的有效复用必将有力地推进测试进程。软件测试工程师对测试用例库的充分利用,可以减少包括分析、设计、编码、验证等大量重复性劳动,最终提高软件测试效率和软件质量。     

基于粒子群-蚁群混合算法的软件测试数据生成方法研究

在用于面向路径测试用例自动生成的智能优化算法中,由于各种参数设置的数学理论基础薄弱,算法普遍存在搜索效率较低的问题。在分析粒子群算法和蚁群算法的基础上,提出的粒子群-蚁群混合算法将粒子群优化算法和蚁群信息素选择方法有机地结合起来。通过经典的路径测试实验,实验结果表明,算法在自动生成软件测试用例的搜索过程中,充分发挥了粒子群算法较强的全局搜索能力和蚁群算法的区域搜索能力,提高了软件测试用例自动生成的效率。     

基于接口仿真的雷达软件测试自动化技术研究与应用

嵌入式软件在雷达装备中发挥核心作用,采用传统的用户界面动态测试手段,难以实现充分的软件测试,易造成缺陷遗漏.本文针对基于接口仿真的软件测试技术展开研究,提出了适合于雷达软件的接口仿真自动化测试框架.同时针对雷达软件接口测试中,测试数据的结构建立与生成环节存在操作数据多、易出错、效率低等问题,以雷达软件接口定义头文件为输...     

可变报文格式测试工具设计方法

可变报文格式(VMF)测试工具旨在发现被测系统中VMF编解码功能的故障,本文设计了一种测试VMF语法规则及部分语义限制符合性的自动化测试工具.设计了测试工具框架,包括VMF数据元素字典、测试任务管理器、测试用例生成器、VMF编解码器、测试报告生成器、格式转换接口等模块;针对编码及解码功能,设计了使用合法及非法测试用例的测试过程;从VMF语法规则、语义规则两个方面分析了测试需求,设计了可基于VMF数据元素字典自动生成的测试用例类型;给出了测试用例的生成方法:首先生成所有测试用例类型中的一种,然后通过修改该类型测试用例的报文内容或报文编码生成其它类型的测试用例,测试用例生成方法为多项式复杂度,有效地避免了组合膨胀.实验结果表明本文设计的测试工具是可行有效的.