支持测试预言生成的代码测试系统实用化研究

来源 :北京邮电大学 | 被引量 : 1次 | 上传用户:liyanliang163
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
单元测试是软件测试的基础,可以在软件开发的前期发现很多故障,且修改故障的成本也较低。单元测试的自动化能够以较低的成本实现软件质量的大幅提高。测试预言是单元测试不可或缺的环节,同时也是软件测试研究的薄弱环节。测试预言是一种判断待测程序在给定测试输入下的执行结果是否符合预期的机制。测试预言的自动化不仅能有效的减轻测试人员的负担,而且能为不间断的持续测试提供有力支持。在代码测试系统(CodeTestSystem,CTS)的实际应用中,测试结果评判模块使用的是人工测试预言。此种方式在效率、准确度方面具有明显的不足。此外,代码测试系统之前使用小程序对各模块进行过有效性实验,但还未使用实际大工程进行实用性实验。本文的工作主要分为两方面,一方面对代码测试系统进行实用化研究;另一方面对测试预言部分自动化的生成技术进行研究。围绕上述两方面进行了以下工作:1.提出了一种基于神经网络的测试预言生成方式。该方式通过选用适当的神经网络类型,使用正确的历史数据训练神经网络,得到预言信息生成器。通过预言信息生成器,可以预测新输入数据的预期值。2.通过对BP(BackPropagation)神经网络、概率神经网络、广义回归神经网络的建模和仿真,分析了这三种常用的神经网络模型的优缺点,并据此选定了概率神经网络与广义回归神经网络相结合的预言生成策略。基于此策略,编码实现测试预言模块,并进行有效性实验。3.通过实际大工程,对CTS代码测试系统进行了实用性研究。CTS实用性实验结果表明,CTS具有较好的实用性。预言模块有效性实验结果表明,本文提出的部分自动化的预言生成方法在分类问题上具有较好的表现,预测值与实际值的误差仅为0.1。
其他文献
液-液两相界面催化广泛应用于各种催化体系中,但反应体系的“不互溶”使其存在高的传质阻力,常常需要通过加入表面活性剂或剧烈搅拌来提高反应物的接触面积从而提高反应效率
由核盘菌(Sclerotinia sclerotiorum (Lib.) de Bary)引起的菌核病(White mold)是造成农作物减产,特别是油料作物减产的一种重要病害。菌核病对世界上大豆,油菜,向日葵等油料
镁合金的极易腐蚀及耐磨性差等问题已成为制约其广泛应用的瓶颈。本文采用电泳-脉冲电沉积工艺在镁合金表面分别制备了 Ni-Graphene和Ni-GO-CNTs复合镀层,采用扫描电子显微镜
Al-Zn-Mg-Cu作为高强铝合金,被广泛应用于航空航天及地面车载等领域。目前,对铝合金铸锭的商业化生产主要利用直接水冷半连续铸造技术,对于大规格的铸锭,存在难以热处理消除
纤维增强树脂基复合材料在制造过程中容易产生纤维褶皱缺陷。纤维褶皱会削弱复合材料层合板的力学性能,对压缩强度的影响尤为显著。因此有必要对含纤维褶皱层合板在压缩载荷
微生物燃料电池(MFC)能够将有机物中的化学能直接转化为电能,是集产能与环保为一体的新型能量转换装置。空气阴极以O2为电子受体,氧化还原电位高。但是,阴极氧还原反应(ORR)
通过粉末冶金工艺手段可以使粉末材料固化为一定形状、尺寸与性能的制品,然而,由于通过粉末冶金工艺生产过程较为复杂,且获得的制品内部会存在一定的孔隙。相对于其它致密材
临南洼陷属于惠民凹陷的次一级构造单元,地处渤海湾盆地济阳坳陷的西南部。临南油田夏32断块位于临南洼陷夏口断裂带西段的双丰鼻状构造上,为双丰1号断层和夏口断层共同控制
本文是一篇翻译实践报告。翻译的原文选自世行于2017年发表的一份报告,题为:《中国小城镇市政资产管理调查结果与策略》(Municipal Asset Management in China’s Small Citi
Fake N构式是形名构式中一种比较特殊的类型,研究集中在语义,句法和认知三个方面,而从认知语言学角度对Fake N构式的研究仅限于脱离文化(语境)的分析,鲜有从受美国文化影响的