国家自然科学基金(61050003)

作品数：25被引量：83H指数：6
导出分析报告
相关作者：王曙燕孙家泽贾冀婷潘烁王欢更多>>
相关机构：西安邮电大学西安邮电学院更多>>
相关期刊：《计算机应用与软件》《计算机应用研究》《计算机应用》《西安邮电大学学报》更多>>
相关主题：粒子群优化算法测试用例测试用例生成蚁群算法测试数据更多>>
相关领域：自动化与计算机技术理学文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于改进异质协同演化的测试用例生成研究被引量：1
《计算机应用研究》2016年第6期1767-1770,共4页翁芬 王曙燕 孙家泽 
国家自然科学基金资助项目(61050003);陕西省教育厅资助项目(11JK1037)
路径搜索是测试用例自动生成的重要环节。针对遗传算法在测试用例生成中的早熟缺陷,提出一种改进的异质协同演化算法,将种群划分成两个子种群,分别采用遗传子群和差分子群进行演化,在演化的过程中两个子种群相互协作,通过改进迁移间隔...
关键词：路径搜索 测试用例 遗传算法 差分进化算法 协同演化 
基于加权D-S的软件易用性评估模型被引量：7
《计算机工程与设计》2016年第1期118-122,184,共6页李金玉 王曙燕 孙家泽 
国家自然科学基金项目(61050003);陕西省教育厅自然科学基金项目(11JK1037);西安邮电大学研究生创新基金项目(CXL2014-24)
在目前软件的易用性评估中,评估结果往往直接依靠专家主观经验决定,忽略了各属性的重要程度,其准确性和客观性无法得到保证。针对软件易用性评估的问题,提出一种基于加权D-S证据理论合成法则的易用性评估方法。在运用AHP法确定各指标间...
关键词：D-S证据理论 层次分析法 加权证据 数据融合 易用性评估 
基于改进GM(1,1)模型预测软件缺陷率被引量：1
《西安邮电大学学报》2015年第6期69-73,85,共6页王曙燕 黄炜青 孙家泽 
国家自然科学基金资助项目(61050003);陕西省教育厅专项科研计划资助项目(11JK1037)
给出一种基于随机抽样一致性算法(RANSAC)的GM(1,1)改进模型。运用RANSAC筛除异常值,选择估计误差最小的点作为定解条件,结合插值思想对软件缺陷率进行预测。分别对有无奇异值的数据预测,结果表明改进后的模型不仅能够改善异常值对预测...
关键词：灰色模型 随机抽样一致性算法 定解条件 异常值 软件缺陷率 
基于蚁群算法的三三组合测试用例集的生成被引量：8
《计算机应用研究》2015年第11期3328-3331,共4页王小银 王曙燕 孙家泽 
国家自然科学基金资助项目(61050003);陕西省教育厅资助项目(11JK1037;15JK1678)
针对组合软件测试中的三三组合测试用例集生成问题,将动态启发信息加入到蚁群算法搜索过程中,以保持种群的多样性,增强蚂蚁的局部搜索能力,从而克服算法的早熟现象,并提高收敛速度。典型实验结果表明,该算法能够生成精简的测试用例集。
关键词：三三组合 测试用例生成 蚁群算法 测试用例集 
基于Spin的地铁门控制系统建模与验证被引量：1
《西安邮电大学学报》2015年第5期57-61,共5页舒新峰 张炎龙 孙林泽 
国家自然科学基金资助项目(61050003);陕西省教育厅自然科学基金资助项目(11JK1037)
针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验...
关键词：地铁门控制系统 模型检测 SPIN PROMELA 
基于K均值粒子群算法的组合预测模型
《计算机与数字工程》2015年第9期1592-1594,1633,共4页贾冀婷 
国家自然科学基金项目"基于群体智能的组合软件测试优化关键问题研究"(编号:61050003);陕西省科技攻关计划项目"嵌入式软件智能组合测试平台"(编号:2009K08-26);陕西省教育厅自然科学基金项目"基于群体智能的组合测试方法研究"(编号:09JK727)资助
论文在传统预测方法的基础上,提出了一种组合预测模型,该模型通过K均值聚类算法与粒子群算法相结合的混合算法来选择组合预测模型中各单个预测模型的权值。实例分析表明,与基本的粒子群算法、遗传算法的组合预测模型进行比较,论文的基于...
关键词：粒子群优化算法 K均值聚类算法 组合预测模型 权值 
基于UML图依权限有序的Web链接测试用例生成方法被引量：2
《计算机应用》2015年第7期2009-2014,共6页张钜 王曙燕 孙家泽 
国家自然科学基金资助项目(61050003);陕西省教育厅项目(11JK1037)
针对传统Web测试用例生成方法因缺少权限性和时序性考虑而产生的误判断问题,提出结合基于统一建模语言(UML)活动图与状态图,根据不同用户权限及交互活动流程分析Web页面链接而生成测试用例的方法。该方法生成含信息元素的扩展状态图,通...
关键词：统一建模语言 权限性 时序性 WEB测试 链接测试 
基于K均值PSOABC的测试用例自动生成方法被引量：1
《计算机技术与发展》2015年第6期12-15,共4页贾冀婷 
国家自然科学基金资助项目(61050003);陕西省科技攻关计划项目(2009K08-26);陕西省教育自然科学基金项目(09JK727)
软件测试中测试用例自动生成技术对于确保软件质量与降低开发成本都是非常重要的。文中基于K均值聚类算法与粒子群算法和人工蜂群算法相结合的混合算法,提出了一种测试用例自动生成方法,并且对此方法进行了仿真实验。实验结果表明,与基...
关键词：软件测试 测试用例 粒子群优化算法 人工蜂群算法 K均值聚类算法 
基于K-means聚类的组合测试用例生成优化算法被引量：9
《西安邮电大学学报》2015年第1期44-48,共5页冯霞 王曙燕 孙家泽 
国家自然科学基金资助项目(61050003);西安邮电大学青年教师科研基金资助项目(ZL2013-26)
针对组合测试生成的测试用例在程序结构测试中出现冗余的问题,应用K-means聚类算法对基于蚁群算法生成的组合测试用例集进行聚类优化。以白盒测试中的逻辑覆盖为依据,将测试用例程序覆盖差异度作为分类的量化标准,根据测试代价决定聚类...
关键词：K-MEANS聚类算法 蚁群算法 组合测试 白盒测试 
基于云模型的可信软件可靠性度量模型被引量：10
《计算机应用研究》2014年第9期2729-2731,2740,共4页陈思 王曙燕 孙家泽 
国家自然科学基金资助项目(61050003);陕西省教育厅自然科学基金资助项目(12JK0732);西安邮电大学青年基金资助项目(ZL2013-26)
针对可信软件可靠性定性评估问题,将云模型理论与GB/T16260中软件可靠性度量指标相结合,提出了一种基于云模型的软件可靠性度量模型。模型根据可靠性度量指标提取样本信息,通过云发生器生成云模型,运用合并云算法将多个属性云合并为一...
关键词：软件可靠性 度量模型 云模型 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部