基于动态调用图的Java程序修改影响分析技术

在当前静态分析技术对于分析算法有着重要的影响,由于其方法比较复杂这就出现了精度不高,因此本文针对在静态分析中存在的实际问题进行具体的研究,能够从其问题中提出改进的方案,并且采用动态分析技术构造Java程序的动态调用图,文章中采用k-类方法后向切片计算修改影响的集合,之进行具体的试验,提高了精度,该技术的革新便于在大型Java程序中进行应用,改善了测试效果。     

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

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

面向对象Java语言的类成员防火墙回归测试

回归测试是软件测试和维护过程中的一种重要过程,当软件经过修改后,为确保程序修改的正确性以及验证修改没有对其它部分产生负面影响,回归测试是不可避免的。本文首先构造成员依赖图,再根据图中各成员之间的关系构建类成员防火墙,分析程序修改所影响的部分。在回归测试中并不需要全部重新测试,仅仅对修改以及修改所影响的部
部分进行重新测试,这样减少了回归测试的时间和成本。     

谈谈面向对象程序的测试

软件测试是保证软件质量的重要手段,其目的是用尽量少的时间和花费从源代码中发现尽可能多的错误。一个成功的测试是发现了一个迄今尚未被发现的错误,而不是去表现程序如何工作。据软件公司的统计,在软件开发中软件测试约占总投入的40％～80％,即使在软件维护阶段,软件测试也是必不可少的。 近20年来,专家们已提出了许多软件测试策略、技术、方法和可靠性模块,如形式代码评价、等值分区、二进制值分析、因果性分析、基本路径测试、控制结构测试、变异测试和符号执行等等。但是,它们大多是针对面向功能或面向数据/过程     

基于面向对象程序的一种波动分析方法及其实现

“波动”一词从程序设计出现就已经产生。在程序中,各个语句之间不是孤立的,一个语句执行后的不同结果可能使另一个语句执行时得到不同的结果,或者决定了另一个语句执行或者不执行,这两种情况都称前一个语句影响了后一个语句。那么,当修改程序的某个部分(语句)时,可能潜在地影响到程序的其它部分     

在于扩展数据流策略的面向对象程序测试

鉴于面向对象程序在结构，行为特征等方面不同于结构化程序的特点，在面向对象软件测试中和相适应的技术。文章提出了一种通用的代码级错误分类，并由此研究了一种扩展的数据流策略－计算效果传播特征，定义了其表示方法，分析其对于错误检测的作用，以提高发现错误的针对性。     

面向对象程序的抽象类测试之研究

许多面向对象语言支持抽象类机制,抽象类是一种特殊的类,因为它本身不能被实例化,所以对抽象类的基于执行的测试就比测试一般具体类更复杂。测试一般类需要该类的实例,然后调用方法执行测试用例,并分析测试结果,而测试抽象类就不能直接这样做了。论文首先分析了抽象类的故障特征,并提出了抽象类测试的改进方法。     

面向对象程序的异常传播分析方法

现有异常传播分析方法大多局限于单个类内部,不能满足现实软件开发的需求。为此,提出一种面向对象程序的异常传播分析方法,在类控制流图的基础上构建面向对象异常传播分析(OEPAG)图,通过得到异常在类间的传播路径并确定类间关系,从而对控制流和数据流进行有效分析。应用结果表明,将OEPAG图用于含异常处理结构的程序切片时的结果比传统程序切片结果更准确。     

一种新的面向对象软件集成测试序列生成方法

集成测试是面向对象软件测试中的重要环节。UML不仅在软件分析领域具有重要作用,同时是软件测试的有力依据。在本文中,提出了一种以UML类图为基础的面向对象软件集成测试的测试序列生成方法。从UML类图中提取类的所有信息。然后依据提取的信息计算每个类的内聚度和类间耦合度,将计算结果存入数据库中。最后根据计算的类间耦合度与类的内聚度从高到低对类进行遍历。最后生成集成测试时的类测试序列。经证明该方法对于软件有较好效果。     

面向对象程序设计语言的类型系统

本文引入了面向对象程序设计语言的类的概念,对类及春继承性给出了一种严格的形式化描述。这种形式化描述显然是建立面向对象模型的基础。     

面向对象类簇级测试中控制依赖分析方法研究

类簇控制依赖信息是进行类间数据流测试的基础。本文通过克服已有类控制流分析的不足之处,提出了CCFG算法,依照类间测试序,通过分析继承、聚集和关联等类间关系特 征进而增量式地构造类间控制流图（ICCFG算法）,并初步探讨了动态控制依赖分析方法。实验表明,上述控制流分析方法可方便地用于类间数据流测试,并能有效地探测定义一使用错误。     

