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

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

帮助

条数/页：排序方式：
	基于事件处理函数的GUI测试研究学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2015 陈军成 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2015/06/23 GUI 事件处理函数 GUI测试测试覆盖准则测试用例生成约简
	一种基于事件处理函数的GUI测试方法期刊论文 OAI收割软件学报, 2013, 卷号: 24, 期号: 12, 页码: 2830-2842 陈军成; 薛云志; 赵琛 \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2014/12/16 GUI测试事件处理函数测试覆盖准则测试用例生成
	RTL可观测性语句覆盖评估方法期刊论文 OAI收割计算机辅助设计与图形学学报, 2006, 卷号: 18, 期号: 1 作者: 李晓维; 杨修涛; 吕涛; 鲁巍 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/11/22 可观测性覆盖准则模拟
	针对可观测性语句覆盖准则的RTL激励生成期刊论文 OAI收割计算机研究与发展, 2005, 期号: 第12期, 页码: 2169~2175页作者: 杨修涛; 李晓维; 吕涛; 鲁巍 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2010/10/15 可观测性语句覆盖准则激励生成模拟
	模拟验证中的覆盖评估准则期刊论文 OAI收割微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 40 作者: 吕涛; 李晓维; 樊建平 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 模拟验证覆盖评估准则电路结构可观测性有限自动机错误模型集成电路
	通用CPU设计中的模拟验证技术及应用期刊论文 OAI收割系统仿真学报, 2002, 卷号: 14.0, 期号: 012, 页码: 1698 作者: 吕涛; 李华伟; 尹志刚; 刘国华; 李晓维 \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2023/12/04 CPU 设计模拟验证芯片错误模型覆盖准则