国家自然科学基金(91018002)

作品数：15被引量：48H指数：4
导出分析报告
相关作者：宫云战王雅文金大海黄俊飞杨朝红更多>>
相关机构：北京邮电大学装甲兵工程学院更多>>
相关期刊：《清华大学学报（自然科学版）》《计算机辅助设计与图形学学报》《北京邮电大学学报》《计算机研究与发展》更多>>
相关主题：软件测试BPEL控制流图不可达路径数据流分析更多>>
相关领域：自动化与计算机技术自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
覆盖测试中基于回溯法的路径选择被引量：4
《软件》2014年第11期9-13,共5页俞濛 黄俊飞 
国家"八六三"高技术研究发展计划基金(2007AA010302);国家自然科学基金(91018002)
单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高自动化单元测试的覆盖率,本文提出了一种面向目标覆盖元素,基于回溯法遍历程序控制流图,选择可达路径的方法。该方法从函数入口节点开始,进行深度优先的路径遍历,以当前的部分路径...
关键词：软件测试 单元测试 区间运算 路径选择 不可达路径 
静态缺陷检测中的误报消除技术研究被引量：7
《计算机研究与发展》2012年第9期1822-1831,共10页赵云山 宫云战 周傲 王前 周虹伯 
国家"八六三"高技术研究发展计划基金项目(2012AA010101;2009AA012404);国家自然科学基金项目(91018002)
误报率是衡量静态缺陷检测工具的重要指标.在对比分析了各种误报消除技术的基础上,提出了一种前向数据流分析结合逆向约束搜索技术的误报消除方法:前向数据流分析的保守数据流解可以用于缺陷状态迭代,并得到初始的缺陷检测结果;根据缺...
关键词：误报 数据流分析 抽象解释 约束求解 符号执行 
一种基于代码静态分析的缓冲区溢出检测算法被引量：16
《计算机研究与发展》2012年第4期839-845,共7页王雅文 姚欣洪 宫云战 杨朝红 
国家"八六三"高技术研究发展计划基金项目(2009AA012404);国家自然科学基金项目(91018002)
缓冲区溢出目前已成为最常见的软件安全漏洞之一,从源代码形式来看,常见的缓冲区溢出漏洞主要有两种类型:数据拷贝和格式化字符串造成的缓冲区溢出.分析了常见缓冲区溢出漏洞发生的原因,给出了格式化字符串存储长度的计算方法,介绍了一...
关键词：安全漏洞 缓冲区溢出 静态分析 区间运算 函数摘要 
死路径语义下BPEL路径敏感性缺陷分析
《软件学报》2012年第3期504-516,共13页杨学红 黄俊飞 宫云战 
国家自然科学基金(91018002);国家高技术研究发展计划(863)(2009AA012404)
软件缺陷是衡量软件测试充分性的一项重要指标,为了提高基于BPEL的组合Web服务流程的可靠性和健壮性,提出了一种死路径语义下路径敏感的缺陷检测方法.死路径是BPEL提供的特殊语义,不具有任何执行信息,但是可以连接两个可执行路径片段....
关键词：BPEL 死路径清除 路径敏感分析 数据流分析 缺陷检测 
基于内存建模的复杂结构类型测试数据自动生成方法被引量：2
《计算机辅助设计与图形学学报》2012年第2期262-270,共9页李飞宇 宫云战 王雅文 
国家自然科学基金(91018002);国家"八六三"高技术研究发展计划(2009AA012404)
针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义...
关键词：路径测试数据生成 复杂结构类型 别名 符号执行 内存建模 
BPEL流程间死锁检测研究
《计算机学报》2011年第12期2427-2434,共8页黄俊飞 杨学红 宫云战 
国家自然科学基金(91018002)资助~~
BPEL流程的正确性问题越来越受到广泛关注.作为一种支持并发机制的Web服务组合语言,不正确地使用并发和同步操作或不正确的交互都可能会使单一流程内部或流程间产生死锁.死锁问题是一类常见的并发缺陷,可能严重影响系统的可靠性与可用性...
关键词：BPEL 死锁 流程摘要 组合服务 
测试用例自动生成中约束求解策略的选择
《内蒙古大学学报（自然科学版）》2011年第5期540-546,共7页赖思佳 王雅文 宫云战 
国家自然科学基金项目(91018002)
在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,...
关键词：软件测试 测试用例 约束求解 覆盖测试 
基于源代码的内存泄漏静态分析方法被引量：4
《内蒙古大学学报（自然科学版）》2011年第5期515-520,共6页甘红星 金大海 宫云战 
国家"八六三"高技术研究发展计划基金重点项目(2007AA010302);国家"八六三"高技术研究发展计划基金项目(2009AA012404);国家自然科学基金资助项目(91018002)
在很多大型C、C++程序中,内存泄漏是一种十分常见的问题.内存泄漏是很难识别的,因为它唯一的特征就是内存消耗的增长.对内存泄漏产生的原因进行了分析,并且提出了一种基于可执行源码的静态分析方法.对可执行源码进行预处理,生成抽象语...
关键词：内存泄漏 控制流图 抽象语法树 可达路径 
Java中空指针引用故障的静态检测方法被引量：5
《清华大学学报（自然科学版）》2011年第S1期1509-1514,共6页杨睿 金大海 宫云战 马跃 
国家"八六三"高技术项目(2009AA012404);国家自然科学基金项目(91018002)
空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形...
关键词：软件测试 静态分析 空指针引用故障 状态机 控制流图 
单元覆盖测试中基于区间运算的路径选择被引量：3
《清华大学学报（自然科学版）》2011年第S1期1402-1406,1413,共6页王思岚 王雅文 宫云战 
国家"八六三"高技术项目(2009AA01Z404);国家自然科学基金资助项目(91018002)
单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高单元自动覆盖测试的覆盖率,该文提出了一种面向目标覆盖元素的可达路径选择方法。该方法首先选定一段从函数入口到目标覆盖元素的半条路径,然后根据区间运算判定该路径的不可达性并...
关键词：软件测试 单元测试 区间运算 目标覆盖元素 控制树 路径选择 不可达路径 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部