RTL可观测性语句覆盖评估方法
文献类型：期刊论文
| 作者 | 李晓维; 杨修涛; 吕涛; 鲁巍 |
| 刊名 | 计算机辅助设计与图形学学报
 |
| 出版日期 | 2006 |
| 卷号 | 18期号:1 |
| 关键词 | 可观测性 覆盖准则 模拟 |
| 英文摘要 | 针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他考虑可控制性的覆盖准则相结合.实验结果表明,可观测性语句覆盖准则增强了语句覆盖准则的评估能力,同时与已有的可观测性语句覆盖评估方法相比,文中算法时间开销大大降低. |
| 语种 | 中文 |
| 公开日期 | 2010-11-22 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/908]  |
| 专题 | 中国科学院计算技术研究所期刊论文_2006年中文 |
| 推荐引用方式 GB/T 7714 | 李晓维,杨修涛,吕涛,等. RTL可观测性语句覆盖评估方法[J]. 计算机辅助设计与图形学学报,2006,18(1). |
| APA | 李晓维,杨修涛,吕涛,&鲁巍.(2006).RTL可观测性语句覆盖评估方法.计算机辅助设计与图形学学报,18(1). |
| MLA | 李晓维,et al."RTL可观测性语句覆盖评估方法".计算机辅助设计与图形学学报 18.1(2006). |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。