李重文
- 作品数:21 被引量:12H指数:3
- 供职机构:湖南师范大学更多>>
- 发文基金:国家自然科学基金湖南省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术航空宇航科学技术更多>>
- 基于控制流交集的缺陷自动定位装置及其自动定位方法
- 本发明公开一种基于控制流交集的缺陷自动定位装置及其方法。该装置包括类文件改装模块、测试执行模块、成功/失败分类模块、Trace文件解析模块、失败执行交集模块、排序模块和源代码映射模块,将被测Java类文件经类文件改装模块...
- 叶钢余丹李重文周家杰马世龙
- 文献传递
- 一种基于Kolmogorov-Smirnov检验的缺陷定位方法被引量:4
- 2013年
- 现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果同时表明,谓词的实际分布背离了基于参数假设检验的方法所假设的正态分布.基于以上发现,提出了一种基于Kolmogorov-Smirnov检验的缺陷定位方法.在西门子测试集和大型程序上的实验结果表明:该方法在小样本和非正态分布的样本集上具有较好的适用性.若谓词在某个测试用例执行时未被执行,已有的方法将该执行中此谓词的评估偏差值设为0.5.在西门子程序集上调查了该设置的有效性,实验结果表明:对于基于Kolmogorov-Smirnov检验的缺陷定位方法,该设置可以提高缺陷定位的效率.
- 叶钢余丹李重文李先军尹杰吕江花马世龙
- 关键词:软件测试
- 面向航天器自动化测试的通用测试语言及系统的研究与应用
- 马世龙朱楠李先军孙波李重文王华茂
- 该成果属于计算机信息技术领域。为提高航天器测试效率与测试能力提供了创新性解决方案,主要技术创新点包括:作为测试语言的理论基础,提出了航天器自动化测试模型,首次以形式化方法证明了复杂航天器系统自动化测试的理论可行性;基于上...
- 关键词:
- 关键词:自动化测试航天器
- 一种基于XML文档描述的界面生成方法和装置
- 本发明提出了一种基于XML文档描述的界面生成方法和平台。界面生成引擎查找编写好的界面请求映射文件,获取样式描述文档的存储地址,并查找样式描述文档,调用样式文档解析模块生成对应的样式模型树,根据样式模型树的根节点属性设置界...
- 吕江花郑雯李先军余丹李重文
- 文献传递
- 一种海量广播数据入库的实现方法
- 本发明提出了一种海量广播数据入库的实现方法,通过按照一定周期接收广播数据,以数据文件方式分类型、分时、分列缓存数据信息,并以轮询的方式完成数据解析和入库过程,在接收、解析与入库的过程中生成相应的接收统计信息,发送到入库监...
- 李先军李重文谢静赵莉
- 文献传递
- 基于工作流的航天器测试信息化系统的建模与分析被引量:3
- 2009年
- 针对我国航天器关键测试工作主要还是由测试人员手工完成的问题,通过对测试活动的分析研究,提出了一个开放的航天器信息化测试环境体系结构,并且将工作流的思想引入到航天器的信息化测试领域中,定义出了一种航天器测试流程建模语言,对提高我国航天器测试的效率和水平将起到一定的作用.
- 余丹叶钢李先军李重文马世龙
- 关键词:航天器测试体系结构
- 一种大数据量的曲线显示查询方法
- 本发明提出了一种大数据量的曲线显示查询方法,属于计算机数据分析领域,首先获取用户查询条件,判断总数据个数是否大于绘制点个数,如果大于则将时间区间等数据量分为n段,并计算得到各个时间段内要获取的点的个数,然后根据各时间段的...
- 李重文李先军叶钢姚文涛
- 文献传递
- 一种C/S和B/S混合架构模式实现方法和平台
- 本发明一种C/S和B/S混合架构模式实现方法和平台,基于web服务技术和AJAX技术分别为C/S和B/S模式下不同的客户端提供统一的服务器实现,C/S模式客户端基于SOAP协议访问服务,B/S模式富客户端基于AJAX技术...
- 刘波李先军李重文郑雯
- 文献传递
- 一种动态报表生成方法及平台
- 本发明提供了一种动态报表生成方法及平台,用一种根据业务特征定义的数据集模型来组织数据、提取数据模型定义、基于数据集模型的数据绑定以及报表结构的变换规则配置,并通过报表生成引擎自动生成报表实例,形成一种生成报表的方法。通过...
- 韩一李先军李重文
- 文献传递
- 一种基于XML文档描述的界面生成方法和平台
- 本发明提出了一种基于XML文档描述的界面生成方法和平台。界面生成引擎查找编写好的界面请求映射文件,获取样式描述文档的存储地址,并查找样式描述文档,调用样式文档解析模块生成对应的样式模型树,根据样式模型树的根节点属性设置界...
- 李先军郑雯余丹李重文马世龙
- 文献传递