【摘 要】
：
为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机（extended finitestate machine,EFSM）为模型描述的协议进行测试的方法.该方法在控制流部分采用惟一输入
论文部分内容阅读
为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机（extended finitestate machine,EFSM）为模型描述的协议进行测试的方法.该方法在控制流部分采用惟一输入输出（unique input/output,UIO）序列,在数据流部分采用全定义-使用路径（all Def-use paths）标准,通过改进的转换可执行分析（transition executability analysis,TEA）方法,使用深度优先策略生成TEA树,同时得到可执行的EFSM控制流和数据流
其他文献
第2届广州国际商用车展览会将于11月20日-11月23日在广州琶洲中国进出口商品交易会展馆举行。本届展会今后逢双年举办，打造业内权威、特色鲜明、贴近企业和行业需求的商用车展览会。 本届展会在广州市交通委员会、广东省物流行业协会、广东省道路运输协会、广东省城市公共交通协会的支持下，由广州市人民政府、广东省经济和信息化委员会、中国对外贸易中心、中国机械工业联合会、中国汽车工业协会主办；由中国对外贸易
自主品牌经销商如何在波涛汹涌的经济大潮中实现盈利？北京汽车销售公司副总经理陈思英认为，从主机厂的角度来看，需要给经销商提供五个“好”。 首先，给经销商提供好的品牌。什么是好的品牌？“好的品牌需要具备两项基本素质，一是具有明确的发展愿景，而是具有强烈的社会责任感。有了这两点，这个品牌才能长青，才能世代相传。”谈及此，陈思英深以为豪——7月20日，美国《财富》杂志正式公布“2016年世界500强企业
在养猪业发展的基础上,新生仔猪腹泻病的防控工作逐渐深入。仔猪腹泻病的治疗是被动性的,治疗效果差或来不及治疗会死亡,要把预防新生仔猪腹泻病放在首位,确保生猪顺利、健康
采用高能球磨结合热压烧结的方法制备了W-1wt％TiC纳米复合材料，并对其组织结构、室温力学性能进行了研究．结果表明，高能球磨能显著细化粉体、减小晶粒尺寸及增加晶格畸变，促进复合
光致变色因为可以给人眼特殊的视觉刺激并可以达到防伪功能,成为防伪材料的良好选择,稀土上转换发光材料具有低毒、荧光寿命长、光稳定性好、发光光谱带窄、无生物自体荧光干
谈传统的价值在中国往往被认为是“保守主义”，而在中国的语境中这似乎是一个贬义词。这是因为整个20世纪中国文化的核心价值观是激进的，从“五四”到“文革”到上世纪80年代的
<正>2006年北京车展,比亚迪F3E惊艳亮相。根据当时披露的数字,F3E纯电动车续航能力达300公里,最高时速150公里/时。但因市场和经销商普遍认为配套环境有问题,同时需要有过渡
<正>2H馆汇聚了中国汽车工业的几大主力军团,广汽集团、北汽集团、一汽集团都是中国汽车工业的领军企业,集团的合资品牌全面发力,多款车型与全球同步。各集团的自主品牌也推
7月25日，安凯客车迎来上市20周年（1997年7月25日，安凯客车在深交所挂牌上市）。20年来，中国客车经历了从“西学东渐”到构建自主品牌的重要转型，而作为客车行业最早的上市公司之一，安
在年销量突破10万辆这一重要节点推出,沃尔沃全新XC60被寄予厚望。11月28日,沃尔沃汽车集团全球高级副总裁、亚太区总裁兼CEO袁小林亲手将一辆沃尔沃S90交付给2017年度沃尔沃