针对可观测性语句覆盖准则的RTL激励生成
文献类型：期刊论文
| 作者 | 杨修涛; 李晓维; 吕 涛; 鲁 巍 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2005 |
| 期号 | 第12期页码:2169~2175页 |
| 关键词 | 可观测性语句覆盖准则 激励生成 模拟 |
| 英文摘要 | 传统的语句覆盖准则只考虑语句的可控制性，忽略其可观测性，这可能导致表面上很高的覆盖率数据所蕴含的可信度不高.鉴于此，可观测性覆盖评估准则被提了出来.随着设计规模不断加大，该准则变得越来越重要.首先提出一种可观测性信息的表征方式以及可观测性判定规则，在此基础上，提出一种针对可观测性语句覆盖准则的RTL激励生成方法.这是一种基于模拟的方法，它以所有未观测语句的分布作为启发式信息，指导激励生成.实验结果显示，提出的方法是高效的. |
| 语种 | 中文 |
| 公开日期 | 2010-10-15 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/660]  |
| 专题 | 中国科学院计算技术研究所期刊论文_2005年中文 |
| 推荐引用方式 GB/T 7714 | 杨修涛,李晓维,吕 涛,等. 针对可观测性语句覆盖准则的RTL激励生成[J]. 计算机研究与发展,2005(第12期):2169~2175页. |
| APA | 杨修涛,李晓维,吕 涛,&鲁 巍.(2005).针对可观测性语句覆盖准则的RTL激励生成.计算机研究与发展(第12期),2169~2175页. |
| MLA | 杨修涛,et al."针对可观测性语句覆盖准则的RTL激励生成".计算机研究与发展 .第12期(2005):2169~2175页. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。