测试预言相关论文
随着微服务架构的广泛应用,微服务质量得到了越来越多的关注,以规约为基础的软件测试技术是保证服务质量的一种有效途径。作为一种......
软件规模和复杂性的日益增大,程序代码中的错误和缺陷层出不穷,给软件测试和程序调试带来了新的挑战,自动程序修复成了解决测试和......
随着软件逐渐成为人们日常的一部分,人们对软件的质量和可靠性的要求也越来越高。作为业界保证软件质量的主流技术,软件测试是一个......
学位
单元测试是软件测试的基础,可以在软件开发的前期发现很多故障,且修改故障的成本也较低。单元测试的自动化能够以较低的成本实现软......
随着软件对于人们日常生活的影响的增大,人们对于提高软件质量的需求也随之增大。软件中或多或少会存在着一些缺陷,找到这些缺陷的......
测试预言是一种用来检测被测系统的测试执行是否正确的方法.文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测......
一般情况下,缺陷定位技术的应用前提是必须存在测试预言,以判断测试用例的运行结果是失败或者成功,否则将无法使用。然而,在许多实......
时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合......
在软件测试中，测试预言是一种用于检查程序在测试中是否正常运行的机制．然而在某些实际情况下，还无法制定测试预言或者难以有效地应用......
测试预言生成技术是软件工程测试领域的研究热点之一.没有可以利用的历史测试用例是目前大部分测试预言生成技术的普遍假设,但是这......
机器学习的普遍应用引起了人们对其信任度的关注,利用蜕变测试技术研究机器学习程序质量逐步成为软件测试领域的研究热点之一。为......
信息化技术的快速发展使得软件系统的规模越来越大、更新换代的速度越来越快,开发过程中引入错误的可能性也越来越大。为了尽可能......
缺陷定位作为软件调试过程中的关键活动,对于提升软件调试效率以及软件质量有着重要意义。学术界和工业界多年来一直致力于研究出......
测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节.针对......
近年来统计机器学习在越来越多的领域中被广泛应用,例如数据挖掘、图像识别以及自动驾驶等等。然而,对于机器学习程序的软件质量保......
