位置:成果数据库 > 期刊 > 期刊详情页
RTL可观测性语句覆盖评估方法
  • 期刊名称:《计算机辅助设计与图形学学报》,第18卷, 第1期, 2006年1月, pp.62-68
  • 时间:0
  • 分类:TP302[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]中国科学院计算技术研究所先进测试技术实验室,北京100080, [2]中国科学院研究生院,北京100039
  • 相关基金:国家自然科学基金(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.

同期刊论文项目
同项目期刊论文