程序不变量相关论文
随着科技的进步，软件已深入人类生活的各个层面。在人们享受着软件带来的快捷高效的好处时，软件质量引发的系统故障也越来越多。软件......
迄今为止,计算机软件系统虽然仅仅只有短短的几十年历史,但是已经成为最广泛、最重要的应用系统之一。从而软件的质量成为人们目前......
软件作为计算机的灵魂,在国民经济和社会生活等各方面都起着举足轻重的作用。软件质量问题直接影响各行业的正常运作,软件错误轻则......
软件测试是保证软件质量的重要方法之一，是软件生命周期中非常重要的一个环节。软件测试的关键技术之一就是高质量的测试用例的构造......
迄今为止,计算机软件系统虽然仅仅只有短短的几十年历史,但是已经成为最广泛、最重要的应用系统之一。从而软件的质量成为人们目前......
随着机器学习算法在人工智能各领域的广泛应用,人们开始关注机器学习算法的质量分析。由于机器学习算法中缺少测试语言,对学习算法......
回归测试成本高,是软件测试过程中是必不可少的阶段。随着软件开发过程的不断深化,需要频繁地进行回归测试,测试用例集的规模越来......
随着网络应用程序的日益增多，应用层协议的识别问题开始引起人们的关注。目前基于指纹的识别技术主要利用协议中出现的某些固定......
软件可靠性是评估软件系统质量的一个重要属性，传统意义上，一个软件系统的可靠性是根据软件测试的输出计算得到。这样得出的可靠性，存......
随机测试以其自动化程度高、揭错能力强的优势一直在测试用例的自动化生成领域占据着重要的地位,但其冗余度高、覆盖率低的缺陷限......
自动化生成高质量测试用例是软件测试的核心问题.随机测试能快速生成大量测试用例.程序不变量作为程序中保真的属性,能反映程序执......
应用层载荷特征是一种使用广泛、识别率高的指纹,但其生成主要依赖手工分析。针对该类特征的自动生成问题,提出一种基于程序不变量......
程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在......
为了有效解决程序修复进化中搜索空间过大和正常功能牺牲的问题,提出了一种基于不变量约束的扩展的程序修复进化模型(extended rep......
程序不变量的发现是提高软件质量的一种有效方法。静态分析是发现程序不变量的一个研究方向。本文以数学理论为基础,结合图形化方......
测试用例的自动生成在带来方便的同时引入了大量的等价输入及过多的冗余测试用例，对于测试空间的约简能够有效地解决这一矛盾。程序......
本文主要讨论基于合约的似然程序不变量的内涵，以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然......
结合Java建模语言描述了程序不变量的基本概念，以程序静态分析技术和动态分析技术为基础，讲解了程序不变量在软件质量保证中的重要作......
讨论了动态不变量的检测，即通过一个动态分析发现可能的程序不变量。通过从程序中自动推断出似然程序不变量的方式，可以在程序运动时......
为了更好地保证并提高计算机软件质量，在软件设计过程中采用了合约式程序设计方法。以大量程序运行轨迹数据为基础，以SQLServer2005......
摘 要：在当今信息社会中，程序质量是一个具有重要意义的热点问题。基于契约的程序设计是提高程序质量的重要且有效的技术，但是形式化......
发现程序中隐含程序不变量是实现高层次行为合约、提高程序质量的关键。重点研究了不变量的动态发现方法与程序编配原理,并在传统......
程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试......
失效数据常被用于评估软件的质量、监测和预测软件的运行情况,不同的测试方法对失效数据的影响是研究的重点。采用随机测试、分支......
针对组合测试用例约简问题,提出一种基于程序不变量的两两覆盖组合测试用例约简方法。首先用组合测试用例生成算法对被测程序一次......
不变量是用于描述程序运行时不变性质的一些重要的逻辑断言。大型程序似然不变量发现的方法是通过对程序运行时的轨迹进行分析采获......
不变量是用来描述程序运行时保持不变性质的逻辑断言．根据关系数据理论，程序不变量可分函数依赖型和非函数依赖型程序不变量．着眼于函......
利用GEP（基因表达式编程）获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式,能够进行目前技术没......
目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的......
程序不变量的发现是一种提高软件质量的有效方法.不变量发现工具Daikon可以发现程序中蕴含的简单不变量形式,但不包括复杂的函数型......
讨论了程序不变量的内涵，研究并建立了程序不变量动态生成系统的理论模型。在该模型中，针对非函数依赖程序不变量动态生成理论、方法......
文章对函数依赖程序不变量和简单非函数依赖程序不变量动态生成理论、方法和技术进行了阐述,提出了一种新的简单非函数依赖程序不......
通过程序不变量动态生成技术，可以分析程序内部的关联属性，从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约......
讨论了程序不变量的内涵，研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型，以......
程序不变量反映了程序在特定点上的安全属性,可以作为运行保护时的监控对象。提出了一种程序运行保护方法,通过动态监控程序不变量......
基于合约的程序设计是提高软件质量的一种重要技术，已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件......
伴随着经济的迅猛发展,软件更新速度日益加快,传统的软件测试方法已不能有效保障软件质量。对软件测试起到重要影响作用的不变量,......
软件缺陷会降低系统的可靠性、可用性和安全性。开发人员发现软件失效后,通常需要观察程序的执行状态,查找失效的根源并消除软件缺......
垃圾收集已经普遍应用于主流的软件开发领域中,有效地避免了一些安全漏洞的同时提高了资源利用率。然而,垃圾收集自身都比较复杂,......
程序中蕴含的不变性质即程序不变量，它用来描述程序的运行规律。目前的不变量动态发现工作采用的是试探法，分为两个阶段——首先预置......
