基于局部连续性的核电软件测试研究

来源 :南华大学 | 被引量 : 1次 | 上传用户:yuen370181406
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是软件质量保证的重要内容,是对软件可靠性的度量。核电软件作为计算机在核领域的应用,有着其自身的特殊性,如数据量大、数据精度高、数据流复杂等。由于核能的特殊性,要求核电软件有着高可靠性,这就更加离不开软件测试。软件测试是一项非常繁琐的工作,而且有着大量的重复劳动。在这重复工作中,如果全部依靠人工完成,不但占用大量的时间和人工,而且还极有可能出现差错。因此,软件测试的自动化就显得尤为重要。然而现在市面上大部分的自动测试工具并不能完全实现测试自动化,从测试用例的设计到执行结果的分析基本还是需要人工干预。测试用例是软件测试的核心部分,如果能针对被测软件自动生成测试用例,那将会节省许多资源。本文以对蒸汽发生器流动稳定性计算软件进行测试为背景,在单元测试过程中针对测试用例的自动生成这一问题提出了一种基于局部连续性的测试用例自动生成方法。该方法首先读取待测软件源程序,对程序进行分析得到基本路径,并结合各变量的取值范围得到步长值和划分测试空间;然后将步长值和测试空间作为测试用例生成模块的输入生成测试用例;最后将所有的测试空间内生成的测试用例进行整合,输出最终生成的测试用例集。为了验证该方法的性能,本文对比了本文方法与随机方法生成的测试用例的个数,并比较了该系统在不同复杂度下生成测试用例的个数与目标值的差异。实验结果证明,该系统对于在参数变量的取值范围较小时比较有优势,比较适合用于核电软件的测试。
其他文献
语义特征造型系统采用完全语义约束定义特征和构建模型,能够全面地满足工程设计人员的各种意图,但是它较之以前的基于参数,基于历程的特征造型要复杂得多。它在底层采用特征
  移动代理描绘了一种新的通讯模式,近来它也受到了研究人员和专业人员的格外关注,然而,尽管移动代理的安全性被普遍认为是非常重要的一点,但仍没能以令人满意的方式解决这个问
形状是物体的本质特征之一,利用形状特征进行检索可提高检索的准确性和效率。因此本文主要针对基于形状的图像检索技术中存在的问题,对小波分析技术及其在基于形状的图像检索
随着核工业的快速发展,放射性材料的广泛应用,β射线监测引起了社会的广泛关注和高度重视。目前的β射线监测主要采用有线技术,覆盖范围小、传输距离有限、维护困难、布线复杂。
随着数据库中数据量越来越大,性能问题变成前所未有的重要。列式数据库以加载速度快、只读取相关属性列、高压缩比等特点在数据分析领域得到广泛的应用。但列式数据库的存储方
逻辑模拟在设计新系统的过程中起着重要作用,通过计算机进行模拟可以实时反馈输出结果,及早发现潜在的问题,进而缩短设计周期,降低研发成本。但是随着物理系统的规模越来越大,复杂
近年来,随着计算机以及相关技术的迅速发展,特别是一些CFD(Computational Fluid Dynamics)商业软件的出现,CFD技术已不再是停留在“象牙塔”中的高深学问,它在工业领域中的应用范
以J2EE为代表的面向对象技术已展现其价值。然而,传统的J2EE实现使简单的问题复杂化,导致过度设计的J2EE应用。应用程序开发者不应该设计资源池、线程管理、服务定位、数据访问
当前Internet迅猛发展,越来越多的企业将公司内部网络连入Internet。由于一些公司的地域分布分散,加大了网络管理的复杂度。而且随着网络安全问题的日益凸现,使得建立一套全方位
电子邮件(Electronic Mail)已经成为现代人日常生活中必不可少的一部分,2001年1月CNNIC发布的"中国互联网发展状况统计报告"显示,95.07%的Internet用户最长使用的网络服务是收