基于模型的构件软件修改影响分析

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.面向构件的系统主要由第三方提供的可重用构件或者内建的可重用构件组成,因此,系统的质量好坏和维护的难易程度依赖于构件的品质.一个软件修改会给其他构件甚至整个系统带来影响,而修改影响分析是控制和消除这类影响的有效手段.然而,现有的研究很少涉及构件软件的修改影响分析,尤其缺少对系统层面的修改影响分析研究.提出了一种基于模型的系统化修改影响分析方法,该方法的基本思路是:首先提出构件及系统层面的修改影响分析模型,然后根据分析模型分别从构件和系统两个层面对构件软件修改前后的版本进行修改识别,并且利用“防火墙”方法进行影响分析.理论分析和实验结果表明,该方法是可行的,也是有效的.     

Code Based Analysis for Object-Oriented Systems

Tile basic features of object-oriented software makes it difficult to apply traditional testing methods in objectoriented systems. Control Flow Graph （CFG） is a well-known model used for identification of independent paths in procedural software. This paper highlights the problem of constructing CFG in object-oriented systems and proposes a new model named Extended Control Flow Graph （ECFG） for code based analysis of Object-Oriented （OO） software. ECFG is a layered CFG where nodes refer to methods rather than statements. A new metrics Extended Cyclomatic Complexity （E-CC） is developed which is analogous to McCabe＇s Cyclomatic Complexity （CC） and refers to the number of independent execution paths within the OO software. The different ways in which CFG＇s of individual methods are connected in an ECFG are presented and formulas for E-CC for these different cases are proposed. Finally we have considered an example in Java and based on its ECFG, applied these cases to arrive at the E-CC of the total system as well as proposed a methodology for calculating the basis set, i.e., the set of independent paths for the OO system that will help in creation of test cases for code testing.     

一种需求变更影响分析方法

需求变化的影响分析通过对其影响进行评估,为软件开发者和管理者提供有效的信息,这项工作在软件开发过程中有重要的意义.面向方面文档驱动需求工程从文本需求出发,提供了基于关注点及其关系的需求模块化、横切关注点判定及生成形式化需求文档等过程和方法.在面向方面文档驱动需求工程方法框架下,给出了一种需求影响分析方法,该方法基于矩阵确定关注点和变量之间的内部联系,应用可达矩阵计算界定关注点和变量的影响范围,定量计算关注点和变量相互之间影响程度,并通过实例分析验证了新方法的有效性.     

一种用于指针程序的形状分析方法

指针程序的分析一直是研究热点。本文提出一种基于形状图逻辑的形状分析方法,其中形状分析采用形状图来表达程序中指针的指向和相等关系,并用形状图逻辑来进行推理。形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。首先介绍所提出的形状图和形状图逻辑;然后在此基础之上,设计一种基于形状图逻辑的形状分析方法。     

一种基于类层次图的分析面向对象程序的框架

从类层次图CHG(class hierarchy graph)出发,提出一个基于CHG的分析面向对象程序的框架OOAF(object-oriented analyzing framework),讨论了OOAF的功能、算法和设计思想,给出了子对象识别以及可见方法、主导方法的确定算法,建立了可见方法类层次图;并且通过计算方法的继承集、改写集以及对方法改写边界的确定,生成程序的虚函数调用图,从而为理解面向对象程序中的虚函数调用问题提供了一种可行的解决方案.     

一种静态的 Java 程序函数调用关系图的构建方法

在程序理解中,函数之间的调用关系是程序理解研究的重要内容。一个函数往往代表了一种具体功能或问题求解的实现,构建出函数调用图有助于对程序的理解。以JAVA语言为研究对象,介绍了几种函数调用图的构建方法,并比较了它们的优劣性,并在此基础上提出了一种函数调用图的构建方法     

Precise Call Graphs for C Programs with Function Pointers

The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses through pointer dereferences, as well as indirect procedure calls (e.g., through function pointers in C). Such indirect accesses and calls can be disambiguated with pointer analysis. In this paper we evaluate the precision of one specific pointer analysis (the FA pointer analysis by Zhang et al.) for the purposes of call graph construction for C programs with function pointers. The analysis is incorporated in a production-strength code-browsing tool from Siemens Corporate Research in which the program call graph is used as a primary tool for code understanding.The FA pointer analysis uses an inexpensive, almost-linear, flow- and context-insensitive algorithm. To measure analysis precision, we compare the call graph constructed by this analysis with the most precise call graph obtainable by a large category of existing pointer analyses. Surprisingly, for all our data programs the FA analysis achieves the best possible precision. This result indicates that for the purposes of call graph construction, inexpensive pointer analyses may provide precision comparable to the precision of expensive pointer analyses.     

XYZ/E面向对象程序语义概述

XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.