【摘 要】
：
传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高.鉴于此,可观测性覆盖评估准则被提了出来.随着设计规模不断
【机 构】
：
中国科学院计算技术研究所信息网络研究室,中国科学院研究生院
论文部分内容阅读
传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高.鉴于此,可观测性覆盖评估准则被提了出来.随着设计规模不断加大,该准则变得越来越重要.首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法.这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成.实验结果显示,提出的方法是高效的.
其他文献
回顾性分析118例艾滋病患者舌象特征及相关临床资料.主要舌象:紫暗伴瘀斑33例(占28.0%)、舌淡红32例(占27.1%)、舌质暗淡21例(占17.8%)、舌胖大有齿痕19例(占16.1%).不同舌象
溶瘤病毒治疗肿瘤是一种全新的肿瘤基因治疗方法,利用病毒自身特性发现并杀伤肿瘤细胞,近年来受到人们广泛关注.溶瘤病毒包括细小病毒、呼肠孤病毒、新城疫病毒、水疱性口炎
目的了解2007年岑溪市儿童免疫规划疫苗接种率,以指导今后儿童免疫规划工作。方法采用单纯随机抽样方法,调查岑溪市14个镇32个行政村的480名本地常住儿童的免疫接种状况。结
对乐昌含笑17个家系1~2年生树高、地径、主干通直度、树冠浓密度和叶片大小等生长指标和形质指标进行测定与分析,结果表明:2个生长指标和3个形质指标在家系间的差异均达到不
为对上海地区分离的6种鸡艾美耳球虫内转录间隔区1(ITS-1)进行克隆和序列分析,探索ITS-1区域序列在鸡球虫分类学中的作用,利用一对属特异性引物,对上海地区分离的6种球虫的IT
目的 探讨类风湿关节炎(RA)膝关节病变的关节镜下表现.方法 回顾分析2005年12月至2008年2月佛山市第一人民医院223例RA住院患者310膝次膝关节镜术中镜下所见,分析RA膝关节病
患者,女,47岁。因“左面部疼痛5~6个月”于2008年12月24日入院。体检:一般情况好,心肺腹未见异常。专科检查:左鼻腔可见褐色痂皮样物,患者张口受限,约一横指,颈部未扪及包块
目的 观察肾移植1年后发生急性排斥反应时移植肾组织中补体片段C4d的表达情况,分析其对移植肾功能及预后的影响.方法 选择肾移植时间超过1年,临床诊断为急性排斥反应并经病理
目的 比较异丙酚和异氟醚对全麻手术病人脑干听觉诱发电位(BAEP)的影响.方法 择期拟行全麻手术的病人30例,年龄20～50岁,体重44～75 kg,ASA分级Ⅰ或Ⅱ级,随机分为2组(n=15):异丙
空间矢量脉宽调制(SVPWM)和单周控制(one-cycle control)是目前最常见的两种脉宽调制(PWM)技术。传统观点认为,它们是不同的PWM发生技术,即相同的参考波得到的触发脉冲不相同