您的位置: 专家智库 > >

薛猛

作品数:17 被引量:58H指数:5
供职机构:中国矿业大学计算机科学与技术学院更多>>
发文基金:国家自然科学基金国家重点实验室开放基金江苏省高等教育教改立项研究课题更多>>
相关领域:自动化与计算机技术文化科学电子电信交通运输工程更多>>

文献类型

  • 9篇期刊文章
  • 4篇专利
  • 3篇会议论文
  • 1篇科技成果

领域

  • 9篇自动化与计算...
  • 4篇文化科学
  • 3篇电子电信
  • 1篇交通运输工程

主题

  • 4篇教学
  • 3篇软件测试
  • 2篇代码
  • 2篇序列生成方法
  • 2篇寻优
  • 2篇源代码
  • 2篇软件测试技术
  • 2篇软件回归测试
  • 2篇图像
  • 2篇图像编码
  • 2篇欧式距离
  • 2篇种群
  • 2篇子群
  • 2篇粒子群
  • 2篇粒子群优化
  • 2篇列生成
  • 2篇面向对象
  • 2篇面向对象系统
  • 2篇教育
  • 2篇课程

机构

  • 17篇中国矿业大学
  • 3篇桂林电子科技...
  • 3篇河南工业大学
  • 1篇南京大学
  • 1篇教育部
  • 1篇南通大学
  • 1篇工业和信息化...
  • 1篇计算机软件新...

作者

  • 17篇薛猛
  • 12篇姜淑娟
  • 9篇张艳梅
  • 7篇王荣存
  • 3篇曹鹤玲
  • 3篇王兴亚
  • 3篇刘兵
  • 2篇袁冠
  • 2篇张磊
  • 2篇张虹
  • 2篇钱俊彦
  • 1篇张辰
  • 1篇梁睿
  • 1篇马草原
  • 1篇李政伟
  • 1篇王崇林
  • 1篇张栋梁
  • 1篇刘厚泉
  • 1篇杨卫东
  • 1篇王智

传媒

  • 3篇电子学报
  • 2篇软件学报
  • 2篇计算机教育
  • 2篇中国矿业大学...
  • 1篇计算机工程与...
  • 1篇计算机技术与...

年份

  • 2篇2021
  • 1篇2020
  • 1篇2019
  • 2篇2018
  • 2篇2017
  • 3篇2016
  • 2篇2011
  • 2篇2007
  • 1篇2004
  • 1篇2003
