程序插装相关论文
软件测试是为了发现错误而执行程序的过程,是保证软件质量的重要手段,是软件生命周期的重要阶段.软件测试已经越来越引起软件用户......
软件测试是保证软件质量的重要手段,软件测试工具可以使测试过程变得自动化,覆盖分析为测试提供了可信度测量.该文研究了Java多线......
软件内建自测试是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试B IST(Build-in-Self-Test)。软件内建......
软件结构测试最棘手的就是测试用例的自动生成。本文将遗传算法引入分支覆盖测试用例的自动生成中,利用遗传算法的全局寻优优势,生......
基于实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了基于LDRA的嵌入式软件覆盖率测试方法,分析了程序插装BITMAP技术应......
针对路径覆盖测试的可行性,提出了一种新的路径测试覆盖准则(Length_N准则)。首先把测试用例生成归纳为多目标函数的优化问题,其有效......
程序插装是软件测试中一种重要的白盒测试技术。介绍了程序插装的基本原理,分析了程序插装的关键要素,研究了插装测试设计的主要内容......
提出了用微粒群算法作为核心搜索算法来生成软件结构测试数据的方法和技术。讨论了参数的选择、评价函数的构造及插装问题的解决方......
面向路径的测试数据生成问题是软件测试中一个基本问题。采用遗传算法作为数据优化搜索策略,设计并实现了一个面向路径的测试数据......
为提高测试用例生成的质量和效率,提出一种基于最优家族遗传算法(OFGA)的软件测试用例自动生成新算法。基于OFGA的测试用例生成算法在......
程序静态分析是白盒测试的主要手段,主要用于度量程序复杂度,分析程序是否满足一定的规则或标准,分析模块的结构并发现结构性错误......
基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写......
软件内建自测试(Build-In-Self-Test for Software)思想来自于硬件内建自测试.其中测试点设置是软件内建自测试系统的核心模块之一......
软件测试是保证软件质量的重要手段。随着构件技术在软件工程中的广泛使用,传统的测试模型和方法已不能够适用于构件化软件的测试,......
文中首先给出了遗传算法的形式化的表示和一个基于此算法的测试数据生成系统原型。然后结合一个典型的测试单元例程,介绍系统实现中......
程序切片技术是一种分析和理解程序的技术,其中面向过程程序切片技术已趋于成熟。但是面向对象程序切片技术,特别是面向对象程序动......