期刊文献+
共找到70篇文章
< 1 2 4 >
每页显示 20 50 100
基于梯度方向直方图词袋的纺织品疵点检测算法 预览
1
作者 刘海军 单维峰 +1 位作者 韩莹 李忠 《毛纺科技》 CAS 北大核心 2019年第3期71-76,共6页
特征提取是疵点检测的关键问题,在分析纺织品纹理结构特点的基础上,受词袋模型的启发,设计了一种基于梯度方向直方图袋的特征提取方法。首先将所有图像分块提取梯度方向直方图描述子,对所有描述子进行k-means聚类构建纹理字典,最后统计... 特征提取是疵点检测的关键问题,在分析纺织品纹理结构特点的基础上,受词袋模型的启发,设计了一种基于梯度方向直方图袋的特征提取方法。首先将所有图像分块提取梯度方向直方图描述子,对所有描述子进行k-means聚类构建纹理字典,最后统计图像在纹理字典上的频次直方图作为原始图像的特征向量。采用最近邻分类器进行分类。为了验证算法的效果,设计了5种梯度模板方案,并在平纹织物数据集和斜纹织物数据集上分别进行实验。在最佳参数下,算法分类准确率达到96.34%和95.33%。 展开更多
关键词 纺织品 疵点检测 梯度方向直方图 词袋模型
在线阅读 下载PDF
梁板结构的微小缺陷检测方法研究 预览
2
作者 林起本 钟舜聪 +2 位作者 范学腾 唐长明 方波 《机电工程》 CAS 北大核心 2019年第7期680-684,共5页
针对板梁结构的微小缺陷识别问题,对板梁结构的模态振型和模态频率进行了研究,提出了基于小波变换和移动质量法的板梁结构缺陷识别方法。对“质量块在结构表面移动过程中,质量块-板梁耦合结构的固有频率会随移动位置的变化而改变,且当... 针对板梁结构的微小缺陷识别问题,对板梁结构的模态振型和模态频率进行了研究,提出了基于小波变换和移动质量法的板梁结构缺陷识别方法。对“质量块在结构表面移动过程中,质量块-板梁耦合结构的固有频率会随移动位置的变化而改变,且当质量块位于结构缺陷位置时,固有频率会发生微小突变”的性质进行了研究,得到了随质量块位置变化的结构频移曲面;通过改变辅助质量块的位置来探测结构的动态特性,提出了应用离散小波变换分解板梁结构的振型和频移曲面的方法,提取结构的微弱缺陷信息,为板梁结构的微小缺陷检测提供了理论支撑。研究结果表明:该方法能够有效地识别板梁结构的微小缺陷,为以后的工程应用提供了一种实用的新检测方法。 展开更多
关键词 离散小波变换 板梁结构 缺陷识别 移动质量块
在线阅读 下载PDF
应用多尺度多方向模板卷积的筒子纱缺陷检测 预览
3
作者 蔡逸超 周晓 +1 位作者 宋明峰 牟新刚 《纺织学报》 EI CAS CSCD 北大核心 2019年第4期152-157,共6页
针对筒子纱不规则的纹理基元增加缺陷检测难度的问题,提出一种基于多尺度多方向模板卷积的筒子纱表面网纱缺陷检测算法。首先通过系统采集筒子纱的顶面纹理图像;其次对原图像进行 OTSU 阈值处理,并采用椭圆拟合确定纹理位置,利用极坐标... 针对筒子纱不规则的纹理基元增加缺陷检测难度的问题,提出一种基于多尺度多方向模板卷积的筒子纱表面网纱缺陷检测算法。首先通过系统采集筒子纱的顶面纹理图像;其次对原图像进行 OTSU 阈值处理,并采用椭圆拟合确定纹理位置,利用极坐标变换将其展开;然后利用水平方向一维高斯差分算子提取边缘,通过改变高斯核的标准差获取多个尺度的边缘图像;进而将0°~180°角度区间量化成多个方向模板与各尺度的边缘图像进行卷积,并投票记录每个像素位置在各尺度下的多方向模板卷积结果的最大值;最后,选取经验阈值对最强卷积响应进行分割得到缺陷图像。实验结果表明,该方法可有效检测筒子纱表面的网纱缺陷,识别准确率达 0. 96。 展开更多
关键词 筒子纱 图像处理 缺陷检测 边缘提取 多尺度分析 模板卷积
在线阅读 下载PDF
金属柱状体工件内缺陷超声检测的特征分析 预览
4
作者 陈友兴 吴其洲 +1 位作者 刘蔺慧 高捷 《火力与指挥控制》 CSCD 北大核心 2017年第9期158-161,共4页
超声技术是检测金属柱状体工件内部缺陷的常用方法,但是在缺陷的重构和类型识别方面还缺乏有效的方法。针对超声检测金属柱状体工件内部缺陷的情况,研究单个圆周截面上360°检测得到回波信号特征的分布规律。为了深入全面地分析... 超声技术是检测金属柱状体工件内部缺陷的常用方法,但是在缺陷的重构和类型识别方面还缺乏有效的方法。针对超声检测金属柱状体工件内部缺陷的情况,研究单个圆周截面上360°检测得到回波信号特征的分布规律。为了深入全面地分析规律普遍性,采用ansys仿真软件得出不同情况下仿真回波信号,并经证实仿真回波有效;结合实际的缺陷类型和缺陷回波特点,分析了不同位置圆形、椭圆形、矩形缺陷的仿真回波信号幅值和时间延时的规律,为进一步的缺陷识别和重构奠定基础。 展开更多
关键词 缺陷检测 柱状体 超声检测 ANSYS仿真
在线阅读 下载PDF
Codecomb:基于符号执行的嵌入式软件测试案例自动生成与缺陷检测 被引量:6
5
作者 郭文生 汪勇 +1 位作者 杨霞 高敏 《小型微型计算机系统》 CSCD 北大核心 2017年第6期1250-1255,共6页
嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户... 嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户端和服务器端架构实现被测软件与测试工具的分离,将复杂的测试计算转移到服务器上,同时分离的测试架构可以更好的适用于不同嵌入式平台软件的测试.采用动态符号执行技术生成测试案例可以实现较高的分支覆盖度,进而针对程序的缺陷检查也会更加全面和深入,能够发现程序中隐藏较深的错误.实验结果表明,本文所设计的工具能够实现软件缺陷的自动化判定,并对程序运行过程中的缓冲区溢出、内存泄漏等错误准确地进行定位. 展开更多
关键词 嵌入式软件测试 插桩 动态符号执行 测试案例生成 缺陷检测
磁瓦表面图像的下包络线灰度对比度缺陷检测算法 预览 被引量:1
6
作者 刘国平 常震 胡瑢华 《机械科学与技术》 CSCD 北大核心 2017年第2期269-272,共4页
为解决磁瓦表面缺陷对比度低、整体亮度不均匀以及磁瓦图像中存在大量的冲击噪声干扰等难题,提出了一种基于下包络线灰度对比度的缺陷检测算法。首先定义扫描线灰度对比度,用下包络的方式来优化每一行扫描灰度曲线,然后计算下包络线上... 为解决磁瓦表面缺陷对比度低、整体亮度不均匀以及磁瓦图像中存在大量的冲击噪声干扰等难题,提出了一种基于下包络线灰度对比度的缺陷检测算法。首先定义扫描线灰度对比度,用下包络的方式来优化每一行扫描灰度曲线,然后计算下包络线上的最大灰度对比度并判断该点是否为缺陷区域中的点从而得到缺陷区域的“骨架”,最后通过8邻接方式对“骨架”进行扩展得到完整的缺陷区域。实验证明,该方法能够有效解决冲击噪声对图像分割的影响,克服光照不均、表面存在磨削条纹等干扰,对不同类型缺陷有较好的分割效果。 展开更多
关键词 缺陷检测 灰度对比度 下包络线 图像分割
在线阅读 免费下载
电磁超声换能器金属缺陷探测有限元仿真研究 预览 被引量:4
7
作者 钦峰 谢国利 《电子测量技术》 2016年第7期39-43,共5页
分析了电磁超声换能器(eectromagnetic acoustic transducer,EMAT)超声波发生、接受过程及导体缺陷检测的原理,然后基于电磁学理论和有限元技术,建立了一个可用于导电体内部缺陷探测的二维EMAT有限元模型。通过细分单元网格技术和理... 分析了电磁超声换能器(eectromagnetic acoustic transducer,EMAT)超声波发生、接受过程及导体缺陷检测的原理,然后基于电磁学理论和有限元技术,建立了一个可用于导电体内部缺陷探测的二维EMAT有限元模型。通过细分单元网格技术和理论与仿真结果对照验证了模型的准确性。最后仿真结果表明:仿真模型可以检测出铝和钢铁两种材质板中不同位置的内部缺陷,且对铝材质内部的缺陷探测更加有效。 展开更多
关键词 EMAT 横波 有限元 缺陷探测 仿真模型
在线阅读 下载PDF
基于机器视觉的螺纹缺陷检测方法 预览
8
作者 张银玲 沈永良 张梦营 《黑龙江大学工程学报》 2016年第4期92-96,共5页
针对目前螺纹缺陷检测方法效率低,在线检测较难实现等问题,提出了一种基于机器视觉的螺纹缺陷检测方法。通过工业CCD相机来采集螺纹的缺陷图像,对图像进行灰度化、增强、二值化和去噪处理。去噪方法选择的是数学形态学运算。数学形... 针对目前螺纹缺陷检测方法效率低,在线检测较难实现等问题,提出了一种基于机器视觉的螺纹缺陷检测方法。通过工业CCD相机来采集螺纹的缺陷图像,对图像进行灰度化、增强、二值化和去噪处理。去噪方法选择的是数学形态学运算。数学形态学的腐蚀、膨胀、开运算和闭运算操作能够有效地保留螺纹形状特性,并且有效地保留螺纹的边缘信息。通过投影的方式定位螺纹主要部位,将螺纹的顶部和底部去掉,减少误操作。该算法通过使用减法运算定位螺纹的缺陷,从而检测出螺纹缺陷位置。实验结果表明,该算法具有较强的识别和检测缺陷的能力,满足了基本的设计需求。 展开更多
关键词 螺纹 缺陷检测 机器视觉 形态学去噪 投影 减法
在线阅读 下载PDF
安全壳缺陷检测系统 预览
9
作者 张曙光 郑鹏尚 +1 位作者 赵灿松 王春苗 《仪器仪表用户》 2016年第7期94-97,共4页
安全壳的混凝土表面要定期由人工进行检测,检测的目的是发现安全壳表面的裂缝,并对比较大的裂缝进行修补。但是,由人工进行安全壳表面的检测,不但浪费人力、物力,而且具有的一定的危险性。为了代替人工进行安全壳表面的裂缝检测,开发了... 安全壳的混凝土表面要定期由人工进行检测,检测的目的是发现安全壳表面的裂缝,并对比较大的裂缝进行修补。但是,由人工进行安全壳表面的检测,不但浪费人力、物力,而且具有的一定的危险性。为了代替人工进行安全壳表面的裂缝检测,开发了一套基于图像处理的机器人缺陷检测系统。本文用爬壁机器人代替人体进行安全壳的攀爬,用相机代替人眼采集安全壳表面的图像,用图像处理软件代替人脑分析安全壳表面的裂缝信息。首先,机器人载着相机进行遍历整个安全壳表面,相机通过无线传输的方式将图像数据传到电脑上。然后,安装在电脑上面的图像处理软件,实时地对采集回来的照片进行处理,找出有裂缝特征的照片。最后,将裂缝进行处理,分析出宽度、长度等信息,记录下裂缝的位置,把这些信息一并存储到用SQL语言编写的数据库里面。 展开更多
关键词 安全壳 缺陷检测 SQL 图像处理
在线阅读 下载PDF
基于HALCON的刹车片轮廓缺陷检测方法研究 被引量:3
10
作者 曾强 孙坚 《煤矿机械》 2016年第8期143-146,共4页
设计了一种基于机器视觉技术的刹车片轮廓缺陷方法。设计了由背光光源、工业相机与图像处理计算机组成的检测系统。对于常见的刹车片轮廓缺陷,使用HALCON机器视觉软件设计检测算法,创建匹配模板,利用基于形状的模板匹配算法实现对图像... 设计了一种基于机器视觉技术的刹车片轮廓缺陷方法。设计了由背光光源、工业相机与图像处理计算机组成的检测系统。对于常见的刹车片轮廓缺陷,使用HALCON机器视觉软件设计检测算法,创建匹配模板,利用基于形状的模板匹配算法实现对图像的快速对准,最后利用差影法对刹车片轮廓缺陷进行检测。实验表明:系统能够实现刹车片轮廓缺陷的检测,具有速度快、准确率高、稳定性强等优点。 展开更多
关键词 刹车片 缺陷检测 模板匹配 差影法
一种背光源玻璃底板缺陷检测新方法 预览
11
作者 程和生 程和侠 +1 位作者 张华坤 刘路路 《合肥师范学院学报》 2015年第3期29-32,共4页
背光源玻璃底板表面缺陷检测的难点在于其扫描图像受到不均匀光照之影响,且具有较为复杂的纹理信息。为有效分割缺陷,必须在拉平背景信号与纹理信号的同时,增强Mura信号。其中背景信号与纹理信号的信息存在于小波近似系数中,而Mura信号... 背光源玻璃底板表面缺陷检测的难点在于其扫描图像受到不均匀光照之影响,且具有较为复杂的纹理信息。为有效分割缺陷,必须在拉平背景信号与纹理信号的同时,增强Mura信号。其中背景信号与纹理信号的信息存在于小波近似系数中,而Mura信号的信息存在于细节系数中。利用图像均值代替近似系数,利用对比敏感度函数加权细节系数,通过小波反变换将系数合成,使Mura信号得到增强,再利用三阈值法分割背光源玻璃底板的亮斑缺陷与毛发缺陷,最后根据图像中上下两行的关系减少误判率。实验结果表明,该算法对光照不敏感,具有良好的鲁棒性。 展开更多
关键词 缺陷检测 小波分析 对比敏感度 背光源玻璃底板表面
在线阅读 免费下载
漏磁检测系统缺陷重构算法优化研究
12
作者 钱作勤 邓苏楠 彭文韬 《武汉理工大学学报》 CAS 北大核心 2015年第3期107-111,共5页
通过霍尔传感器对采集到的原始数据信进行数据插值、漏磁信号的识别,并在二维重构算法的基础上提出了一种三维重构算法,并将该算法在建立的三维模型中进行模拟仿真验证。通过漏磁模型分析得到:其缺陷数据与对原始函数差值及真实缺陷函... 通过霍尔传感器对采集到的原始数据信进行数据插值、漏磁信号的识别,并在二维重构算法的基础上提出了一种三维重构算法,并将该算法在建立的三维模型中进行模拟仿真验证。通过漏磁模型分析得到:其缺陷数据与对原始函数差值及真实缺陷函数图像,两者经过误差分析证明该三维重构算法是合理的。 展开更多
关键词 重构算法 缺陷检测 石油管道 二维重构 三维模型
磁瓦表面图像的曲线拟合缺陷提取方法 预览
13
作者 刘国平 常震 胡瑢华 《机械设计与制造》 北大核心 2015年第9期107-110,共4页
为了克服磁瓦图像光照不均匀、缺陷区域对比度低等难点,提出了一种基于曲线拟合的图像分割方法。对磁瓦图像进行逐行扫描后得到的灰度曲线,利用形态学滤波去除尖锐的波峰和波谷,然后以二次曲线作为模型采用最小二乘法拟合平滑后的曲线... 为了克服磁瓦图像光照不均匀、缺陷区域对比度低等难点,提出了一种基于曲线拟合的图像分割方法。对磁瓦图像进行逐行扫描后得到的灰度曲线,利用形态学滤波去除尖锐的波峰和波谷,然后以二次曲线作为模型采用最小二乘法拟合平滑后的曲线得到该扫描线的灰度分布趋势,最后通过差分手段减弱背景影响、突出缺陷区域,用阈值分割将缺陷区域提取出来。实验证明该方法能够有效准确地提取不同光照下磁瓦内、外表面的不同种类缺陷,为后续缺陷的分类识别奠定了良好基础。 展开更多
关键词 磁瓦 形态学滤波 最小二乘法 曲线拟合 缺陷检测
在线阅读 下载PDF
基于OpenCV的PCB元件缺陷检测 预览
14
作者 郑帅兵 贾小军 季汉华 《电脑知识与技术》 2015年第9X期214-216,共3页
随着计算机硬件性能不断提升和图像处理技术的不断发展,基于机器视觉的无接触检测技术在各个行业得到了广泛的应用,相关技术应用于PCB元件的缺陷检测已经成为可能。利用Open CV视觉库对有出厂的PCB元件进行预处理(阈值分割、平滑滤波、... 随着计算机硬件性能不断提升和图像处理技术的不断发展,基于机器视觉的无接触检测技术在各个行业得到了广泛的应用,相关技术应用于PCB元件的缺陷检测已经成为可能。利用Open CV视觉库对有出厂的PCB元件进行预处理(阈值分割、平滑滤波、边缘处理等),然后将处理校正后的PCB图像与模板图像进行对比校对,确定匹配的细节部分,从而确定出厂PCB元件是否存在缺陷。实验表明采用Open CV进行图像处理与传统方法相比,检测效率高,程序集成度高。 展开更多
关键词 图像处理 PCB元件 缺陷检测 OPENCV
在线阅读 下载PDF
软件代码测试技术 预览 被引量:1
15
作者 金大海 宫云战 +1 位作者 王雅文 黄俊飞 《信息通信技术》 2015年第3期33-39,48共8页
在白盒测试技术中,代码缺陷模式检测和测试数据自动生成是两个典型的测试技术,目前虽然面向此类技术的工具众多,但其实现原理及应用效果却各不相同。文章基于对缺陷模式及用例生成技术的深入研究,提出一种有效的软件代码测试技术。首先... 在白盒测试技术中,代码缺陷模式检测和测试数据自动生成是两个典型的测试技术,目前虽然面向此类技术的工具众多,但其实现原理及应用效果却各不相同。文章基于对缺陷模式及用例生成技术的深入研究,提出一种有效的软件代码测试技术。首先从技术特点、技术架构、缺陷模式和关键技术四个方面介绍缺陷模式检测技术,然后从技术架构、覆盖准则和相关技术三个方面介绍自动化数据生成技术,最后将这两种技术分别应用于国产测试工具——软件缺陷检测系统(DTS)和自动化单元测试系统(CTS),取得较好的效果。 展开更多
关键词 软件测试 单元测试 缺陷检测 数据生成
在线阅读 下载PDF
磁致伸缩扭转导波管道缺陷检测数值模拟和实验研究 预览
16
作者 朱龙翔 王悦民 孙丰瑞 《中南大学学报:自然科学版》 EI CAS CSCD 北大核心 2014年第9期3001-3007,共7页
通过有限元方法对T(0,1)模态导波管道缺陷检测进行数值模拟,使用三维有限元单元建立缺陷管道模型,激励和接收T(0,1)模态导波,对管道模型中的多种缺陷进行检测。制作磁致伸缩扭转导波传感器,在实验中激励出T(0,1)模态导波对含有不... 通过有限元方法对T(0,1)模态导波管道缺陷检测进行数值模拟,使用三维有限元单元建立缺陷管道模型,激励和接收T(0,1)模态导波,对管道模型中的多种缺陷进行检测。制作磁致伸缩扭转导波传感器,在实验中激励出T(0,1)模态导波对含有不同缺陷的管道进行检测。对T(0,1)模态导波反射系数与缺陷尺寸之间的关系进行数值模拟和实验研究。研究结果表明:当频率为29 kHz时,T(0,1)模态导波反射系数随缺陷轴向长度的增加先增大后减少,随着缺陷周向长度近似呈线性增加,随缺陷深度呈曲线增加。 展开更多
关键词 T(0 1)模态导波 磁致伸缩传感器 缺陷检测 数值模拟 反射系数
在线阅读 下载PDF
基于图像处理的镜片疵病类型识别研究 被引量:2
17
作者 姚红兵 郑学良 +5 位作者 马桂殿 曾祥波 李亚茹 高原 于文龙 顾寄南 《激光与光电子学进展》 CSCD 北大核心 2013年第11期100-107,共8页
针对目前镜片生产过程中疵病人工检测的不足,根据镜片特点提出了一种镜片疵病类型识别的方法,并结合图像采集技术实现了镜片的自动化检测。系统获取图像后进行图像预处理,通过计算各疵病的面积、周长、直径等参数,根据不同疵病的外... 针对目前镜片生产过程中疵病人工检测的不足,根据镜片特点提出了一种镜片疵病类型识别的方法,并结合图像采集技术实现了镜片的自动化检测。系统获取图像后进行图像预处理,通过计算各疵病的面积、周长、直径等参数,根据不同疵病的外形特征,结合最小外接圆参数和划定的不同阈值进行运算区分,确定疵病类别。然后利用镜片各区的物理尺寸和每毫米像素数的值以及质心位置获得镜片各区的模板,并通过相并运算得出各区的不同类型疵病信息并以此确定镜片级别。结果表明:该方法可以准确识别出点、羽毛、划痕、气泡等镜片主要的疵病,精度达到0.03mm,可使企业实现镜片的自动化检测、提高生产效率成为现实。 展开更多
关键词 图像处理 图像采集 阈值 镜片 疵病检测
圆锥形物体超声自动检测系统设计 预览 被引量:3
18
作者 陈自力 陈友兴 《计算机测量与控制》 北大核心 2013年第11期2947-2949,共3页
文章针对圆锥形物体缺陷的检测要求,设计了五轴联动的超声自动检测系统,满足外径φ38~φ117mm,长度39~193mm的物体检测,并进行了抗干扰技术研究;以Vc++为平台设计了相应的软件,实现了超声自动扫描、采集和缺陷的成像、定位;... 文章针对圆锥形物体缺陷的检测要求,设计了五轴联动的超声自动检测系统,满足外径φ38~φ117mm,长度39~193mm的物体检测,并进行了抗干扰技术研究;以Vc++为平台设计了相应的软件,实现了超声自动扫描、采集和缺陷的成像、定位;通过实验验证,文章的系统能够的检测出1.5mm以上的划痕、7L状、夹杂等缺陷,满足现有物体的检测要求。 展开更多
关键词 缺陷检测 圆锥形物体 超声检测 抗干扰技术
在线阅读 下载PDF
非接触式磁力扫描技术及其在长输管道检测中的应用 预览 被引量:3
19
作者 李秋阳 李保国 +1 位作者 徐茂霞 黄贤滨 《安全.健康和环境》 2013年第10期39-41,52共4页
介绍了非接触式磁力扫描技术的原理,采用非接触式磁力扫描技术对长输管道进行了检测应用并进行了开挖验证,检测结果表明,非接触式磁力扫描技术可以在非开挖条件下对管道本体上的缺陷进行有效检测。该技术可在一定程度上弥补内检测的不足... 介绍了非接触式磁力扫描技术的原理,采用非接触式磁力扫描技术对长输管道进行了检测应用并进行了开挖验证,检测结果表明,非接触式磁力扫描技术可以在非开挖条件下对管道本体上的缺陷进行有效检测。该技术可在一定程度上弥补内检测的不足,可以作为管道内检测的重要补充手段。 展开更多
关键词 非接触式磁力扫描技术 长输管道缺陷检测
在线阅读 下载PDF
基于域敏感指向分析的区间运算在软件测试中的应用 预览 被引量:3
20
作者 周虹伯 金大海 宫云战 《计算机研究与发展》 EI CSCD 北大核心 2012年第9期1852-1862,共11页
静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不... 静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其成员进行独立描述,导致数据流无法支持域敏感分析,对和其成员变量相关的缺陷的检测难以实现,产生很多漏报.基于域敏感指向分析的区间运算模型,在域敏感指向分析模型的基础上对其进行了改进,将复杂数据类型拆分成独立的成员变量进行分析,并提出一种关联抽象取值集的类型系统,该系统可以保守的描述程序在动态执行时变量的可能取值.结合赋值语句的抽象语法定义,给出了该类型系统在数据流计算时的具体推导算法,并将其应用在缺陷检测系统(DTSGCC和DTSCPP)中.选用DTSCPP作为实验平台,对6个C++开源工程进行了测试,并对其数据进行了统计分析,结果表明该方法可以减少漏报,且测试效率与非域敏感版本相当. 展开更多
关键词 静态分析 缺陷检测 域敏感 指向分析 区间运算
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部 意见反馈