搜索筛选:
搜索耗时1.3944秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：Huang Junfu,Wang Yawen,Gong Yunzhan,Jin Dahai,
来源：中国邮电高校学报（英文版） 年份：2021
Cross-project defect prediction (CPDP) uses one or more source projects to build a defect prediction model and applies the model to the target project.There is usually a big difference between the data distribution of the source project and......
[会议论文] 作者：Zhou Li,周莉,Jin Dahai,金大海,Gong Yunzhan,宫云战,
来源：第七届中国测试学术会议 年份：2012
未初始化变量是C/C++中的常见故障，本文针对未初始化变量提出了一种域敏感变量过程间静态检测方法。本文首先分析了一个由函数调用引起的域敏感变量使用未初始化模式的例子，然后提出了域敏感变量过程间约束信息模型和域成员变量过程间约束信息模型，在此基础上，介绍......
[会议论文] 作者：Nie Minhui,聂敏慧,Jin Dahai,金大海,Gong Yunzhan,宫云战,
来源：第七届中国测试学术会议 年份：2012
本文针对数组越界模式提出了多变量约束的过程间静态检测方法。本文首先分析了一个过程间数组越界模式的例子，然后提出了多变量约束的模型，用一个四元组来表示多变量约束信息。在此模型的基础上，介绍了多变量约束的生成、传播算法以及使用方法。此方法在前置约束信......
[会议论文] 作者：Xiang Wentao,Jin Dahai,Gong Yunzhan,向文韬,金大海,宫云战,
来源：第七届中国测试学术会议 年份：2012
本文针对内存泄漏提出了路径敏感的过程间静态测试方法，旨在减少函数调用中条件分配或释放内存引起的误报。本文首先分析了一个产生该类误报的例子；然后定义了路径敏感函数......
[会议论文] 作者：Xiang Wentao,向文韬,Jin Dahai,金大海,Gong Yunzhan,宫云战,
来源：第七届中国测试学术会议 年份：2012
本文针对内存泄漏提出了路径敏感的过程间静态测试方法，旨在减少函数调用中条件分配或释放内存引起的误报。本文首先分析了一个产生该类误报的例子；然后定义了路径敏感函数特征(PSF)的四元组模型，并定义且描述了辅助生成路径信息的过程间定义使用向量；在模型和向量......
相关搜索：
