国家自然科学基金(91018002)
- 作品数：15 被引量：47H指数：4
- 相关作者：宫云战王雅文金大海黄俊飞杨朝红更多>>
- 相关机构：北京邮电大学装甲兵工程学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- Java中空指针引用故障的静态检测方法被引量：5
- 2011年
- 空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形式化描述此类故障模型,然后根据故障状态机的创建条件及待检测代码的语义信息确定是否创建该类型的状态机,并将创建的状态机实例置于控制流图入口节点,根据数据流分析的结果对故障状态进行迭代以检测空指针引用问题。该方法已在缺陷检测系统(defect testing system,DTS)中应用,对Robocode等工程的检测结果证明本文方法可以有效地检测出空指针引用问题。
- 杨睿金大海宫云战马跃
- 关键词：软件测试状态机控制流图
- BPEL静态缺陷检测方法被引量：2
- 2011年
- 为了对广泛流行的业务流程执行语言(BPEL)进行静态缺陷检测,深入研究了BPEL程序中可能存在的各种缺陷,提出了面向缺陷模式的BPEL静态检测方法.面向缺陷模式检测的方法采用扩展有限状态机对缺陷进行建模,通过属性状态变迁条件判断缺陷状态,并在所有控制流汇合节点上合并相同属性状态的状态机实例,从而避免了冗余判断的问题.该方法已用于BPEL的缺陷检测系统中.实例验证结果说明,采用该方法进行测试有效可行,可用于提升流程的可靠性和准确性.
- 杨学红黄俊飞宫云战刘传昌
- 关键词：业务流程执行语言WEB服务组合
- 覆盖测试中基于回溯法的路径选择被引量：4
- 2014年
- 单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高自动化单元测试的覆盖率,本文提出了一种面向目标覆盖元素,基于回溯法遍历程序控制流图,选择可达路径的方法。该方法从函数入口节点开始,进行深度优先的路径遍历,以当前的部分路径是否可达和当前节点是否能够到达目标覆盖元素,作为回溯的条件进行回溯,最终获得一条经过目标覆盖元素的可达路径。最后结合测试用例生成对5个函数单元与原有的选路方案进行语句覆盖测试的对比实验,平均覆盖率从70%提升到了90%,验证了该方法能够有效地提升覆盖率。又针对linux实际大工程进行语句,分支,MCDC覆盖的选路实验,能够获得较高的覆盖率,验证了该方法能够适用于多种不同覆盖准则下的选路。
- 俞濛黄俊飞
- 关键词：软件测试不可达路径
- 过程约束信息在软件静态测试中的应用被引量：1
- 2011年
- 为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向量和约束向量的生成算法,以及约束向量的传播和使用算法;最后在现有实验环境软件缺陷检测系统(DTS)的基础上,对比应用过程约束信息前后对测试结果的影响.实验结果表明,过程约束信息可以在一定程度上提高软件静态测试的准确性.
- 金大海宫云战杨朝红肖庆
- 关键词：软件测试
- 基于区间缩减的自动化打桩技术研究
- 单元测试中,为了屏蔽函数调用对调用点上下文环境的影响,需要进行打桩。手工打桩效率低下,影响测试进度。现有的自动打桩技术,如随机打桩,忽略了桩函数和目标覆盖路径的约束关系,使得打桩的精度不高,导致未被覆盖的路径依然没有得到...
- 周傲王雅文宫云战
- 关键词：软件测试打桩白盒测试
- 文献传递
- 区间运算中提高循环处理精度的研究
- 循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。本文提出一种基于符号运算和抽象...
- 刘莉金大海宫云战
- 关键词：循环处理
- 文献传递
- 测试用例自动生成中约束求解策略的选择
- 2011年
- 在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.
- 赖思佳王雅文宫云战
- 关键词：软件测试测试用例
- JAVA中空指针引用故障的静态检测方法
- 空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态测试方法耗时又耗力且很难达到全面覆盖的效果,本文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形...
- 杨睿金大海宫云战马跃
- 关键词：软件测试控制流图
- 文献传递
- 死路径语义下BPEL路径敏感性缺陷分析
- 2012年
- 软件缺陷是衡量软件测试充分性的一项重要指标,为了提高基于BPEL的组合Web服务流程的可靠性和健壮性,提出了一种死路径语义下路径敏感的缺陷检测方法.死路径是BPEL提供的特殊语义,不具有任何执行信息,但是可以连接两个可执行路径片段.为了避免死路径对检测精度的影响,将死路径和路径条件有机地结合起来,采用了变量的抽象取值范围来表示流程的执行状态,即属性状态条件.通过状态条件中变量抽象取值范围为空来识别不可达路径及死路径,并在汇合节点进行了属性状态条件的合并.采用一个既与死路径相关又与执行路径相关的未初始化变量的缺陷检测贯穿整个分析与验证过程,进而说明了该方法的有效性.
- 杨学红黄俊飞宫云战
- 关键词：BPEL数据流分析
- 单元覆盖测试中基于区间运算的路径选择被引量：3
- 2011年
- 单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高单元自动覆盖测试的覆盖率,该文提出了一种面向目标覆盖元素的可达路径选择方法。该方法首先选定一段从函数入口到目标覆盖元素的半条路径,然后根据区间运算判定该路径的不可达性并改造不可达路径,进而得到一条包含目标覆盖元素的可达路径。最后结合测试用例的生成对10个函数单元进行语句覆盖测试实验,单元平均覆盖率从46%提升到了70%,验证了该方法能有效地提高覆盖率。
- 王思岚王雅文宫云战
- 关键词：软件测试不可达路径
