期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于分支相关性分析的不可达路径检测方法 被引量:1
1
作者 姜淑娟 韩寒 +3 位作者 史娇娇 张艳梅 鞠小林 钱俊彦 《计算机研究与发展》 EI CSCD 北大核心 2016年第5期1072-1085,共14页
软件测试中,不可达路径的存在会导致测试资源浪费,有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率.分支相关性的存在是不可达路径产生的主要起因.因此,确定分支的相关性在不可达路径的检测中占据十分重要的地位.提出了... 软件测试中,不可达路径的存在会导致测试资源浪费,有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率.分支相关性的存在是不可达路径产生的主要起因.因此,确定分支的相关性在不可达路径的检测中占据十分重要的地位.提出了一种利用关联分析和数据流分析确定分支相关性的方法,进而实现不可达路径的自动检测.首先,结合静态分析和动态分析,构建反映程序中各分支判断语句静态依赖关系和动态执行信息的数据集;然后,利用关联分析和数据流分析技术确定分支的相关性;最后,根据分支相关性信息检测不可达路径.基于一组基准程序和开源程序,开展不可达路径检测实验.实验结果表明,该方法能够准确地检测出程序中的不可达路径,可以有效地提高软件测试的效率. 展开更多
关键词 软件测试 不可达路径 分支相关性 关联分析 数据流分析
下载PDF
程序中不可达路径的检测方法 被引量:7
2
作者 陈蕊 张广梅 李晓维 《计算机工程》 EI CAS CSCD 北大核心 2006年第16期86-88,共3页
对于大型软件来说,程序中不可达路径的存在增加了软件测试的耗费并严重影响了测试的准确性。通过在已生成的基本路径集中排除不可达路径的影响,有利于结构测试中各阶段的实现。提出了一种利用数据流分析信息检测不可达路径的方法。通过... 对于大型软件来说,程序中不可达路径的存在增加了软件测试的耗费并严重影响了测试的准确性。通过在已生成的基本路径集中排除不可达路径的影响,有利于结构测试中各阶段的实现。提出了一种利用数据流分析信息检测不可达路径的方法。通过对条件分支相关性的探测进而确定了程序中的不可达路径,并通过适当地选取条件谓词,提高了检测分支的覆盖率。 展开更多
关键词 数据流 不可达路径 分支相关性
下载PDF
Decay parameter and related properties of n-type branching processes 被引量:2
3
作者 LI JunPing WANG Juan 《Science China Mathematics》 SCIE 2012年第12期2535-2556,共22页
We consider decay properties including the decay parameter, invariant measures, invariant vectors, and quasistationary distributions for n-type Markov branching processes on the basis of the 1-type Markov branching pr... We consider decay properties including the decay parameter, invariant measures, invariant vectors, and quasistationary distributions for n-type Markov branching processes on the basis of the 1-type Markov branching processes and 2-type Markov branching processes. Investigating such behavior is crucial in realizing life period of branching models. In this paper, some important properties of the generating functions for n-type Markov branching q-matrix are firstly investigated in detail. The exact value of the decay parameter λC of such model is given for the communicating class C = Zn+ \ 0. It is shown that this λC can be directly obtained from the generating functions of the corresponding q-matrix. Moreover, the λC -invariant measures/vectors and quasi-distributions of such processes are deeply considered. λC -invariant measures and quasi-stationary distributions for the process on C are presented. 展开更多
关键词 n-type Markov branching process decay parameter invariant measures invariant vectors quasi-stationary distributions
原文传递
HOPF ALGEBRAIC APPROACH TO THE n LINEARLY RECURSIVE SEQUENCES
4
作者 LIANG GUI(Institute of Mathematics, Fudan University, Shanghai 200433, China) 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 1994年第2期141-146,共6页
It is proved that a linearly recursive sequence of n indices over field F (n≥1) is automatically a product of n linearly recursive sequences of 1-index over F by the theory of Hopf algebras.By the way, the correspond... It is proved that a linearly recursive sequence of n indices over field F (n≥1) is automatically a product of n linearly recursive sequences of 1-index over F by the theory of Hopf algebras.By the way, the correspondence between the set of linearly recursive sequences of 1-index and F[X]° is generalized to the case of n-index. 展开更多
关键词 Hopf algebra Linearly recursive sequence Recursive relation.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部