程序插装相关论文
整数漏洞是重要安全威胁之一.以C源代码为研究对象,提出了一种基于静态插装和约束求解的整数漏洞检测方法:首先定位C源代码序中可......
论文主要在两方面进行了研究:一是对面向对象软件测试技术进行了深入的研究;二是分析了MPOA和LANE的基本原理,并详细分析了被测试......
该文提出了软件测试探针的概念,并探讨了利用软件测试探针实现面向对象软件的测试方法.针对面向对象软件的测试,人们给出了三种类......
软件测试是为了发现错误而执行程序的过程,是保证软件质量的重要手段,是软件生命周期的重要阶段.软件测试已经越来越引起软件用户......
软件测试是保证软件质量的重要手段,软件测试工具可以使测试过程变得自动化,覆盖分析为测试提供了可信度测量.该文研究了Java多线......
程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试......
软件内建自测试是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试B IST(Build-in-Self-Test)。软件内建......
软件结构测试最棘手的就是测试用例的自动生成。本文将遗传算法引入分支覆盖测试用例的自动生成中,利用遗传算法的全局寻优优势,生......
基于实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了基于LDRA的嵌入式软件覆盖率测试方法,分析了程序插装BITMAP技术应......
针对路径覆盖测试的可行性,提出了一种新的路径测试覆盖准则（Length_N准则）。首先把测试用例生成归纳为多目标函数的优化问题,其有效......
程序插装是软件测试中一种重要的白盒测试技术。介绍了程序插装的基本原理，分析了程序插装的关键要素，研究了插装测试设计的主要内容......
提出了用微粒群算法作为核心搜索算法来生成软件结构测试数据的方法和技术。讨论了参数的选择、评价函数的构造及插装问题的解决方......
目前,构件技术已经在软件工程中广泛使用,同时给软件测试带来了一系列问题。借用硬件自测试的思路,提出了在构件中设置测试点、插......
使用ＹＡＣＣ实现了一个Ｃ程序插装器，用翻译式来描述插装器的行为，具有简洁清晰窠几容易验证正确性等特点，通过作用文法改写技术，有效地简化发程......
针对测试路径覆盖的可行性问题,给出了一种新的面向路径测试覆盖准则的测试数据自动生成工具.并对Length_N路径覆盖准则进行了定义......
面向路径的测试数据生成问题是软件测试中一个基本问题。采用遗传算法作为数据优化搜索策略,设计并实现了一个面向路径的测试数据......
为提高测试用例生成的质量和效率，提出一种基于最优家族遗传算法（OFGA）的软件测试用例自动生成新算法。基于OFGA的测试用例生成算法在......
程序静态分析是白盒测试的主要手段,主要用于度量程序复杂度,分析程序是否满足一定的规则或标准,分析模块的结构并发现结构性错误......
基于军用实时嵌入式软件的测试经验，针对实时嵌入式软件特点，研究了各种平台软件尤其是嵌入式强实时软件的插装策略，分析了写文件、写......
软件测试是保证软件质量的重要手段。随着构件技术在软件工程中的广泛使用,传统的测试模型和方法已不能够适用于构件化软件的测试,......
文中首先给出了遗传算法的形式化的表示和一个基于此算法的测试数据生成系统原型。然后结合一个典型的测试单元例程，介绍系统实现中......
程序切片技术是一种分析和理解程序的技术,其中面向过程程序切片技术已趋于成熟。但是面向对象程序切片技术,特别是面向对象程序动......
