谈利群

作品数:7被引量:28H指数:3
导出分析报告
供职机构:北京图形研究所更多>>
发文主题:软件测试抽象语法树语法树缓冲区溢出控制流图更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《小型微型计算机系统》《电脑开发与应用》《计算机技术与发展》《信息网络安全》更多>>
所获基金:国家高技术研究发展计划中国人民解放军总装备部“十五”预研基金中国博士后科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-7
视图:
排序:
缓冲区溢出的软件安全性测试技术研究被引量:1
《信息网络安全》2012年第8期182-184,共3页高传平 赵利军 谈利群 
缓冲区溢出作为系统或程序自身存在的一种漏洞对系统或软件安全造成了潜在威胁,黑客可以轻易利用这一漏洞进行攻击,以达到控制系统或窃取秘密的目的。据统计,利用缓冲区溢出漏洞进行的攻击已经占到了互联网攻击总数的一半以上。文章在...
关键词:缓冲区溢出 故障模型 抽象语法树 控制流图 
基于用户业务的系统软件测试技术研究
《电脑开发与应用》2010年第2期55-57,共3页高传平 谈利群 赵利军 
软件测试不仅是提高软件质量及可靠性的重要手段,也是软件鉴定验收的重要依据。同小规模软件相比,大型软件系统往往包含多个软件配置项,涵盖多种软件技术,涉及多项用户业务,系统定型或鉴定测试不仅要考核软件是否满足研制总要求或系统...
关键词:软件测试 业务流 软件需求 测试用例 
基于模糊综合的信息安全风险评估被引量:11
《计算机技术与发展》2010年第1期189-192,共4页黄松 夏洪亚 谈利群 
国家高技术研究发展计划(2009AA01Z402)
随着社会的持续发展和国家信息化步伐的加快,信息安全问题对国家安全的影响日益增加与突出。为了对安全性进行高效地评估,达到提高信息系统安全性的目的,文中提出了一种基于模糊综合评判理论的信息系统安全风险评估模型和方法。模型采...
关键词:信息安全 模糊综合 评估 
基于数据处理模型的软件测试方法被引量:1
《计算机应用》2009年第10期2827-2829,共3页孙佩刚 谈利群 赵利军 吴景坡 
博士后基金资助项目(20070420580)
针对传统测试方法运用于数据处理软件测试时的不足,提出了一种基于数据处理模型的软件测试方法;为有效避免测试数据选取时的盲目性,提出了基于图解化的测试数据选取方法;将上述方法运用于坐标转换软件测试中,结果表明所提出的方法是一...
关键词:软件测试 数据处理模型 测试数据选取 坐标转换 
基于抽象语法树的代码静态自动测试方法研究被引量:11
《北京化工大学学报(自然科学版)》2007年第A01期25-29,共5页高传平 谈利群 宫云战 
软件测试是排除软件故障,提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑,软件测试分为静态测试和动态测试。动态测试通过输入测试数据,动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误,但对于...
关键词:软件测试 静态分析 故障 故障模型 语法树 
基于整型区间集的数组越界静态自动测试方法研究被引量:3
《小型微型计算机系统》2006年第12期2222-2227,共6页高传平 谈利群 宫云战 张威 
总装备部十五预研基金项目(41315050107)资助.
数组越界是软件中普遍存在的一种故障类型,并对软件安全造成了潜在的威胁.传统的故障检测使用程序插装的方法,并相应的以编译优化技术来排除掉多余的数组边界检查.这种检测方法不仅降低了程序运行效率,增加了开销,而且往往不能对故障进...
关键词:软件测试 整型区间集 静态分析 数组越界 语法树 
软件测试工具的问题及解决方法被引量:1
《装甲兵工程学院学报》2004年第2期87-90,共4页谈利群  曹文静  刘予  
讨论了当前软件测试工具的关键技术,并指出了其弱点,介绍了如何基于.NET技术对这些弱点进行相应的改善.
关键词:软件测试 软件自动测试工具 .NET Framework应用 
检索报告 对象比较 聚类工具 使用帮助 返回顶部