【摘 要】
：
对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入
论文部分内容阅读
对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入也较为困难.提出了一种基于输出域的测试用例自动生成方法,首先利用BP神经网络构建被测软件的功能模型,然后在被测软件的功能模型上,对于给定的输出,利用遗传算法搜索相应的输入,实现基于输出域的测试用例自动生成.同时,对遗传算法进行了改进,提出了一种新的交叉算子和变异算子,以提高遗传算法生成测试用例效率,并在容错软件RSDIMU子模块和3个常用软件上进行了模型构建及测试生成实验.实验结果表明,利用遗传算法实现基于输出域的测试用例自动生成方法是行之有效的,改进的遗传算法能够提高测试生成的效率和成功率.
其他文献
本文对中小城市高层建筑消防安全现状进行分析研究，发现在中小城市高层建筑中存在的消防安全问题，探讨解决对策。
频繁发生的高层建筑火灾不但给人们造成了大量的财产损失及人员伤亡，也带来不良的社会影响。文章主要从高层建筑中消防安全应急疏散设计的问题进行以下探讨。
文章首先阐述了消火栓系统设计具有的复杂性及其必要性，必须以科学的标准作为基础来进行设计，才会使消火栓系统将其具有的功能完全地发挥出来。其次对消火栓系统每个有机组成部
随着国民经济的发展，建筑工程得到了大力发展，影响工程造价的因素很多，只有了解其中的原因，采取对应的措施，才能有效的控制好工程造价。本文主要是对建筑工程造价控制的基本方法进
近些年来,由于人民币升值预期、美元与人民币利率之差拉大及国内的房地产、股票市场价格高涨,大量国际游资通过各种渠道进入我国,对我国经济稳定发展造成了深远的影响.对此,
美国国家癌症综合网(National Comprehensive Cancer Network,NCCN)2008年非小细胞肺癌(non-small cell lung cancer, NSCLC)综合治疗指南已经发布,现就指南中的一些重点内容
入世以后,外资银行加快了在华开设分支机构的步伐,但从资产总额、存贷款市场份额、盈利水平等指标来看,其时我固银行业的竞争结构并没有产生实质影响.实际上,外资银行是通过
医院净资产是由事业基金、固定基金、专用基金、财政专项补助结余、待分配结余等组成,它是指资产减去负债后的余额,是财务考核的重要指标,也是政府、医院管理者、投资者、债
2007年货币政策调控力度之大前所未有,然而房地产业却呈现了少有的“四高”现象。本文从影响房价的供给与需求入手,探究货币政策在房地产调控的效应。既然旺盛住房需求发端于
改革开放以来,江苏金融业伴随江苏经济有了很大发展,对江苏经济的支撑、促进作用显著增强,但是与国内外先进金融业发展相比还有差距.新世纪初,江苏金融业发展站在一个新的历