程序中不可达路径的检测方法

doi:10.3969/j.issn.1000-3428.2006.16.032

计算机工程 ›› 2006, Vol. 32 ›› Issue (16): 86-88. doi: 10.3969/j.issn.1000-3428.2006.16.032

程序中不可达路径的检测方法

陈蕊1;张广梅1,2;李晓维1

1. 中国科学院计算技术研究所信息网络室，北京 100080；2. 山东农业大学信息科学与工程学院，泰安 271000

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2006-08-20 发布日期:2006-08-20

Detection of Infeasible Path in Procedure

CHEN Rui1; ZHANG Guangmei1,2; LI Xiaowei1

1. Network Division, Institute of Computer Technology, Chinese Academy of Sciences, Beijing 100080; 2. School of Information Science and Engineering, Shandong Agricultural University, Taian 271000

Received:1900-01-01 Revised:1900-01-01 Online:2006-08-20 Published:2006-08-20

摘要/Abstract

摘要： 对于大型软件来说，程序中不可达路径的存在增加了软件测试的耗费并严重影响了测试的准确性。通过在已生成的基本路径集中排除不可达路径的影响，有利于结构测试中各阶段的实现。提出了一种利用数据流分析信息检测不可达路径的方法。通过对条件分支相关性的探测进而确定了程序中的不可达路径，并通过适当地选取条件谓词，提高了检测分支的覆盖率。

关键词: 数据流, 不可达路径, 分支相关性

Abstract: To large-scale software, the existing of infeasible paths in procedure increases assumptions of software testing and impacts accuracy of testing seriously. Eliminating the impaction of infeasible paths is propitious to each steps of structure testing. A manner of applying information of dataflow to detection of infeasible paths is discussed in this paper. Determination of infeasible paths is implemented by detecting of branch correlation in control flow graph. Then the manner increases the rate of branches covered by selecting proper condition predication.

Key words: Dataflow, Infeasible paths, Branch correlation

中图分类号:

TP311

陈蕊;张广梅;;李晓维. 程序中不可达路径的检测方法[J]. 计算机工程, 2006, 32(16): 86-88.

CHEN Rui; ZHANG Guangmei;; LI Xiaowei. Detection of Infeasible Path in Procedure[J]. Computer Engineering, 2006, 32(16): 86-88.

http://www.ecice06.com/CN/Y2006/V32/I16/86

[1]	高峰, 姚光涛, 顾进广. 基于改进多嵌入空间的实时语义数据流推理[J]. 计算机工程, 2022, 48(2): 55-64.
[2]	郭渝洛, 边浩东, 董润婷, 唐嘉豪, 王晓英, 黄建强. 基于SIMD的并行傅里叶空间图像相似度计算[J]. 计算机工程, 2021, 47(11): 247-253.
[3]	周胜, 刘三民. 基于动态策略的多源迁移学习数据流分类研究[J]. 计算机工程, 2020, 46(5): 139-143,149.
[4]	毛亚琼, 田立勤, 王艳, 毛亚萍, 王志刚. 引入局部向量点积密度的数据流离群点快速检测算法[J]. 计算机工程, 2020, 46(11): 132-138,147.
[5]	杜诗语, 韩萌, 申明尧, 张春砚, 孙蕊. 概念漂移数据流集成分类算法综述[J]. 计算机工程, 2020, 46(1): 15-24,30.
[6]	高嘉伟,刘建敏. 一种面向轨迹信息的时序数据流异常检测算法[J]. 计算机工程, 2018, 44(5): 25-32,46.
[7]	储光,胡学钢,张玉红. 基于语义的文本数据流概念漂移检测算法[J]. 计算机工程, 2018, 44(2): 24-30.
[8]	王炜,徐凌泽,周语宁,潘鹏. MIMO干扰信道中基于非线性预编码的收发机设计[J]. 计算机工程, 2018, 44(10): 136-140.
[9]	余立苹,李云飞,朱世行. 基于高维数据流的异常检测算法[J]. 计算机工程, 2018, 44(1): 51-55.
[10]	王秀超,缪炜恺,王以松,包丹珠,杨静. 一种面向列车车载控制软件的需求分析方法[J]. 计算机工程, 2017, 43(7): 48-53.
[11]	尹忠海,赵新,周诚,褚亚男,王磊. 基于事件的CPS状态转移分层表示[J]. 计算机工程, 2017, 43(6): 270-275.
[12]	彭艺,董智超. 基于竞价机制的认知无线蜂窝网D2D功率分配方法[J]. 计算机工程, 2017, 43(5): 88-91.
[13]	陈宇涵,杜学绘,包义保. 基于通用可重构处理器的AES算法设计与实现[J]. 计算机工程, 2017, 43(5): 134-142.
[14]	何恒靖,赵伟,黄松岭. 复杂事件处理技术的应用现状及展望[J]. 计算机工程, 2017, 43(1): 20-26,31.
[15]	余成龙,王永文. SIMD非对齐访存结构设计与实现[J]. 计算机工程, 2016, 42(9): 1-4.

选择文件类型/文献管理软件名称

选择包含的内容

程序中不可达路径的检测方法

Detection of Infeasible Path in Procedure

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

程序中不可达路径的检测方法

Detection of Infeasible Path in Procedure

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价