机构

• 软件研究所 [7]

采集方式

• OAI收割 [7]

内容类型

• 学位论文 [5]
• 期刊论文 [2]

发表日期

• 2016 [1]
• 2015 [1]
• 2011 [1]
• 2009 [2]
• 2007 [2]

学科主题

• 计算机应用 [1]
• 计算机软件::计算机... [1]

筛选

浏览/检索结果: 共7条，第1-7条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 缺陷修复回归测试中失效测试的预测研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 唐新烨   |  收藏  |  浏览/下载：7/0  |  提交时间：2016/06/04 回归测试  源代码变更影响分析  软件库挖掘  静态程序分析   大数据分析组件开发与管理工具的设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2015 陈茜   |  收藏  |  浏览/下载：13/0  |  提交时间：2015/06/26 大数据分析  组件管理  代码生成  静态代码分析  Soot   基于样本程序和规则库的代码自动化检查工具 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2011 王致富   |  收藏  |  浏览/下载：10/0  |  提交时间：2011/07/04 代码自动化检查+样本程序+衍生程序+行业应用软件+程序静态分析   软件属性保障中的源代码静态分析技术研究 学位论文  OAI收割 硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009 -   |  收藏  |  浏览/下载：14/0  |  提交时间：2009/06/11 源代码静态分析   一种基于自修改代码技术的软件保护方法 期刊论文  OAI收割 中国科学院研究生院学报, 2009, 卷号: 26, 期号: 5 王祥根; 司端锋; 冯登国; 苏璞睿   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/05/27 自修改代码  软件保护  动态分析  静态分析   面向软件安全缺陷的静态代码分析及防御 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 罗宇翔 收藏  |  浏览/下载：17/0  |  提交时间：2011/03/17 缺陷检查  静态代码分析  缺陷定义语言  安全防御  地址空间随机化   基于抽象解释的代码迷惑有效性比较框架 期刊论文  OAI收割 计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云 收藏  |  浏览/下载：69/6  |  提交时间：2011/07/01 抽象解释  程序变换  程序分析  代码迷惑  压平算法  抽象解释  代码迷惑  有效性证明  比较框架  非语义  算法  实例描述  静态分析  变换技术  保护软件  应用  剖析  逆向  环境  程序Algorithms  Computer software  Mobile agents  Program diagnostics  Security of data  Semantics  Static analysis