叶钢
- 作品数:16 被引量:9H指数:2
- 供职机构:北京航空航天大学更多>>
- 发文基金:国家重点基础研究发展计划国家自然科学基金中国博士后科学基金更多>>
- 相关领域:自动化与计算机技术航空宇航科学技术更多>>
- 一种基于Kolmogorov-Smirnov检验的缺陷定位方法被引量:4
- 2013年
- 现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果同时表明,谓词的实际分布背离了基于参数假设检验的方法所假设的正态分布.基于以上发现,提出了一种基于Kolmogorov-Smirnov检验的缺陷定位方法.在西门子测试集和大型程序上的实验结果表明:该方法在小样本和非正态分布的样本集上具有较好的适用性.若谓词在某个测试用例执行时未被执行,已有的方法将该执行中此谓词的评估偏差值设为0.5.在西门子程序集上调查了该设置的有效性,实验结果表明:对于基于Kolmogorov-Smirnov检验的缺陷定位方法,该设置可以提高缺陷定位的效率.
- 叶钢余丹李重文李先军尹杰吕江花马世龙
- 关键词:软件测试
- 一种分布式信息系统接口自动化测试方法
- 本发明为一种分布式信息系统接口自动化测试方法,涉及软件自动化测试领域。在与被测系统独立的主机中部署自动化测试控制端,被测主机中部署代理程序,自动化测试控制端解析测试用例文件,并查看该测试用例是否能够执行,若能则向被测主机...
- 尹杰储大为余丹叶钢张强王志超马世龙
- 文献传递
- 基于工作流的航天器测试信息化系统的建模与分析被引量:3
- 2009年
- 针对我国航天器关键测试工作主要还是由测试人员手工完成的问题,通过对测试活动的分析研究,提出了一个开放的航天器信息化测试环境体系结构,并且将工作流的思想引入到航天器的信息化测试领域中,定义出了一种航天器测试流程建模语言,对提高我国航天器测试的效率和水平将起到一定的作用.
- 余丹叶钢李先军李重文马世龙
- 关键词:航天器测试体系结构
- 一种大数据量的曲线显示查询方法
- 本发明提出了一种大数据量的曲线显示查询方法,属于计算机数据分析领域,首先获取用户查询条件,判断总数据个数是否大于绘制点个数,如果大于则将时间区间等数据量分为n段,并计算得到各个时间段内要获取的点的个数,然后根据各时间段的...
- 李重文李先军叶钢姚文涛
- 文献传递
- 一种数据持久化实现方法
- 本发明提供了一种数据持久化实现方法。在数据库中构建与业务实体类对应的表,使用反射类库API获取业务实体类的字段信息,从而构造相应的SQL语句,实例化应用层所传递参数相应的数据访问类,并使用反射类库激活参数中的获取方法后,...
- 余丹徐帆叶钢李先军马世龙
- 文献传递
- 一种曲线数据存储装置及其存储方法
- 本发明提出了一种曲线数据存储装置及其存储方法,其中一种曲线数据存储装置,包括底层数据库管理模块、曲线数据库引擎、元数据管理模块、曲线结构化查询语言到标准结构化查询语言转换模块、曲线数据可视化模块,该装置提供一种曲线数据到...
- 周家杰姚小放叶钢马世龙
- 基于控制流交集的缺陷自动定位装置及其自动定位方法
- 本发明公开一种基于控制流交集的缺陷自动定位装置及其方法。该装置包括类文件改装模块、测试执行模块、成功/失败分类模块、Trace文件解析模块、失败执行交集模块、排序模块和源代码映射模块,将被测Java类文件经类文件改装模块...
- 叶钢余丹李重文周家杰马世龙
- 文献传递
- 一种大数据量的曲线显示查询方法
- 本发明提出了一种大数据量的曲线显示查询方法,属于计算机数据分析领域,首先获取用户查询条件,判断总数据个数是否大于绘制点个数,如果大于则将时间区间等数据量分为n段,并计算得到各个时间段内要获取的点的个数,然后根据各时间段的...
- 李重文李先军叶钢姚文涛
- 一种数据持久化实现方法
- 本发明提供了一种数据持久化实现方法。在数据库中构建与业务实体类对应的表,使用反射类库API获取业务实体类的字段信息,从而构造相应的SQL语句,实例化应用层所传递参数相应的数据访问类,并使用反射类库激活参数中的获取方法后,...
- 余丹徐帆叶钢李先军马世龙
- 文献传递
- 基于非参数假设检验的程序缺陷定位方法
- 2012年
- 调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法.
- 叶钢李重文余丹马世龙
- 关键词:软件测试