陶传奇
- 作品数：34 被引量：34H指数：4
- 供职机构：计算机软件新技术国家重点实验室更多>>
- 发文基金：国家自然科学基金国家重点实验室开放基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种利用蜕变测试评价商品搜索系统正确性的方法
- 本发明公开了一种利用蜕变测试评价商品搜索系统正确性的方法，步骤如下：初始化搜索关键字A，其中A是在购物平台进行购买的商品；在待评价的商品搜索系统中，利用关键字A进行搜索，搜索结果集合记为FR1；根据将关键字进行位置交换，...
- 陈浩陶传奇秦斐
- 文献传递
- 一种基于修改影响分析的回归测试用例生成方法
- 本发明提出了一种基于修改影响分析的回归测试用例生成方法。首先对程序建模构造出源代码的中间表示，理解源代码中各元素之间的依赖关系，辅助程序理解；然后对程序的修改信息，利用特征定位技术识别修改点在源代码中对应的修改位置，并将...
- 李必信张前东孙小兵陶传奇耿国清兰阳阳
- 文献传递
- 一种基于排斥区域的自适应随机测试的方法
- 本发明公开了一种基于排斥区域的自适应随机测试的方法，主要用于降低随机测试中测试用例生成的盲目性，同时消弱边界效应带来的问题。本发明首先确定程序的输入域；然后根据点到空间中心的距离设置排斥区域的半径大小；再根据输入域随机生...
- 李必信兰阳阳王璐璐陶传奇刘力陈艺
- 文献传递
- 一种云计算环境下的任务调度方法
- 本发明公开了一种云计算环境下的任务调度方法，是基于任务优先级和任务等待时间的动态任务调度方法。本发明方法可以在优先调度高优先级任务的基础上，减少低优先级任务的等待时间，从而提高任务调度算法在云计算环境中的运行效率，提高云...
- 李必信李伟陶传奇刘力喻析蒙
- 文献传递
- 软件变更影响分析及故障检测和定位
- 李必信吉顺慧张鹏程王璐璐廖力周颖孙小兵文万志陶传奇邱栋
- 如今，计算机软件由于其自身的缺陷导致事故频发，给国家、企业和个人带来重大的生命、财产损失，有时甚至威胁国家安全。“软件故障检测和定位”技术是发现软件缺陷、提高软件安全、保障软件质量的重要手段，是国内外学术界和企业界关注的...
- 关键词：
- 关键词：计算机软件软件维护
- 一种基于层次切片的软件错误定位方法被引量：7
- 2010年
- 提出了一种基于层次切片模型适合面向对象语言的错误定位方法.首先分别在包层、类层、方法层删去通过测试的包、类和方法,缩小软件错误存在的范围;其次,在语句层将删减后的程序按抽象语法树划分成若干模块,统计模块内变量使用的数目;通过动态分析,选取一组测试用例计算其执行历史;根据模块内使用变量数目的规模,采用逐步求精算法,计算产生错误测试用例的程序执行历史与静态分析过程中所产生模块的交集及交集的后向切片,直至实现错误定位.实验数据表明:该方法能够查出前期定位程序中绝大部分错误的位置,尤其适用在方法调用比较少的程序中.在方法调用比较频繁的程序中,由于在调用语句处迭代调用逐步求精算法,效率会降低.
- 许高阳李必信孙小兵陶传奇
- 关键词：抽象语法树
- 一种云计算环境下的任务调度方法
- 本发明公开了一种云计算环境下的任务调度方法，是基于任务优先级和任务等待时间的动态任务调度方法。本发明方法可以在优先调度高优先级任务的基础上，减少低优先级任务的等待时间，从而提高任务调度算法在云计算环境中的运行效率，提高云...
- 李必信李伟陶传奇刘力喻析蒙
- 文献传递
- 一种基于排斥区域的自适应随机测试的方法
- 本发明公开了一种基于排斥区域的自适应随机测试的方法，主要用于降低随机测试中测试用例生成的盲目性，同时消弱边界效应带来的问题。本发明首先确定程序的输入域；然后根据点到空间中心的距离设置排斥区域的半径大小；再根据输入域随机生...
- 李必信兰阳阳王璐璐陶传奇刘力陈艺
- 文献传递
- 一种基于SoaML的云应用正确性验证方法
- 本发明公开了一种基于SoaML的云应用正确性验证方法，主要用于处理云应用的建模与验证问题，本发明采用SoaML对云应用进行建模，并将所建SoaML模型转换为简单进程元语言解释器SPIN支持的建模语言PROMELA和线性时...
- 李必信耿国清王璐璐陶传奇兰阳阳司静文
- 文献传递
- 一种静态分析与知识图谱结合的Java冗余代码检测方法
- 2023年
- 冗余代码普遍存在于商业和开源软件中,它的存在可能会增加内存占用,影响代码可维护性,增加维护成本。快速类型分析算法是当前Java冗余代码检测中常用的静态分析方法,该算法在虚方法分析方面还存在一些不足。XTA是一种调用图构造算法,在处理虚方法的调用方面具有较高的精度和效率。文中提出了一种基于XTA调用图构建算法的方法来检测Java代码中的冗余代码,在一个名为“RCD”(Redundant Code Detection)的工具原型中实现了这种方法,并通过构建知识图谱辅助人工审查,以提高人工审查的效率以及冗余代码检测的可信度。通过在4个开源Java应用程序上的实验对RCD与其他3个冗余代码检测工具进行了比较。实验结果表明,RCD在检测冗余代码的准确性方面相比其他工具提高了1%~30%,同时在检测冗余虚方法的完整性方面提升了4%左右。
- 刘昕炜陶传奇
- 关键词：知识图谱
