An Algorithm of Programming Data Flow Analysis Based on Data Flow Expression

This paper states the basic principle of program data flow analysis in a formal way and gives the concept of data flow expression. On the basis of this concept, an algorithm of finding data flow exceptions is rendered. This algorithm has great generality, with which it is easy to develop a tool for program test. So it is practical in application.

面向对象软件回归测试技术研究

回归测试的目标之一是在程序修改后 ,只对进行修改的部分重新测试 ,从而达到与完全测试相同的测试覆盖 .利用数据流或部分数据流技术 ,对结构化程序进行回归测试的技术已相继提出 .随着面向对象方法的逐渐成熟 ,对面向对象软件测试技术的研究有了迫切的需求 .通过分析对象系统的特性 ,定义了对象之间的依赖关系 ,通过这个依赖关系 ,导出测试对象的方法序列 ,并应用程序切片技术 ,标识那些受到程序修改影响的测试用例 ,只有这些测试用例才需要在回归测试中重新执行 .最后给出了一完整的对象系统的回归测试解决方案 .

Gupta方法的改进

Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切片 ,证明了路径静态切片构造算法的正确性 .对 Gupta方法的改进 ,省略了构造谓词片和输入依赖集的过程 ,改进后的方法构造线性约束的效率更高 .以改进后的方法为核心算法 ,开发了面向路径的测试数据自动生成的原型工具 ,并用实际的程序路径对该工具进行实验 .结果表明改进后的方法是比较有效的 .

基于程序插装的动态测试技术实现

动态测试是检测程序的动态行为的一种有效手段 .本文介绍了 Safepro白盒软件测试工具系列中基于程序插装的动态测试技术实现 ,具体讨论了动态测试的模型、数据流模型和动态跟踪数据的编码和解码技术 。

信息流和数据流分析在程序检测中的应用

采用类似ＰＡＳＣＡＬ的语言，提出了一种以源程序为目标的信息流和数据流静态分析方法。该方法能检查出许多编译程序无法发现的错误，如数据流错误，程序中含有无限循环等，并论述了该方法在检查程序错误中的应用。

一种基于数据流/控制流+知识条目的回归影响域分析方案

结合实例对基于数据流/控制流的回归影响域分析方法进行了阐述,总结了分析要点,强调加强变异流分析以确保分析充分性.针对需求更动,提出了基于知识条目的回归影响域分析方法.对两种分析方法进行对比分析,提出一种基于数据流/控制流+知识条目的回归影响域分析方案.实践证明,基于知识条目的分析方法可以对基于数据流/控制流的分析方法形成有效的补充,从而对回归测试的充分性形成有效的保证.

面向对象程序回归测试策略研究

1 引言软件测试的基本过程是从单元测试、集成测试、有效性测试到系统测试。一般地说,回归测试属于软件维护的过程,当软件修改之后,回归测试用于确认修改的正确性,包括修改本身的正确性和未修改的部分未受到因修改而导致的不正确影响。

基于数据流分析的过拟合补丁识别

自动程序修复技术可实现对软件缺陷的自动修复,并使用测试套件评估修复补丁.然而因为测试套件不充分,通过测试套件的补丁可能并未正确修复缺陷,甚至引入新的缺陷并产生波及效应,导致自动程序修复生成大量过拟合补丁.针对这个问题,本文提出了一种基于数据流分析的过拟合补丁识别方法,首先将补丁对程序的修改分解为对变量的操作,然后采用数据流分析方法识别补丁影响域,并根据补丁影响域选择针对性覆盖准则来识别目标覆盖元素,进而选取测试路径并生成测试用例实现对修复程序的充分测试,避免修复副作用的影响.本文在两个数据集上进行了评估,实验结果表明,基于数据流分析的过拟合补丁识别方法可有效提升自动程序修复的正确性.

基于数据流准则的测试用例生成方法

针对基于控制流的测试充分性准则易错失面向对象程序中的状态依赖关系,提出一种基于数据流准则的测试用例自动生成方法。通过数据流分析获取待覆盖的目标定义使用对,利用遗传算法自动生成覆盖定义使用对的测试用例,根据适应度函数指导测试用例的进化。将该方法与基于分支覆盖和语句覆盖的方法相比较。实验结果表明,与其他方法相比,该方法可以检测出更多的变异体,适应度函数的设计降低了进化代数。

基于数据流表达式的程序数据流分析算法

以形式化的方法论述了程序数据流分析的基本原理，给出了数据流表达式的概念。并在此概念的基础上，给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强，运用本算法不难开发出相应的程序测试辅助工具。

基于面向对象程序代码的类测试技术

面向对象软件的基本测试单元是类，文中提出了用一种基于代码的测试技术——数据流测试来全面地测试类。对类测试分为３级：单个成员函数的测试；公有成员函数的测试；公有成员函数间接口的测试。大多数现有的数据流测试可以对前两级进行测试，作者利用改进的数据流测试来测试第３级，通过构造类控制流图来计算数据流信息。这种技术即使在无规格说明的情况下也可以决定类中成员函数间消息传递的次序，根据这种次序来测试类。

基于影响域分析的软件回归测试设计

本文就软件回归测试开展分析,并对基于控制流和数据流的影响域分析、影响域重定位、基于影响域的回归测试设计进行了详细论述,希望由此能够为相关业内人士带来一定启发。

非闪蒸型气液二相流压降计算的计算机程序化

确定气液二相流的流动形式对于两相流的压力降计算非常重要,而在流型判断中,使用Baker图和GriffithWallis图进行手算尚可,却不利于计算机编程。基于此,应用Origin软件对Baker图和Griffith-Wallis图进行数据回归,得到划分区域线条的函数,再使用C++语言进行编程,实现整个计算过程的计算机程序化,可快捷、准确地判断垂直管道和水平管道的二相流流型,并使用均相法和杜克勒法计算出二相流管道压力降。计算机编程能大幅度提高计算效率,在处理杜克勒法压力降计算中的迭代运算时尤为实用。经过规范中例题的验证和工程实例运行结果,证明该方法是可行和准确的。

双语法规则程序依赖性分析

为了提高传统程序依赖性分析的应用范围和灵活性,提出一种新的程序分析方法。该方法分为不完整性分析和完整性分析两部分。在gcc3.2和Linux内核2.4.20-8的编译环境下,利用不同的词法和语法分析模块对程序结构、数据依赖和控制信息进行提取,加快了程序分析的速度,并有效降低了程序数据流依赖分析和控制流依赖分析中算法的复杂度。最后用具体的程序实现证明了该算法的可行性。

基于控制流和数据流分析的软件回归测试设计

对软件进行回归测试的目的,一方面为确保软件修改后能达到预期目标,另一方面需要确认软件的修改没有影响软件其余部分正常运行。回归测试过程中,需要根据更改影响域进行测试设计,故更改影响域的确定成为回归测试成败的关键。本文提出一种基于控制流和数据流的更改影响域分析方法,对修改后的软件根据被修改部分所处的控制流和数据流范围确定更改影响域,再根据更改影响域设计测试用例。该方法提高了回归测试用例范围的准确性,同时确保了回归测试覆盖率,提高了软件回归测试质量。

毛纺质量管理的数据处理程序

对于纺织生产的质量管理来说 ,数据处理是必不可少的。文中介绍了适用于毛纺质量管理的 5个数据处理程序 ,程序的编制使用了VB6 0编程语言。