17 条 记 录,以下是 1-10
排序方式:
图像编码标准化的发展与现状被引量:2
2007年
图像编码国际标准凝结了过去几十年这一领域的研究成果,对多媒体技术的发展起到了巨大的推动作用。介绍了静态和运动图像压缩编码国际标准的发展过程中出现的一系列标准,特别是JPEG2000、MPEG4以及H.26L,总结了这些国际标准的压缩效果、应用场合及相应的压缩编码算法,分析讨论了这些新标准的特点和优越性。从JPEG到JPEG2000、从MPEG-1到MPEG-4、从H.261到H.26L,标准化工作取得了长足的进展,各种算法的竞争也越见激烈。
薛猛刘兵
关键词:图像编码DCTJPEG2000MPEG4H.26L
一种类集成测试序列生成方法
本发明提供一种类集成测试序列生成方法,包括下列步骤:1)从面向对象系统的源代码获取所有类及类间关系;2)从面向对象系统的UML设计文档中的类图获得类优先级表;3)通过遗传算法自动生成类集成测试序列。重复该过程,最后得到一...
张艳梅姜淑娟张悦宁薛猛王荣存
文献传递
一种基于Kalman滤波和粒子群优化的测试数据生成方法被引量:4
2017年
为减少进化代数,提高路径覆盖成功率,提出了多邻域Kalman滤波PSO测试数据生成方法.在该方法中将粒子固定划分到不同邻域中,各邻域内指定一个粒子向全局最优粒子学习,其余各粒子向所在邻域中最优粒子学习,而全局最优粒子利用无速度项的简化PSO进化.在此过程中,除全局最优粒子外的各粒子利用Kalman滤波方程更新粒子的位置.实验表明,相较于基本PSO和其他PSO方法,即使是覆盖困难的路径,本文方法也具有进化代数少、路径覆盖成功率高及性能稳定的特点.
薛猛姜淑娟张争光钱俊彦张艳梅曹鹤玲
关键词:测试数据生成粒子群优化KALMAN滤波
软件测试技术课程混合式在线教学模式的研究与实践被引量:9
2021年
针对软件测试技术课程的特点及传统课堂教学中存在的不足,提出将腾讯课堂、雨课堂、腾讯QQ、慕测平台与软件测试教学整合的思路,介绍混合式教学实践,最后通过调查数据说明教学效果。
张艳梅王荣存薛猛袁冠姜淑娟
关键词:软件测试技术腾讯QQ教学模式
一种基于分支覆盖与相似性的回归测试用例优先排序方法
本发明提供一种基于分支覆盖与相似性的回归测试用例优先排序方法,包括下列步骤:1)收集测试用例运行时的剖面信息,并构造分支覆盖向量;2)通过欧式距离函数计算成对的向量之间的距离,并构造测试用例间的相异度矩阵;3)以测试用例...
王荣存姜淑娟张磊张艳梅薛猛王兴亚
文献传递
双语教学中使用英文原版教材的点滴体会
高校本科专业课程采用双语教学是高校教育改革的一个方向.本文以'程序设计语言原理'课程为例,分别从教材的选择、课堂教学、考核方式等方面对使用英文原版教材进行了讨论。文章指出,对于不同英语水平的学生应差别对待,基础差的要以中...
姜淑娟刘兵张辰薛猛
关键词:高等教育专业课程双语教学英文原版教材
文献传递
面向有效错误定位的偶然正确性识别方法被引量:1
2016年
错误定位是软件调试中耗时费力的活动之一.针对偶然正确性影响错误定位效率的问题,提出面向错误定位的偶然正确性识别方法.该方法首先识别偶然正确性元素;然后,挑选"偶然正确性特征元素",使用该特征元素约简程序执行轨迹;在此基础上,建立基于模糊c均值聚类的偶然正确性识别模型,将其结果应用于错误定位.为验证该方法的有效性,基于3组测试程序开展偶然正确性识别,并将其结果应用于Tarantula等4种错误定位方法.实验结果表明,与基于k-means聚类的偶然正确性识别方法相比,该方法在偶然正确性识别方面具有较低的误报率和漏报率,并且更能提高错误定位的效率.
曹鹤玲姜淑娟王兴亚薛猛钱俊彦
关键词:聚类分析
一种基于分支覆盖与相似性的回归测试用例优先排序方法
本发明提供一种基于分支覆盖与相似性的回归测试用例优先排序方法,包括下列步骤:1)收集测试用例运行时的剖面信息,并构造分支覆盖向量;2)通过欧式距离函数计算成对的向量之间的距离,并构造测试用例间的相异度矩阵;3)以测试用例...
王荣存姜淑娟张磊张艳梅薛猛王兴亚
基于模式组合的粒子群优化测试用例生成方法被引量:20
2016年
适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有的分支.目前的方法是修改程序的源代码,以使每个分支得到评价.但修改源代码不但可能影响程序的原有结构、引入错误,而且很难实现自动化.针对这一问题,提出一种基于模式组合的粒子群优化测试用例生成方法.首先,将分支条件定义为"模式",即,一类具有相同特征且能提高适应度值的个体集合,并改变其分支函数的插桩方式,可解决分支条件不完全评价的问题;然后,设计一种新的交叉算子,寻找到所有使模式的分支函数值最小的个体,将这些个体中含有模式的部分通过交叉算子组合到一个个体上,既可防止模式在进化过程中被破坏,又可因多种模式的组合而提高个体的适应度值;最后,使用局部搜索策略对种群中的最优个体进行搜索,提高粒子群优化算法的局部搜索精度,进一步提高测试用例生成效率.为了评价该方法的有效性,基于一组基准程序和开源程序进行实验.实验结果表明:对于含有模式的程序,该测试用例生成方法与已有方法相比,在覆盖率和平均进化代数上均有明显优势.
姜淑娟王令赛薛猛张艳梅于巧姚慧冉
关键词:测试用例生成粒子群优化算法交叉算子局部搜索策略
基于路径分析和信息熵的错误定位方法被引量:6
2021年
软件错误定位是一项耗时又费力的工作,因此如何提高软件错误定位的自动化程度一直以来都是软件工程领域研究的热点.现有的基于频谱的错误定位方法很少利用程序的上下文信息,而程序的上下文信息对错误定位至关重要.针对这一问题,提出了一种基于路径分析和信息熵的错误定位方法FLPI.该方法在基于频谱信息技术的基础上,通过对所有执行路径中的数据依赖关系进行分析来引入执行上下文信息,同时利用信息熵理论将测试事件信息引入到可疑语句的怀疑度计算公式中,以提高错误定位的精度和效率.为了评价该方法的有效性,基于一组基准程序和开源程序进行实验验证.实验结果表明,所提出的方法FLPI能够有效地提高错误定位的精度和效率.
姜淑娟张旭王荣存王荣存张艳梅黄颖
关键词:上下文信息信息熵
共2页<12>
聚类工具0