机构

• 软件研究所 [2]
• 长春光学精密机械与物... [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2008 [1]
• 2007 [1]
• 2000 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序作者升序作者降序题名升序题名降序发表日期升序发表日期降序 基于价值的软件测试工作量估算模型 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 544-546,682 万郁香; 舒风笛   |  收藏  |  浏览/下载：28/0  |  提交时间：2011/06/10 基于价值分析  软件测试  估算模型  缺陷发现效率  创造价值  工作量  测试过程  缺陷  活动  测试阶段  测试计划  可用性  直观  证明  盈利  应用  信息  描述  解释  构造   基于抽象解释的代码迷惑有效性比较框架 期刊论文  OAI收割 计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云 收藏  |  浏览/下载：84/6  |  提交时间：2011/07/01 抽象解释  程序变换  程序分析  代码迷惑  压平算法  抽象解释  代码迷惑  有效性证明  比较框架  非语义  算法  实例描述  静态分析  变换技术  保护软件  应用  剖析  逆向  环境  程序Algorithms  Computer software  Mobile agents  Program diagnostics  Security of data  Semantics  Static analysis   利用CAD图形交换文件实现激光直写设备的运动控制 期刊论文  OAI收割 光学精密工程, 2000, 期号: 02, 页码: 174-177 熊木地; 谢朝; 肖文礼; 邢忠宝 收藏  |  浏览/下载：16/0  |  提交时间：2013/03/11 图形交换文件  运动控制代码  解释软件