HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 数组越界论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
面向故障的软件测试方法研究第6-8页
关键词: 静态测试  存储泄漏  空指针引用  数组越界  
2004年第02期
数组越界软件测试系统的设计与实现第27-30页
关键词: 数组越界  静态分析  控制流图  路径测试  
2004年第02期
基于整型区间集的数组越界静态自动测试方法研究第2222-2227页
关键词: 软件测试  整型区间集  静态分析  数组越界  语法树  
2006年第12期 《小型微型计算机系统》
数组越界的故障模型及其检测方法研究第145-147页
关键词: 软件测试  数组越界  故障模型  
2007年第31期 《科技与创新》
数组越界的静态测试分析第70-72页
关键词: 数组越界  静态分析  算法  控制流图  
2006年第03期 《计算机工程》
Java程序中数组越界和空指针错误的静态分析第1376-1379页
关键词: 静态分析工具  java代码  数组越界  空指针  
2009年第05期 《计算机应用》
Java语言中数组越界故障的静态测试研究第87-90页
关键词: 静态测试  数组越界  语法树  控制流图  整型区间  
2008年第27期 《计算机工程与应用》
一种过程内及过程间数组越界故障的静态检测方法第91-95页
关键词: 数组越界  静态分析  过程间  故障检测  源码分析  
2010年第S1期 《计算机研究与发展》
关于在C＋＋中数组申请归还实现的研究与应用第178-178页
关键词: 内存结构  数组越界  
2009年第04期 《福建电脑》
C/C＋＋源代码静态检测系统的设计和实现第28-31页
关键词: 数组越界  存储越界  内存泄露  语法树  
2011年第12期 《电子设计工程》
用代码分析技术检测软件缺陷第2741-2744页
关键词: 代码分析  漏洞检测  内存泄露  数组越界  缓冲区溢出  数据流  
2011年第08期 《计算机工程与设计》
基于Coq的软件安全性验证第96-100页
关键词: 软件安全性  形式化方法  coq  数组越界  空指针应用  缓冲区溢出  
2012年第A02期 《计算机应用》
数组越界的静态分析第7-8页
关键词: 静态测试  数组越界  检测方法  工具  
2012年第04期 《电脑编程技巧与维护》
基于区间集的Cppcheck数组边界缺陷检测第3257-3261页
关键词: cppcheck  抽象区间集  数组越界  变量  表达式  
2013年第11期 《计算机应用》
安全视觉下C／C＋＋程序漏洞的分类研究第95-98页
关键词: 安全漏洞  分类研究  数组越界  内存泄露  
2013年第05期 《计算机与现代化》
C程序数组越界的运行时验证技术研究与实现第190-195页
关键词: 数组越界  运行时验证  程序插桩  
2015年第11期 《计算机工程与应用》
期刊导航