云南高校图书馆联盟文献共享服务平台- 薛猛

共条记录，以下是1-9

全选清除导出

视图：

排序：

软件测试技术课程混合式在线教学模式的研究与实践被引量：9: 《计算机教育》2021年第8期17-20,25,共5页张艳梅王荣存薛猛袁冠姜淑娟; 中国矿业大学教学研究项目一般项目(2018YB23);江苏省教学改革项目(JGLX19_115)。; 针对软件测试技术课程的特点及传统课堂教学中存在的不足,提出将腾讯课堂、雨课堂、腾讯QQ、慕测平台与软件测试教学整合的思路,介绍混合式教学实践,最后通过调查数据说明教学效果。; 关键词：软件测试技术腾讯课堂雨课堂腾讯QQ 慕测平台教学模式

基于路径分析和信息熵的错误定位方法被引量：7: 《软件学报》2021年第7期2166-2182,共17页姜淑娟张旭王荣存黄颖张艳梅薛猛; 国家自然科学基金(61673384);江苏省自然科学基金(BK20181353);高安全系统的软件开发与验证技术工业信息化部重点实验室开放基金(1015-56XCA18164)。; 软件错误定位是一项耗时又费力的工作,因此如何提高软件错误定位的自动化程度一直以来都是软件工程领域研究的热点.现有的基于频谱的错误定位方法很少利用程序的上下文信息,而程序的上下文信息对错误定位至关重要.针对这一问题,提出了...; 关键词：错误定位上下文信息信息熵路径分析

专业认证背景下的“软件测试技术”课程教学改革探索被引量：9: 《计算机教育》2019年第9期155-158,共4页张艳梅王荣存薛猛鞠小林袁冠姜淑娟; 国家自然科学基金项目（61502497,61673384,71774159）;中国矿业大学教学研究项目一般项目（2018YB23）; 分析软件测试技术课程与专业认证所要求的人才能力培养目标之间不能匹配的现状及存在的问题,从师资培养、内容设置、课程教学平台及评价体系4个角度提出专业认证背景下的软件测试技术课程教学方式,并结合南京大学软件学院开发的慕测平台...; 关键词：软件测试技术专业认证慕测平台教学改革

怀疑度计算公式受偶然正确性影响理论分析: 《电子学报》2018年第6期1365-1370,共6页曹鹤玲姜淑娟靳小波杨卫东薛猛; 国家自然科学基金(No.61602154;No.61673384;No.61502497;No.61601170;No.61772173;No.U1404617);粮食信息处理与控制教育部重点实验室资助项目(No.KFJJ-2016-105);河南省高等学校重点科研项目(No.16A520005);河南工业大学高层次人才基金(No.2015BS006);河南工业大学"省属高校基本科研业务费专项资金"(No.2016QNJH28);河南省科技攻关计划项目(No.172102210216);粮食行业公益性科研专项(No.201413001);河南省高校科技创新团队(No.16IRTSTHN026); 软件错误定位效率可能受诸多因素影响,如测试用例优先级排序、测试用例构成、测试用例覆盖率及偶然正确性测试用例等.主要关注偶然正确性对怀疑度计算公式错误定位效率的影响.为此,提出一个基于函数单调性的理论分析框架来证明30个经典...; 关键词：软件调试错误定位偶然正确性理论证明

一种基于Kalman滤波和粒子群优化的测试数据生成方法被引量：4: 《电子学报》2017年第10期2473-2483,共11页薛猛姜淑娟张争光钱俊彦张艳梅曹鹤玲; 国家自然科学基金(No.61502497,No.61562015,No.61673384,No.61602154);中国博士后科学基金(No.2015M581887);广西可信软件重点实验室研究课题(No.KX201530);南京大学计算机软件新技术国家重点实验室开放课题(No.KFKT2014B19);徐州市科技计划项目(No.KC15SM051);河南省高等学校重点科研项目计划资助(No.16A520005); 为减少进化代数,提高路径覆盖成功率,提出了多邻域Kalman滤波PSO测试数据生成方法.在该方法中将粒子固定划分到不同邻域中,各邻域内指定一个粒子向全局最优粒子学习,其余各粒子向所在邻域中最优粒子学习,而全局最优粒子利用无速度项的简...; 关键词：测试数据生成粒子群优化 KALMAN滤波邻域拓扑

面向有效错误定位的偶然正确性识别方法被引量：1: 《电子学报》2016年第12期3026-3031,共6页曹鹤玲姜淑娟王兴亚薛猛钱俊彦; 国家自然科学基金(No.61202006;No.61340037;No.61502497;No.61562015;No.61602154);广西可信软件重点实验室研究课题资助(No.kx201616;No.kx201532);河南省高等学校重点科研项目计划资助(No.16A520005); 错误定位是软件调试中耗时费力的活动之一.针对偶然正确性影响错误定位效率的问题,提出面向错误定位的偶然正确性识别方法.该方法首先识别偶然正确性元素;然后,挑选"偶然正确性特征元素",使用该特征元素约简程序执行轨迹;在此基础上,建...; 关键词：软件调试错误定位偶然正确性聚类分析

基于模式组合的粒子群优化测试用例生成方法被引量：20: 《软件学报》2016年第4期785-801,共17页姜淑娟王令赛薛猛张艳梅于巧姚慧冉; 国家自然科学基金(61502497);广西可信软件重点实验室研究课题(kx201530);南京大学计算机软件新技术国家重点实验室基金(KFKT2014B19)~~; 适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有的分支.目前的方法是修改程序的源代码,以使...; 关键词：测试用例生成粒子群优化算法交叉算子局部搜索策略

图像编码标准化的发展与现状被引量：2: 《计算机技术与发展》2007年第6期90-93,共4页薛猛刘兵; 中国矿业大学青年科研基金资助项目(OD4488); 图像编码国际标准凝结了过去几十年这一领域的研究成果,对多媒体技术的发展起到了巨大的推动作用。介绍了静态和运动图像压缩编码国际标准的发展过程中出现的一系列标准,特别是JPEG2000、MPEG4以及H.26L,总结了这些国际标准的压缩效果...; 关键词：图像编码 DCT JPEG2000 MPEG4 H.26L

图像编码技术及其标准化被引量：4: 《计算机工程与设计》2004年第9期1476-1478,1491,共4页薛猛张虹刘兵; 计算机软件新技术国家重点实验室基金(A200309); 图像压缩编码是多媒体技术的关键技术之一。随着压缩编码技术的发展和广泛应用,提出了一些新的方法:小波变换、分形压缩等。国际标准也不断将这些新方法应用到其中。在重点介绍小波变换和分形压缩方法并对其进行分析评价的基础上,介绍...; 关键词：图像编码分形压缩图像压缩编码 JPEG2000 MPEG4 小波变换压缩编码技术多媒体技术国际标准标准化

全选清除导出

共1页<1>

薛猛