赵瑞莲
- 作品数:100 被引量:297H指数:9
- 供职机构:北京化工大学信息科学与技术学院更多>>
- 发文基金:国家自然科学基金教育部“新世纪优秀人才支持计划”教育部科学技术研究重点项目更多>>
- 相关领域:自动化与计算机技术电子电信理学文化科学更多>>
- 利用蚁群算法实现基于程序结构的主变元分析
- 本文提出了一种利用蚁群算法实现程序主变元分析与确定的方法,使用属性约简模型,将输入/输出变量间的相互关联关系作为启发式信息引入蚁群算法来分析程序主变元。实验结果表明,本方法是行之有效的,可以更为准确地确定程序主变元。
- 张悦尤枫赵瑞莲
- 关键词:属性约简蚁群算法
- 文献传递
- 一种基于上下文及图学习的API推荐方法
- 基于上下文及图学习的API推荐方法是一种根据上下文有限信息进行分析和预测API的推荐方法,从而缓解当上下文信息不足容易遇到冷启动导致推荐性能受到影响的问题。本方法首先需要进行细粒度的API建模和分析,通过融合结构和属性信...
- 郭俊霞赖宝强李征赵瑞莲
- 基于输出域的测试用例自动生成方法研究被引量:6
- 2016年
- 对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入也较为困难.提出了一种基于输出域的测试用例自动生成方法,首先利用BP神经网络构建被测软件的功能模型,然后在被测软件的功能模型上,对于给定的输出,利用遗传算法搜索相应的输入,实现基于输出域的测试用例自动生成.同时,对遗传算法进行了改进,提出了一种新的交叉算子和变异算子,以提高遗传算法生成测试用例效率,并在容错软件RSDIMU子模块和3个常用软件上进行了模型构建及测试生成实验.实验结果表明,利用遗传算法实现基于输出域的测试用例自动生成方法是行之有效的,改进的遗传算法能够提高测试生成的效率和成功率.
- 尤枫赵瑞莲吕珊珊
- 关键词:BP神经网络测试用例生成遗传算法
- 减少多种子内建自测试方法硬件开销的有效途径被引量:11
- 2003年
- 提出一个基于重复播种的新颖的BIST方案 ,该方案使用侦测随机向量难测故障的测试向量作为种子 ,并利用种子产生过程中剩余的随意位进行存储压缩 ;通过最小化种子的测试序列以减少测试施加时间 实验表明 ,该方案需要外加硬件少 ,测试施加时间较短 ,故障覆盖率高 ,近似等于所依赖的ATPG工具的故障覆盖率 在扼要回顾常见的确定性BIST方案的基础上 ,着重介绍了文中的压缩存储硬件的方法。
- 李立健赵瑞莲
- 关键词:寄存器集成电路电路测试
- EFSM模型字符串测试数据自动生成研究
- 2014年
- 字符串测试数据自动生成是目前的研究难点,还没有很好地解决方法。针对这个问题,提出了一种将符号执行约束求解与搜索算法相结合实现基于EFSM模型的字符串测试数据自动生成方法。将测试数据候选字符集中的字符通过取余编码转换为整数;将目标路径上字符串约束转换成整数约束,通过约束求解获得中间解;采用搜索算法生成字符串测试数据。该方法能很好地减小字符串的搜索范围,有效地减少搜索算法的执行时间。实验结果表明,该方法达到了预期的效果,提高了测试数据生成效率。
- 尤枫刘宜桦赵瑞莲
- 关键词:扩展有限状态机搜索算法测试数据生成字符串
- 面向多目标测试用例优先排序的蚁群算法信息素更新策略被引量:10
- 2016年
- 针对蚁群算法在求解多目标测试用例优先排序(MOTCP)时收敛速度缓慢、易陷入局部最优的问题,提出一种基于上位基因段(ETS)的信息素更新策略。利用测试用例序列中ETS可以决定适应度值的变化,选取ETS作为信息素更新范围,再根据ETS中测试用例间的适应度增量和测试用例的执行时间更新路径上的信息素值。为进一步提升蚁群算法求解效率、节省蚂蚁依次访问测试用例序列的时间,优化的蚁群算法还通过估算ETS长度重新设置蚂蚁遍历测试用例的搜索终点。实验结果表明,与优化前的蚁群算法及NSGA-Ⅱ相比,优化后的蚁群算法能提升求解MOTCP问题时的收敛速度,获得更优的Pareto解集。
- 邢行尚颖赵瑞莲李征
- 关键词:蚁群算法信息素更新
- 基于改进遗传算法的面向路径测试数据生成被引量:6
- 2012年
- 在遗传算法中,面向路径测试数据自动生成存在迭代次数多、效率低的问题。为此,提出一种改进型的遗传算法。通过分析被测源程序得到其结构信息,并利用该结构信息,控制遗传算法中交叉、变异操作发生的位置及范围,提高遗传操作的精确性和目的性。实验结果表明,与传统遗传算法相比,该算法具有更快的收敛速度,测试数据生成效率更高。
- 王林尤枫赵瑞莲
- 关键词:遗传算法测试数据生成
- 中国软件测试进展
- 本专题讨论将主要结合当前国内部分高校在软件测试领域研究的最新成果,包括测试用例生成技术,软件的缺陷模式与基于缺陷的软件测试技术、基于TTCN的软件测试技术、软件复杂性与软件可靠性之间的关系、软件评测中的故障注入等进行讨论...
- 宫云战徐拾义赵瑞莲赵汇群江建惠杨朝红周明中
- 文献传递
- 一种二叉树结构型测试数据自动生成方法
- 目前关于测试数据自动生成的研究主要集中于数值和字符串型数据,对于指针和动态数据结构的测试生成研究较少。二叉树是一种广泛使用并具有代表性的动态数据结构。本文针对二叉树结构,提出了一种基于concolic 的二叉树结构型测试...
- 王倩尤枫赵瑞莲
- 关键词:软件开发数据结构软件测试
- 基于禁忌搜索算法的可扩展有限状态机模型测试数据自动生成被引量:5
- 2011年
- 可扩展有限状态机(EFSM)模型的测试用例生成包括测试路径生成和测试数据生成两部分。然而,目前针对EFSM模型的测试研究大多集中于测试路径生成。为探索路径上测试数据的自动生成,提出一种面向EFSM路径的测试数据生成方法,利用禁忌搜索(TS)策略实现了EFSM测试数据的自动生成;分析了影响EFSM测试数据生成的关键因素,并与遗传算法(GA)的生成效率进行了比较。实验结果表明:基于TS算法的EFSM模型测试数据自动生成是确实可行的,其测试生成效率相对于GA有很大提高。
- 任君赵瑞莲李征
- 关键词:禁忌搜索算法遗传算法测试数据生成禁忌表