【摘 要】
：
本文提出一种基于带赋值符号迁移系统STGA选取测试同步序列的方法。与传统的基于标号：迁移系统LTS的方法相比，STGA中保留了对测试同步序列的选取有重要影响的结构信息，因此有利
【机 构】
：
中科院软件所计算机重点实验室,北京,100080
【出 处】
：
2004年全国理论计算机科学学术年会
论文部分内容阅读
本文提出一种基于带赋值符号迁移系统STGA选取测试同步序列的方法。与传统的基于标号：迁移系统LTS的方法相比，STGA中保留了对测试同步序列的选取有重要影响的结构信息，因此有利于高效率同步序列的选取。实例研究证实了这一优越性。 在这个基础上我们还提出了若干覆盖率标准来指导同步序列的选取，实例研究也表明在发现错误的能力方面，根据这些覆盖率选取出来的同步序列要好于随机选取的同步序列。
其他文献
目的 研究西地那非对大鼠肾缺血再灌注损伤的保护作用及机制.方法 经腹正中线切口夹闭肾蒂建立肾缺血再灌注损伤模型.将21只雄性Wistar大鼠按随机数字表法均分成假手术组、模
本文用简单的方法合成了一种可聚合的胺类助引发剂EGMPM，将其与二苯甲酮(BP), 4-(4一甲苯硫基苯基)苯基甲酮(BMS),4-氯二苯甲酮(CBP), 4-氯甲基二苯甲酮(CMBP), 4-羟甲基二苯
目的 研究金丝桃苷对心肌缺血再灌注(MI/R)损伤大鼠的心脏保护作用及其相关机制.方法 SPF级、雄性SD大鼠80只,随机分为对照组、模型组及低、高剂量实验组,各20只.模型组及低
目的 观察青蒿琥酯对糖尿病小鼠的降糖作用.方法 实验分为3组:正常组(db/+,1％甲基纤维素),模型组(db/db,1％甲基纤维素)和实验组(db/db,80 mg·kg-1青蒿琥酯+1％甲基纤维素).各组
基本路径测试(或者基路测试,BasisPathTesting)是一种比较常用的结构测试方法.这种方法原理简单,而且测试的复杂度为线性.但是到目前为止,基于基本路径的测试都停留在手工或
在以前,整个程序代码的编写工作一般都由一个或少数程序员来完成,但随着软件工业的不断发展,程序的内容变得越来越庞大冗长.这样整个程序的编写工作不再可能由一个或少数程序
目的 比较栀子提取物对正常及黄疸模型大鼠重复给药4周的肝肾毒性差异.方法 将192只SD大鼠随机分为8组(空白组、模型组和低、中、高剂量对照组以及低、中、高剂量实验组).模
目的 探讨柚皮苷(NAR)对妊娠期糖尿病小鼠胰岛素抵抗(IR)的改善作用机制.方法 按照体重将受孕后的C57小鼠随机分为3组:正常组、模型组和实验组,每组17只.实验组灌胃给予NAR 5
本文创新性提出的纳米色料的结构设计思路，利用改进的细乳液聚合过程成功制备了平均粒径小于100 nm的单分散的红、黄、蓝(绿)系列纳米色料，其固含量在> 15 wt.％，染料含量占固体>
岷江流域是四川省多个重要城市的生产生活水源区,都江堰等水利工程的水源基地,是四川最负盛名的旅游资源和人文历史景观富集的黄金旅游走廊.近年来,流域内各类开发建设活动频