基于遗传算法的面向多样性EFSM测试序列生成方法

来源 :中国教育和科研计算机网CERNET第二十四届学术年会 | 被引量 : 0次 | 上传用户:asdf07124029
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为提高扩展有限状态机(EFSM)测试用例生成的效率及效果,提出了一种基于遗传算法的面向多样性EFSM测试用例集生成方法,在优化遗传算法个体编码和操作算子的基础上,引入EFSM测试序列集多样性度量,利用遗传算法,不断增加测试序列集中测试序列间的差异程度.同时在方法中增加测试序列可行性判别机制,以保证最终测试序列均为能产生测试数据的可执行序列.实验结果表明,与未考虑多样性的EFSM测试序列生成方法相比,面向多样性的方法不仅能够生成可执行并满足测试覆盖准则的测试序列集,而且有效减少了测试序列集生成的时间开销,同时缩小了所需最小测试用例集的规模.
其他文献
摘 要:感恩是中华民族的传统美德,是人精神素养的体现。如果人类有一颗感恩的心,人类与社会、人类与大自然、人与人之间就会变得和谐美好,彼此之间的关系就会变得更加亲切。而作为一个个体的人,因为有了这样的一种感恩的品质,就会变得快乐和幸福,个体的生命也会更加有意义。因此,寻求实施感恩教育最佳途径和方法,对感恩教育的现状调查和针对目前的现状实施相应的策略,是摆在语文教师面前的重大课题。  关键词:感恩教育
为高效节能地利用固体吸附剂进行低浓度CO_2捕集,提出了一种低压降和高吸附剂利用率的新型斜向紧凑微型流化床(OCMFB)反应器.通过CO_2捕集实验,对OCMFB反应器与径向流固定床(RFF
探讨新生儿惊厥的病因、临床表现的特点,有效控制惊厥的发作,减少后遗症。新生儿惊厥多发生在3天内,病因以缺氧缺血性脑病和颅内出血为主,类型以轻微为主。
在国家西部大开发的战略部署下,贵州、云南、广西比邻的三省区应当顺应全国经济发展趋势,审时度势,抓住种种新机遇,以有效联动为原则,组建"绿色金三角"经济圈,形成集团优势,实
黎蒴是亚热带重要的优良乡土树种,具有生长迅速,适应性强,生态及利用价值高的特点。文章介绍了黎蒴的分布和生态及利用价值,对其良种选育、苗木繁育以及分子生物学研究方面进行归
针对我国中小企业普遍存在战略能力薄弱的现状,从中小企业战略能力的发展视角即战略能力的识别、培育和提升来深入进行研究后可尝试性地把应用于软件企业开发过程中的软件能力
目的建立人血浆中非洛地平浓度的液相色谱-质谱联用的测定方法。方法以尼莫地平为内标,血浆样品经100μL1.0mol·L^-1NaOH溶液碱化,采用乙醚-正己烷(4:1)萃取后进行LC-MS分析。
改革开放以来,我国人口迁移发生的一个重大变化是,长期以来存在的主要由东部地区迁移到西部地区,转变为从西部地区迁移到东部地区。我国人口迁移呈现出的这一新趋势,需要我们根据
前不久,有网友发帖称,宁夏某中学出台了一项新规,要求女教师工作满三年后方可怀孕。遭到网友围观后,石嘴山市教育体育局责成该校废止这一规定。(见《南方都市报》)毫无疑问,女教师什么时间怀孕属于私生活范畴,也是个人权利,想什么时间怀孕就什么时间怀孕,所在单位无权限制。学校出台这样的规定不合法。  然而,了解当下中小学现状的人都知道,绝大多数中小学校的教师构成以女性教师为主,男性教师比较少,尤其是新入职的