中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共23条，第1-10条

帮助

条数/页：排序方式：
	软件结构化测试数据生成技术学位论文 OAI收割硕士, 北京: 中国科学院大学, 2014 吴添勇 \| 收藏 \| 浏览/下载：34/0 \| 提交时间：2014/05/29 软件测试结构化测试测试数据生成扩展有限状态机修改的条件/判断覆盖
	基于粒子群优化的测试数据生成及其实证分析期刊论文 OAI收割计算机研究与发展, 2014, 卷号: 51, 期号: 4, 页码: 824-837 毛澄映; 喻新欣; 薛云志 \| 收藏 \| 浏览/下载：38/0 \| 提交时间：2014/12/16 结构性测试测试数据生成分支覆盖搜索算法粒子群优化 structural testing test data generation branch coverage searching algorithm particle swarm optimization (PSO)
	空间相机仿真测试数据自动判读系统的设计期刊论文 OAI收割计算机测量与控制, 2010, 期号: 6 谢明明; 沈湘衡; 贺庚贤; 胡剑虹收藏 \| 浏览/下载：20/0 \| 提交时间：2012/09/25 空间相机测试数据自动判读判读规则库
	面向路径的测试数据生成框架及应用期刊论文 OAI收割微计算机信息, 2010, 期号: 6, 页码: 190-192 作者: 贾松涛; 张红卫收藏 \| 浏览/下载：13/0 \| 提交时间：2012/11/29 软件测试测试数据自动生成面向路径的测试迭代松弛法
	动态更新参考切片的IP核测试数据压缩方法期刊论文 OAI收割计算机辅助设计与图形学学报, 2010, 卷号: 000, 期号: 011, 页码: 2013 作者: 刘军; 韩银和; 李晓维 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2023/12/04 测试数据压缩扫描切片参考切片压缩率相容
	C程序测试数据生成与死循环检测研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2009 阮辉 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/03/17 自动软件测试程序分析测试数据生成死循环
	基于路径分析的死循环检测期刊论文 OAI收割计算机学报, 2009, 卷号: 32, 期号: 9, 页码: 1750-1758 阮辉; 严俊; 张健 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/08/11 死循环循环展开路径可行性测试数据
	系统级芯片的测试与可测性设计方法研究学位论文 OAI收割沈阳: 中国科学院沈阳自动化研究所, 2008 作者: 闫永志 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2010/11/29 Soc测试 Dft 测试数据压缩测试功耗测试调度
	国产守时型氢钟性能的初步测试会议论文 OAI收割第三届全国虚拟仪器大会, 中国广西桂林, 2008-12-01 董绍武收藏 \| 浏览/下载：13/0 \| 提交时间：2012/10/19 守时原子钟稳定度\|Abstract 原子钟是标准时间产生与保持中的关键设备。本文介绍了上海天文台研制的守时型氢原子钟在中国科学院国家授时中心的初步测试结果对国产氢钟的守时能力进行了技术评估。从测试数据来看国产氢钟在高精密守时应用中取得了可喜的成绩但是要真正替代进口满足守时工作关于稳定性可靠性的要求还需要作进一步改进。