国家高技术研究发展计划(2012AA011201)

作品数：14被引量：66H指数：5
导出分析报告
相关作者：宫云战王雅文金大海王怀民黄俊飞更多>>
相关机构：北京邮电大学国防科学技术大学中国科学院四川大学更多>>
相关期刊：《计算机教育》《电子科技大学学报》《电子学报》《计算机辅助设计与图形学学报》更多>>
相关主题：软件测试测试用例LINUX平台PARETO最优NSGA-II更多>>
相关领域：自动化与计算机技术航空宇航科学技术电子电信文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
测试用例自动生成中等式约束处理算法
《计算机辅助设计与图形学学报》2017年第9期1740-1749,共10页张博 邢颖 宫云战 贾薇 
国家"八六三"高技术研究发展计划(2012AA011201);国家自然科学基金(91318301)
为了解决测试用例自动生成中等式约束的求解问题,提出一种加入等式处理策略的分支限界搜索算法.首先将线性代数中判定线性方程组是否有解的方法引入分支限界测试用例生成框架之中;然后在已有算法模型的基础上提出集成等式处理分支限界...
关键词：约束满足问题 线性代数 不可达路径 分支限界 
基于有向感知模型的无线传感器网络节点部署被引量：8
《北京邮电大学学报》2017年第S1期39-42,共4页宋晓莉 宫云战 金大海 李强懿 郑瑞娟 张明川 
国家高技术研究发展计划(863计划)项目(2012AA011201);国家自然科学基金重大研究计划项目(91318301);国家自然科学基金项目(61202080;U1204614;U1404611);中国博士后科学基金项目(2015M581032)
针对随机部署的有向传感器节点,建立基于有向传感器节点的感知概率模型.采用分布式算法,通过节点间的联合感知概率移动有向传感器节点,提高待监测区域内目标点被感知到的概率.本文提出可移动的节点部署算法,该算法使用较少的节点实现对...
关键词：无线传感器网络 有向感知模型 节点部署 
面向C语言的故障注入平台被引量：1
《北京邮电大学学报》2016年第3期95-99,共5页钱茛南 宫云战 王雅文 邢颖 
国家高技术研究发展计划(863计划)项目(2012AA011201);中国博士后科学基金项目(2015M581032)
针对现有面向C语言的故障注入工具功能上的不足,基于程序变异技术设计并实现了一个面向C语言的故障注入平台.平台由故障注入、故障模型、批量执行和结果分析4个模块组成,可自动完成故障注入和执行的整个流程.使用实际开源项目中的程序...
关键词：故障注入 故障模型 变异算子 
自动测试用例生成中非四则运算的等价变换方法
《北京邮电大学学报》2015年第4期63-67,共5页李峰 黄俊飞 宫云战 
国家自然科学基金项目(61202080;91318301);国家高技术研究发展计划(863计划)项目(2012AA011201)
C工程中的非四则运算在所有数值运算中出现的比例为23%.在使用搜索技术进行测试用例生成时,非四则运算的求解效率很低,因为非四则运算没有对应的区间运算法则以提高搜索效率.为此,提出一种等价变换方法,将非四则运算分解为多个四则运算...
关键词：测试用例生成 非四则运算 区间运算 等价变换 
分布式约束优化问题研究及其进展被引量：4
《计算机学报》2015年第8期1656-1671,共16页李小玲 王怀民 郭长国 丁博 李小勇 
国家"九七三"重点基础研究发展规划项目基金(2011CB3022601);国家自然科学基金重大项目(90818028;6903043;61202117);国家"八六三"高技术研究发展计划项目基金(2012AA011201)资助~~
多Agent协作过程中的许多问题都可以被抽象为分布式约束优化问题(DCOP),如规划、行程安排、分布式控制和资源分配等.这些问题关注于如何通过协调多Agent之间的相互决定,以达到一个全局最优决策的目的.相应地,分布式约束优化算法是用来...
关键词：分布式约束优化 AGENT 人工智能 分布式约束优化算法 
基于频谱的缺陷定位技术:逆向切片优于执行切片
《后勤工程学院学报》2015年第3期1-13,共13页雷晏 毛晓光 陈宗岳 
国家自然科学基金项目(61379054;91118007);国家863计划项目(2012AA011201)
一般情况下,缺陷定位技术的应用前提是必须存在测试预言,以判断测试用例的运行结果是失败或者成功,否则将无法使用。然而,在许多实际情况下,测试预言不存在或者很难定义,这就是著名的"预言家难题"。为了应对"预言家难题",利用蜕变测试,...
关键词：缺陷定位 程序谱 执行切片 逆向切片 测试预言 
软件工程系列课程实践教学平台Trustie被引量：7
《计算机教育》2014年第23期53-56,共4页毛新军 尹刚 王怀民 
国家863课题(2012AA011201)
分析软件工程系列课程教学对课程实践教学支撑平台的要求,探讨开源软件以及软件众包给软件工程实践教学带来的启示,介绍Trustie平台的理念、功能以及基于Trustie的软件工程课程实践教学。
关键词：软件工程 实践教学 Trustie 资源共享 协同开发 
基于区域内存模型的空指针引用缺陷检测被引量：8
《电子学报》2014年第9期1744-1752,共9页董玉坤 宫云战 金大海 
国家自然科学基金(No.91318301;No.61202080);国家863高技术研究发展计划(No.2012AA011201)
为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化三值逻辑(Region-based Symbolic Three-Valued Logic,RSTVL),RSTVL能够描述C程序运行时内存中数据结构...
关键词：空指针引用 内存模型 静态分析 函数摘要 缺陷检测 
进港飞机调度多目标优化问题的改进NSGA-II算法被引量：12
《电子科技大学学报》2014年第1期66-70,共5页冯翔 杨红雨 
国家863项目(2012AA011201)
基于多目标优化问题的Pareto最优解概念,提出了一种求解非劣解集的改进非支配排序遗传算法(NSGA-II),用于解决多条跑道情况下进港航班调度问题,要求航班总延误时间平方和及总延误成本两个目标最少。重点讨论了算法实现中的基于最近邻思...
关键词：启发式交叉算子 多目标优化 NSGA-II PARETO最优 进港飞机调度 
基于缓存估算模型的代码测试系统性能优化方法被引量：4
《软件》2013年第12期10-13,共4页徐教显 王雅文 
国家高技术研究发展计划(863计划)(No.2012AA011201);国家自然科学基金资助项目(No.61202080);计算机体系结构国家重点实验室开放课题(No.CARCH201201)
为了解决代码测试系统测试C项目的时间开销较大这一问题,本文提出了一种基于缓存估算模型的性能优化方法。该方法向代码测试系统中引入了缓存技术,并且建立了缓存规模估算模型。不相似的C项目应用该模型计算出的缓存规模是不一样的。使...
关键词：软件测试 缓存规模估算 文件缓存 动态 性能优化 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部