基于超级块支配图插装的软件测试工具设计与实现

通过超级块支配图来分析软件测试探针的合理插装位置,可有效地减少插装探针数量,降低代码插装对程序的影响。基于超级块支配图的代码插装原理,设计一种针对C语言的软件自动测试工具(SAT),介绍了该工具中词法语法分析器、静态分析器、代码插装器等主要功能模块的具体实现方案,同时对SAT的插装性能进行了分析。

2-连通P_3-支配图的哈密尔顿性

设G是n阶2-连通P3-支配图,我们证明了如果δ≥n/4,则G是哈密尔顿的或G∈F∪{K2,3,K1,1,3},这里F是一类已知的2-连通非哈密尔顿图.

P3-支配图哈密尔顿性的两个充分条件

在文献[3]中介绍了一个新的图类—P_3-支配图.这个图类包含所有的拟无爪图,因此也包含所有的无爪图.在本文中,我们证明了每一个点数至少是3的三角形连通的P_3-支配图是哈密尔顿的,但有一个例外图K_(1,1,3),同时,我们也证明了k-连通的(k≥2)的P_3-支配图是哈密尔顿的,如果an(G)≤k,但有两个例外图K_(1,1,3)and K_(2,3).

2-连通P_3-支配图的可迹性

令G是n阶2-连通P3-支配图,本文证明了如果G满足2N C≥n-2,则G是可迹的.

P_3-支配图哈密尔顿性的一个充分条件

在文献[4]中作为半无爪图的一个超类,作者引进P3-支配图,并研究了这类图一些性质。设G是2-连通的P3-支配图,我们证明了G是哈密尔顿的一个充分条件局部连通型条件。

P_3-支配图哈密尔顿性的两个充分条件

在文献[4]中作者引进P3-支配图,并研究了这类图的一些性质.设G是2-连通的P3-支配图,证明了G是哈密尔顿的两个充分条件fan型条件和禁止子图型条件.

3-连通P_3-支配图的Hamilton性

引进了P3-支配图并对BROERSMA HJ和VUMAR E提出的作为半无爪图的一个超类,研究了这类图的一些性质.得到:若G是n阶3-连通P3-支配图,则当n≤5δ-4时,G是Hamilton图.

基于全局支配图算法的覆盖测试方法

目前的覆盖测试存在着大量的冗余测试用例,严重影响测试的效率。基于此,介绍一种基于全局支配图算法的覆盖测试工具,通过在局部支配图中加入辅助循环树算法及寻找临近节点,提出一种全局支配图改进算法,利用该算法能够计算出覆盖源程序的最小测试用例集。实验结果表明,该算法能够减少覆盖分析时间,生成较少的测试用例和达到较高的覆盖率。

2-连通P_3-支配图的Hamilton圈

如果图G中任意一对距离为2的顶点x,y,有J(x,y)∪J'(x,y)≠Ф,则称G为P3-支配图。本文证明了:设G是n(≥3)阶2-连通P3-支配图,如果对G中任意一对不相邻的顶点x,y,有2|N(x)∪N(y)|+d(x)+d(y)≥2n-5,则G含有Hamilton圈或者G∈{K2,3,K1,1,3}。

基于分合链方法的图的意大利支配数研究

图的支配问题是图论的重要内容。根据实际应用背景的不同,衍生出了很多种不同的支配类型。意大利支配是一种新兴的支配类型。确定图的意大利支配数是多项式复杂程度的非确定性问题(即NP困难问题)。本文利用可拓学中分合链方法,证明了图的意大利支配数下界与上界相等,从而确定出图的意大利支配数。该方法可移植性好,可用于确定多种图形的不同支配数。

酸碱支配区图在化学教学中的应用

在化学教学中半定量地使用酸碱支配区图，在今天仍然有一定的现实意义。用酸碱支配区图可以直观地展示出在水溶液中弱酸和弱碱离子间的质子传递过程是如何进行的。用酸碱支配区图能确定一些弱酸弱碱盐水解的程度和形式，能判定一些多元酸碱相互反应的产物及反应方程式，能描述出一些有自身质子传递反应的化学反应过程。

GDG:一种基于逆支配点集的top-k高效查询索引方法

考虑偏好top-k计算问题,提出一种整合网格索引和DG索引的GriddedDominantGraph(GDG)混合索引结构.首先,提出基于数据点逆支配点集性质的剪枝自由点方法,该方法大大减少了构建索引中的数据点及查询时可能访问的数据点.通过网格索引高效地计算逆支配点集,并得出网格中"k-最大运算区域"和"k-最大查找区域",分别在建立索引和top-k查询阶段近似地剪枝自由点.然后,分析了查询索引阶段层次式索引(如dominantgraph(DG))在同一层次中无序访问数据点的不足,通过增加网格索引而使访问有序.计算网格概要信息并将网格单元按函数分值排序,使层次内数据点依据网格单元顺序而访问有序.由于附加的网格索引增加计算和存储开销较少,同时性能有较大提升,所以GDG适用性强.理论分析和实验结果均验证了上述方法的有效性.

云计算中偏好top-k查询的正确性验证

为解决云计算环境下偏好top-k查询结果的正确性验证问题,在现有支配图的基础上,提出了基于哈希的验证支配图(ADG-H)和基于数字签名的验证支配图(ADG-S)。ADGH能够有效地对一次性查询进行验证。而对于连续监控,采用ADG-H会引起大量的网络传输,因此提出了ADG-S,只有当数据更新影响到查询结果或验证对象时才进行必要的网络传输。实验表明了ADG-H和ADG-S的有效性。