摘要：随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法主要采用手工方式构造SCADE模型测试用例,存在需求与测试用例不一致、成本代价高且容易出错的问题。文中提出了一种基于自然语言需求的SCADE模型测试用例自动生成方法。首先,给出了基于模型检测的测试用例自动生成方法,通过自然语言需求处理生成原子命题,用于生成前提假设Assume和观察者模型,同时给出了陷阱性质(Trap Properties)生成规则来生成陷阱性质用于模型检测;其次,给出了基于覆盖分析和变异测试的测试用例质量评估方法,并在SCADE模型上进行变异测试;最后,设计和实现了原型工具,并基于一个工业界案例飞行员弹射座椅控制系统进行了案例分析,验证了所提方法的有效性。

摘要：本文提出一种基于B/S架构的测试用例自动生成软件的设计方案,用户通过Web界面,可以快速准确的得到满足结构覆盖度要求的测试用例,以提高测试开发效率。

摘要：随着系统内部复杂度的提高及外部交联关系的增多,人们将更多地采用自动化测试手段和工具来提高测试效率和测试结果的可信性。测试用例自动生成作为自动化测试的重要环节,其关键在于测试数据的自动生成。首先,分析了遗传算法及模拟退火算法的原理及优缺点,提出了一种算法融合遗传思想和退火算法,并且在选择、变异、交叉和适应度函数设计等4个方面对融合算法进行改进,形成了一种改进的遗传退火算法;其次,两种基础算法的融合体现在将退火思想引入遗传算法的选择阶段,之后改进交叉、变异算子,使交叉、变异依据适应度数值做适应性调整,设计出更优的适应度函数,为优化适应度函数的构造引入调节因子;最后,采用经典的三角形判断程序,将所提的改进遗传退火算法与其他代表性文献所提的遗传算法在平均进化代数和总搜索时间两个方面做比较分析,实验结果表明:该算法在上述两个评价因素上均获得了更好的结果,证明了所提的算法在数据自动生成上的有效性和高效性。

摘要：针对粒子群优化算法在软件测试用例自动生成过程中存在后期收敛速度慢、易陷入局部最优及求解精度低的问题,基于约简的自适应混沌粒子群优化(RACPSO)算法,提出一种测试用例自动生成方法。将粒子群标准进化方程化简为无速度项的进化方程,设计基于适应度值自适应调整的惯性权重,实现粒子的位置更新。采用基于群体适应度方差的早熟收敛判断策略进行混沌搜索,并通过增加粒子的多样性克服早熟收敛现象。实验结果表明,与标准粒子群优化算法和自适应粒子群优化算法相比,RACPSO算法在收敛速度与求解效率方面更具优势。

摘要：传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例。提出了一种新的方法,利用遗传算法动态运行程序,逐渐逼近被测程序的真实逻辑圈复杂度,直接生成满足基路径覆盖测试用例的最小集合,不存在路径不可达问题。实验结果表明,该算法能够有效地生成满足基路径覆盖的测试用例。

摘要：测试用例自动生成是软件测试自动化中最为关键的组成部分之一,符号执行作为一种程序分析方法,以其可提供高覆盖率测试用例的优势被广泛应用其中,但路径爆炸和约束求解问题很大程度制约了符号执行技术在现实程序分析中的应用。将研究粒度由语句提升至函数,利用抽象语法树和字节码序列提取到的函数关键信息和控制信息得到函数调用关系模型,设计算法生成函数调用路径(函数调用路径表示程序从开始到结束之间函数的调用或执行序列)。该方法不仅减少了测试路径数目缓解了路径爆炸问题,还有效解决了控制条件中存在函数导致符号表达式难求解的问题。实验结果表明该方法可优化测试路径集,在不降低覆盖率的前提下减少测试用例数量。

摘要：软件测试作为嵌入式软件工程中的一个非常重要环节,是保证嵌入式软件质量的一种手段。软件测试最主要的环节便是有效的测试用例生成。本文研究组合测试用例自动生成软件的设计,以便能快速的构建需要的测试数据,对于降低嵌入式软件缺陷,提高产品质量有着重要的意义。

摘要：Android是近几年新兴的智能手机操作系统,同时也出现了各种类型的Android应用软件,竞争激烈。对其进行可靠性测试是保证Android软件质量和可靠性的重要途径,同时也可帮助开发方在满足用户期望和尽快上市发布产品两者之间找到合理的平衡。而测试用例的生成是软件可靠性测试的重要环节。针对Android软件可靠性测试用例的自动生成问题,首先提出收集用户对Android软件使用的习惯数据,以便于构建软件的马尔科夫链模型的方法,并基于马尔科夫链模型,提出和实现了设置状态间转移概率算法和测试用例生成算法,最终根据以上的研究内容设计了带有自动记录用户操作习惯模块的Android文件管理器和Android软件可靠性测试用例自动生成工具,给出了Android软件可靠性测试用例设计的总体思路。实验结果表明,该方法大大降低了Android软件测试用例生成的难度,同时节约了测试用例生成的时间和成本,提高了可靠性测试的效率。

摘要：软件测试是保证软件质量的重要手段,尤其是自动化测试可以提高测试效率,降低成本。测试用例的自动获取尤其是黑盒测试用例的自动生成是软件测试的关键和难点。在借助边界值和等价划分等数学原理得到的典型值的基础上,结合自定义的树型模型设计了全面覆盖算法和快速搜索有效用例算法两种面向不同方面的算法。并通过在假设的模型下运用两种算法进行测试数据的生成与测试结果的对比。测试结果表明两种算法各有其自身的优势,有可适用的测试场合、轮次。

摘要：以Korel的遗传算法生成测试用例策略为基础,在适应函数、染色体编码、遗传算法效率等方面提出了相应的算法改进。引入程序结构依赖系数来确定个体的适应值,使得整个搜索更加智能化;解决编码长度预测问题;采用改进的自适应遗传算法提高用例的搜索效率。同时对实现测试用例生成过程中的关键技术进行了分析。最后结合算例对软件进行了验证。