RTL可观测性语句覆盖评估方法  

Observability-Enhanced Statement Coverage Evaluation Method at RT-Level

作　　者：鲁巍[1] 吕涛[1] 杨修涛[1] 李晓维[1] 

机构地区：[1]中国科学院计算技术研究所先进测试技术实验室

出　　处：《计算机辅助设计与图形学学报》2006年第1期62-68,共7页Journal of Computer-Aided Design & Computer Graphics

基　　金：国家自然科学基金(90207002;60576031);北京市重点科技项目(H02012014130);中国科学院计算技术研究所知识创新科研课题(20056340)

摘　　要：针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他考虑可控制性的覆盖准则相结合.实验结果表明,可观测性语句覆盖准则增强了语句覆盖准则的评估能力,同时与已有的可观测性语句覆盖评估方法相比,文中算法时间开销大大降低.For the observability assessment algorithms proposed up to now, the overhead of computing the metrics is very large, so they could not be integrated into simulation tools easily. A precise and concise abstract representations is proposed to model observability information. Based on this, a novel observability evaluation method is presented. This method is more computatlonally efficient than prior efforts to assess observability, and can be combined with controllability metrics easily. Experimental results show that observability evaluation enhances the capability of traditional statement coverage metric and the proposed method is efficient.

关 键 词：可观测性 覆盖准则 模拟 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]