程序图在田径裁判工作中的应用

在田径裁判工作中应用程序图，可以将裁判工作中繁杂的过程分解成为一些简单的步骤，使执裁工作层次分明，简单易行，并能使裁判员在较短的时间内了解执裁工作方法掌握执裁工作重点。     

回归测试路径优先级模型

为了提高回归测试的效率,根据组件间的调用图,找出可能的路径片段,通过测试用例的执行历史进而计算出路径片段的覆盖指数,最后对覆盖指数进行排序,提出了一种测试用例的优先级模型.用此模型可以高效地进行回归测试,及时发现程序中的错误.     

基于需求的测试覆盖

介绍了测试用例的生成方法、测试用例集优化算法和3种具体的测试需求约简策略TRR—Sub、TRR—Greedy和TRRLinear,从而帮助设计者如何设计出高效、实用的测试覆盖。     

基于路径测试的程序可测试性研究

本文从路径测试模型出发，来研究程序可测试性。通过对影响测试工作的程序结构进行分析，找出了其产生原因并提出了解决策略。     

基于Petri网的测试路径选择标准

首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准．然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以及下一步应考虑的问题．     

移动通信电波路径损耗的测试

对具体地面电波传播的信号进行测试。经比较,验证了在地面LOS范围的双斜率及室内对数距离路径损耗模式,并提出针对2．4GHz频段的拟合参数取值,对无线组网有参考价值。     

白盒测试之基本路径测试技术探析

结合教学过程中的内容,分析了白盒测试技术中覆盖率较强的测试技术——基本路径测试方法的相关概念,阐述了利用基本路径测试设计测试用例的过程,最后通过实例说明基本路径测试方法的使用.     

单元覆盖测试中基于区间运算的路径选择

单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高单元自动覆盖测试的覆盖率,该文提出了一种面向目标覆盖元素的可达路径选择方法。该方法首先选定一段从函数入口到目标覆盖元素的半条路径,然后根据区间运算判定该路径的不可达性并改造不可达路径,进而得到一条包含目标覆盖元素的可达路径。最后结合测试用例的生成对10个函数单元进行语句覆盖测试实验,单元平均覆盖率从46%提升到了70%,验证了该方法能有效地提高覆盖率。     

白盒测试技术概述

白盒测试又称为结构测试、透明盒测试、逻辑驱动测试或基于代码的测试.白盒测试是测试被测单元内部如何工作的一种方法.其目的是通过检查软件内部的逻辑结构,对软件中的逻辑路径进行覆盖测试.本文介绍6种白盒测试方法和适用场合:语句覆盖、判定覆盖、条件覆盖、判定条件覆盏、条件组合覆盖、路径覆盖.     

WS-CDL测试路径的生成与排序

为了找出WS-CDL组合流程中存在的错误,减少软件维护产生的开销,提出一种基于控制流图生成测试路径的方法,用于对WS-CDL进行测试.首先解析WS-CDL文档,根据元素特点生成各类节点,并根据流程结构确定节点的源节点和目标节点;然后通过在源节点和目标节点间添加有向边构造成控制流囹;最后通过遍历控制流图生成所有可能的测试路径.测试路径中覆盖的WS-CDL元素越多,则发现的错误数也可能越多.为提高发现错误的效率,提出了2种基于路径中元素数量的排序算法,对路径的执行顺序进行排序.实验结果表明,将测试路径按路径中未被覆盖的元素总数降序排列,可以更快地发现错误.     

基于因果图方法的测试工具的实现

因果图法是一种有效的功能测试方法，它能发现程序与外部说明书之间的差异，指出功能说明书的不完整性和二义性，它可以帮助人们系统地选择一组高效的测试用例，本文详细介绍了基于此方法开发的一个测试工具，该工具是由用户接口，数据转换，统计测试信息和判定表生成四个模块组成，同时介绍了因果图的物理存储和回溯策略等实现技术，最后对这一系统的实用性做一评价。     

关于路图的连通度

研究图 G 的路图 P_3(G)的连通度,得到3—正则连通图 G 的路图 P_3(G)是2—连通的且也是4—连通的等一些结论.     

基于攻击路径图的入侵意图识别

为了预测攻击者高层次的攻击目标,感知网络的安全态势,提出入侵意图识别方法.给出入侵意图的概念及其分类,提出一种基于层次化的攻击路径图.利用攻击路径图对攻击者的意图可达性、意图实现概率、意图实现的最短路径和攻击路径预测进行定量分析.应用有向图的最小割理论制定防护措施阻止攻击者意图的实现,为管理员的决策提供依据.实验验证了该方法的可行性和有效性.     

一种基于搜索图的自动评测模型

自动评测是当今CAA(Computer-Assisted Assessment)和e-Learning等领域研究的重要方面．考察人工评测的特点,并提出一种基于知识点搜索图的评测模型．该模型已经在基本SQL语句的培训和测试中得到了实际应用．     

关于冠图的路分解

冠图G°H是由图G和H合成的图,其中使图G的每一个顶点分别与图H的每一个拷贝的所有顶点相连.如果图G的边集合可以分解为若干个边不相交的子图H,那么称G有子图H的分解,当H是P3或P4时,就称G有{P}3,P4分解.文章讨论了一些冠图的{P}3,P4分解问题,得到冠图Pm°Pn、Pm°Cn、Cm°Pn及Cm°Cn存在{P}3,P4分解.     

基于PAT树的程序静态分析方法

软件测试是软件工程的重要组成部分，程序静态分析技术是软件测试中静态测试的基础，该技术通过对程序源代码进行分析以发现其中的错误．文章提出了一种程序静态分析方法，建立了一个树形结构的模型PAT（Program Analysis Tree）形式化描述了Java程序，准确地描述了Java程序的逻辑结构．最后给出了一个基于此模型的程序分析方法．     

基于新颖MSM测试框架的IP核测试法

对SOCIP的测试方法进行了研究,提出了一种MSM（master slave monitor）4试框架．该框架结合场景式测试法和类汇编VERILOG语言,能对SOCIP核进行有效的测试,尤其是对多IP核整合阶段的系统总体测试．通过实验验证,该测试方法能够在保证一定代码覆盖率的前提下,对IP核进行有效的测试,并提高了测试后IP核的可移植性．     

图的路分解

Ｇａｌａｉ提出的小路分解（ＳＰＤ）猜想：任一连通图的路分解的路数的最小数目至多为［（ｎ＋１）／２］,迄今还未完全得以解决而这个问题在运筹、网络及信息最优传递过程中有着实际的应用价值本文利用Ｌｏａｓｚ定理证明猜想在一定条件下是成立的