于磊
- 作品数：26 被引量：51H指数：5
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金郑州市普通科技攻关计划项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于失效聚集度改进自适应随机测试算法
- 2016年
- 对于现有的自适应随机测试(ART)算法针对点状失效模式普遍存在有效性和效率均比随机测试(RT)差的问题,提出一种基于失效聚集度的自适应随机测试(CLART)算法,对传统的ART——固定候选集(FSCS)、区域排除随机测试(RRT)等算法进行改进。首先,根据被测程序的输入域估计主失效聚集度,确定局部搜索区域;然后,在区域内使用传统ART算法生成若干测试用例(TC)进行测试;若未发现错误,重新选择局部区域生成TC;重复这一过程直至发现错误。仿真实验显示在点状失效模式和块状失效模式下CLART算法的有效性比FSCS算法提高约20%,效率比FSCS算法提高约60%。实验结果表明CLART算法利用多个局部区域依次搜索可以快速锁定引发失效输入分布密集高的失效区域,从而提高测试的有效性和效率。
- 侯韶凡于磊李志博李刚
- 关键词：软件测试
- 软件Markov链使用模型生成与化简技术被引量：3
- 2015年
- 为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描述软件的使用情况。针对状态空间爆炸问题,提出冗余状态和等价状态的定义,设计使用模型化简算法,针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。
- 冯俊池于磊刘洋
- 关键词：统一建模语言马尔科夫链软件可靠性测试状态化简
- 基于变异粒子群算法的字符串型测试数据生成被引量：2
- 2016年
- 基于搜索的算法在以路径覆盖为目标的测试数据生成中应用广泛。然而对于字符串型测试数据的生成,现有方法效率不高。为了高效地生成字符串型测试数据,提出了一种基于变异粒子群算法的字符串型测试数据自动生成方法。在随机生成初始种群后,采用粒子群算法使种群在趋近最优个体的过程中实现进化,并以一定的概率对种群中的个体进行变异操作,以避免进化过程陷入局部最优。为了有效地指导种群进化过程,对经典适应度函数中分支距离的计算方法进行改进,使其适用于含有字符串型参数的程序。实验结果表明,该方法具有较高的成功率和稳定性,且能明显提升测试数据生成效率。
- 李刚于磊孙回回张兴隆侯韶凡
- 关键词：测试数据生成变异粒子群算法
- 软件工程教学中的情景Seminar教学法被引量：3
- 2016年
- 为培养软件工程实用人才,提高软件工程课程授课效果,可以将传统理论讲授方式和情景Seminar教学方式相结合的形式用于软件工程课程教学中。其中,情景Seminar教学方式是结合软件工程课程特点提出的,包括分组研讨、主题报告、答辩评审三个内容。情景Seminar教学方法的应用,能有效地提高学生的阅读能力、表达能力,培养学生的独立思考、探索问题和解决问题的能力,增强学生的团队协作意识。
- 李志博于磊侯雪梅燕菊维
- 关键词：软件工程SEMINAR教学法情景教学
- 测试数据生成中遗传算法的改进被引量：5
- 2015年
- 为了提高测试数据自动生成的效率,提出基于改进遗传算法的多路径测试数据生成方法.首先将定向变异算子引入遗传算法,根据当前最优解产生变异个体,使变异向有利的方向进行,在保持种群多样性的同时提高局部搜索能力;然后综合考虑执行路径与目标路径间的路径相似程度以及谓词分支距离,设计了个体适应度评价函数,以有效地区分个体的优劣程度.针对基准程序进行实验,验证了该方法相对于传统方法的优越性.
- 冯俊池于磊
- 关键词：测试数据生成多路径遗传算法
- 一种支持大规模数据逻辑函数优化的改进选拔算法
- 2008年
- 选拔算法是两级逻辑综合中求解最小化覆盖的经典方法之一,但在输出变量集合和质立方体集合规模较大的情况下,采用选拔法求最小化覆盖存在空间复杂度高、求解时间长等问题。为此,提出了求解多输出函数最小化覆盖的改进选拔算法。利用相交迭代和局部搜索的思想,分别对选拔法的极值运算和分支处理进行了改进。实验结果表明,在现有计算机资源条件下,该算法为大规模数据条件下逻辑函数的优化提供了一种有效的方法。
- 叶静于磊曾光裕白燕
- 关键词：逻辑综合极值
- 基于度量的软件测试过程管理
- 软件测试是保证软件质量的重要手段,随着迭代式软件生命周期模型的流行,软件测试过程逐渐成为贯穿整个软件产品研发周期的复杂过程。为了更好的管理软件测试过程,确保测试活动的稳定性和有效性,必须采用基于度量的量化管理模式对软件测...
- 于磊傅常顺
- 关键词：软件测试过程管理SPC
- 文献传递
- 成本影响的互联网拓扑幂律机理分析
- 2011年
- 发现互联网拓扑的内在机理是认识互联网的必然过程,是在更高层次上开发利用互联网的基础。BA模型基于成长性和择优连接使得演化的拓扑具有幂律特性,然而其基于掌握全局节点度的假设前提不符合互联网建设的实际,从而无法全面解释互联网拓扑幂律的产生机理。从互联网建设的成本角度来考察其建设实际过程,将互联网拓扑建设成本分为连接决策成本和连接直接成本,分析了两种成本影响下的互联网拓扑产生过程,提出了"局部成长性"和"弹性择优连接"两个相对弱化的产生机理。仿真结果表明,这两个产生机理能较好的解释互联网拓扑幂律特性,解析分析也表明该机理的合理性。
- 刘建强兰巨龙于磊
- 关键词：互联网拓扑
- 基于组播访问管理协议的安全组播访问控制方案设计
- 2011年
- 提出了一个基于Internet组管理协议的安全组播接入控制方案。边缘路由器拦截用户申请加入互联网组管理协议组播组的请求数据包,将组播传送到管理中心;组播管理中心处理该请求并返回相关信息;边缘路由器的组播管理中心根据决策信息处理的相应要求,决定是否允许用户加入组播组,以实现多播的访问控制。该方案克服了传统的多播路由器不具有的访问控制功能的缺点,该组播管理中心可以减少对路由器的负担,减少计算开销,存储开销和通信成本,提高性能和安全性。
- 郭明姚远颜峻于磊
- 关键词：组播访问控制
- MOOC与传统教学的三段混合模式在软件工程课程中的应用被引量：6
- 2016年
- MOOC与传统教学的三段混合模式在软件工程课程中具有广泛的应用。为了汲取MOOC具有国际著名高校的著名课程、课程内容优质的优势,应将其有效、合理的融入传统的教学模式中,渗入课堂教学、实践教学、学生自主学习三个阶段,从而实现教学形式多样化,激发学生学习兴趣,提升学生学习体验,提高教学质量的效果。
- 李志博于磊杜祝平侯雪梅
- 关键词：软件工程传统教学实践教学
