基于EFSM的最小测试用例集生成方法

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:dengxiaofei317
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
影响测试成本的主要因素是测试用例集规模和测试用例的总长度,为降低测试成本,对测试用例生成技术进行研究,提出一种基于集合覆盖理论的最小测试用例集生成方法。设计迁移覆盖算法,其中引入关键迁移概念,设计最小测试用例集算法用于合并迁移覆盖算法输出的集合,得到最小测试用例集。实验结果表明,所提方法得到的最小测试用例集,降低了测试成本,提高了测试效率。
其他文献
目的分析不翻瓣技术对于提高口腔种植短期临床疗效的影响。方法选取我院口腔种植患者84例(2017年9月至2018年11月),随机分为不翻瓣技术治疗的观察组(42例)与常规口腔种植的对
矮塔斜拉桥是一种介于连续梁与斜拉桥之间的组合体系桥型,近二十年来在国内外桥梁建设中得到广泛应用,研究其在各种外部荷载作用下的动力响应情况,在加深对该桥型的动力特性认知、确保桥梁与车辆的运行安全性和提高桥梁设计水平等方面具有重要的理论意义和实践指导意义。攀枝花金沙江矮塔斜拉桥是国内在建的跨度最大的双线铁路矮塔斜拉桥,其采用梁塔固结、梁墩分离、梁下设置支座的结构形式。本文以该桥为研究对象,利用有限元分
当车辆经过桥梁结构时,会对桥梁产生振动、冲击等作用,这便是桥梁的动力响应。在桥梁投入使用期间,移动荷载的作用会导致桥梁结构的长期振动这会使桥梁构件产生疲劳损伤,降低
红外隐身涂层是实现导弹红外突防的一种有效方法,可提高武器的生存率和战斗力。文章简述了红外隐身涂料的种类、基本特性和涂料实现隐身的两种途径,详细分析了涂层厚度、涂层衬
目的通过分析 73例临床确诊多发性硬化(multiple sclerosis,MS)患者的视力、视野、视觉诱发电位(visual evoked potential, VEP)改变,以找出 MS侵犯视路的特点。方法视力减退者常规行视力、视野检查,全部患者均行VEP检查。结果本组患者中
本文针对恐怖活动在背景复杂性、发生难测性和后果严重性方面对油库提出的挑战,从强化政治敏锐性和法律意识,提升快速处置突发事件能力,增强安全工作协同配合能力三个层次,探
在工业化、城市化时代,"回归社区"能够在很大程度上修补和矫正现代化对人的扭曲与异化,避免市场经济发展给社会带来的负面影响,其目的在于让人们回归到人本的另一面--善良、
作为小学数学教师必须能够引领学生经过小组合作交流和学生的自主探究学习,通过所学的数学知识与自身学习经验,解决与现实生活有紧密联系的数学问题,还可以不断的加深问题的
经济快速发展的今天,迫于生存压力的现状,人们在职场忙的焦头烂额,筋疲力尽。这样的生活节奏必然导致生活质量的下降,针对这一问题提出生态设计理念,旨在解决现代办公生活中人与物的平衡。本次论文研究将从当今办公空间的现状调研、案例分析、理念提出、创新应用等方面进行探索,包括空间布局、色彩搭配及材质应用等在生态理念中的不同呈现来展现现代办公空间的独特之处以此来满足当今使用者的现实需求,提高生活质量的同时使工
藏医学是我国藏族人民经过常年的经验积累流传下来的医学文化瑰宝,它的诊疗方式、用药规律都具有自己的独特体系,这使得其对高原常见病的治疗效果明显优于其他医学。由于藏医学的用药、诊疗等会因外界因素影响产生很大差异,故本研究通过数据挖掘算法对高原常见病藏药组方规律进行研究,通过科学的手段和方法排除外界因素对藏医用药的影响,探究藏医特色诊疗过程中的用药规律,发现不同患病群体的用药特点。本文对高原常见病中的慢