CAJ | 학술논문

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高.鉴于此,可观测性覆盖评估准则被提了出来.随着设计规模不断加大,该准则变得越来越重要.首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法.这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成.实验结果显示,提出的方法是高效的.
전통적어구복개준칙지고필어구적가공제성,홀략기가관측성,저가능도치표면상흔고적복개솔수거소온함적가신도불고.감우차,가관측성복개평고준칙피제료출래.수착설계규모불단가대,해준칙변득월래월중요.수선제출일충가관측성신식적표정방식이급가관측성판정규칙,재차기출상,제출일충침대가관측성어구복개준칙적RTL격려생성방법.저시일충기우모의적방법,타이소유미관측어구적분포작위계발식신식,지도격려생성.실험결과현시,제출적방법시고효적.