您的位置: 专家智库 > >

李虎

作品数:40 被引量:129H指数:6
供职机构:北京航空航天大学更多>>
发文基金:国家高技术研究发展计划国家自然科学基金河北省科技支撑计划项目更多>>
相关领域:自动化与计算机技术航空宇航科学技术电子电信医药卫生更多>>

文献类型

  • 25篇期刊文章
  • 6篇专利
  • 5篇会议论文
  • 3篇学位论文
  • 1篇科技成果

领域

  • 32篇自动化与计算...
  • 1篇电子电信
  • 1篇航空宇航科学...
  • 1篇医药卫生

主题

  • 5篇断点
  • 5篇YACC
  • 4篇代码
  • 4篇软件工程
  • 3篇软件测试
  • 3篇软件开发
  • 3篇软件质量
  • 3篇统一建模
  • 3篇统一建模语言
  • 3篇文法
  • 3篇建模语言
  • 3篇分析器
  • 2篇定义语言
  • 2篇形式化
  • 2篇行搜索
  • 2篇映射
  • 2篇映射函数
  • 2篇有限状态机
  • 2篇语法
  • 2篇语法成分

机构

  • 39篇北京航空航天...
  • 2篇中国人民解放...
  • 1篇华北航天工业...
  • 1篇中国软件评测...
  • 1篇中国航天

作者

  • 40篇李虎
  • 17篇金茂忠
  • 12篇许福
  • 10篇刘超
  • 8篇高仲仪
  • 5篇刘超
  • 5篇杨海燕
  • 3篇史晓华
  • 3篇李晓丽
  • 2篇张敏
  • 2篇程杜平
  • 2篇倪辉
  • 2篇刘楠
  • 2篇龙翔
  • 2篇杨晓津
  • 1篇刘冬懿
  • 1篇张力
  • 1篇王晓蔚
  • 1篇刘辉
  • 1篇崔岩

传媒

  • 6篇北京航空航天...
  • 4篇计算机工程与...
  • 2篇计算机研究与...
  • 2篇计算机学报
  • 2篇全国第十二届...
  • 1篇南京大学学报...
  • 1篇软件学报
  • 1篇计算机辅助设...
  • 1篇系统仿真学报
  • 1篇计算机工程与...
  • 1篇微计算机信息
  • 1篇北京邮电大学...
  • 1篇航空工艺技术
  • 1篇华北航天工业...
  • 1篇装甲兵工程学...
  • 1篇计算机技术与...
  • 1篇2005’全...
  • 1篇2007全国...
  • 1篇2008全国...

年份

  • 1篇2023
  • 1篇2012
  • 5篇2010
  • 4篇2009
  • 8篇2008
  • 2篇2007
  • 3篇2006
  • 5篇2005
  • 1篇2003
  • 3篇2002
  • 6篇2001
  • 1篇1996
40 条 记 录,以下是 1-10
排序方式:
碱性阳极化处理对钛合金/环氧胶接接头耐久性的影响被引量:4
1996年
研究了几种碱性阳极化处理方法对钛合金/环氧胶接接头耐久性的影响。通过SEM观察了钛合金氧化膜的结构形貌特征;借助xps分析了钛合金氧化膜的成分;并测试了接头的胶接强度及耐久性。
徐修成王晓蔚李虎辛小花
关键词:钛合金阳极化耐久性胶接接头航空结构
Java源代码字节码剽窃检测方法及支持系统被引量:7
2010年
提出一种Java源代码和字节码都适用的剽窃检测方法并实现了支持系统,该方法以类的Java文件或class文件为比较单元,从中抽取代表程序语法和语义特征的5种特征向量,综合计算产生两个类文件之间的相似度,可用于帮助判断两个类文件之间是否存在全部或部分剽窃现象.在人工修改程序的场景下进行的对比实验结果和剽窃检测实验结果表明,该方法可有效检测程序代码的严格拷贝和近似拷贝,有较高的检测性能,并且能够识别程序剽窃行为中对Java源文件所做的大部分类型的代码变换.
李虎刘超刘楠李晓丽
关键词:JAVA源代码JAVA字节码
GLR分析器自动生成及相关问题研究
李虎
关键词:PARSER
软件质量评测的定量分析技术研究
该文的研究目的即在于,为解决上述问题开拓思路,解决其中的若干方面,并尝试以统计数据分析的各种定量方法,在软件质量评测研究技术化、科学化的方向上迈进一小步.该文首先针对传统软件质量评测过程模型的不足,提出了一个具有良好可操...
李虎
关键词:数据挖掘体系结构开发过程
文献传递
一个基于解释模拟的嵌入式软件动态仿真测试系统
本文介绍了一个嵌入式软件动态测试系统,该系统以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,能够给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等重要测试信息,从而有效地支持了嵌入式软件的动态测试和单元测...
袁媛李虎金茂忠
关键词:软件测试代码覆盖
文献传递
参数配对及n-way组合覆盖算法研究被引量:10
2012年
组合测试是软件测试数据生成研究的一个重要领域,其中参数配对组合测试的应用最为广泛.对常用的参数配对组合覆盖方法进行了综述分析.目前主流的配对覆盖算法AETG和IPO所存在的主要问题是在确定水平取值时,具有盲目性和随机性,从而难以控制测试用例的规模.为此提出了改进的AETG算法和IPO算法,改进算法通过对参数进行预处理以及综合考虑各因素的水平组合等手段,对测试用例的规模进行控制,采用更加完备的方法尽早确定水平取值.为验证新算法的有效性,进行了仿真实验和实际测试,结果表明,改进算法所生成的测试用例数量要少于原算法,测试用例约减效果更为明显;测试用例数与配对数之间、测试用例数与因素水平数之间存在着某些规律性的联系,分析得出了一系列相关的结论.在配对覆盖的基础上,提出了遗传算法与AETG算法相结合的n-way组合覆盖算法,证明了其时间复杂性较已有算法得到了改善.
黄陇杨宇航李虎
LR(k)文法任意文法位置的断点调试方法
本发明涉及LR(k)文法任意文法位置的断点调试方法,其步骤是:定义语言的LR(k)文法或LR(k)文法的子类文法G;在相应的文法位置插入断点;检查每一断点,若该断点设置在产生式右部中间的某个文法位置,则添加无用非终结符号...
许福李虎金茂忠刘超
文献传递
用于多正则表达式联合搜索的扩展有限状态机及搜索方法
本发明公开了一种扩展有限状态机,同时还公开了利用该扩展有限状态机实现对多个正则表达式同时进行搜索的方法。该扩展有限状态机增加了状态标识集合、状态转换函数标识集合、状态与状态标识的映射函数、状态转换函数与状态转换函数标识的...
许福李虎金茂忠刘超
文献传递
一个高效的语法分析器生成工具被引量:5
2005年
VPGE(VisualParserGenerationEnvironment)是一个可视化语法分析器集成开发环境,除了具有良好的界面和强大的调试功能,其LALR(1)分析器的生成速度达到并超过公认的分析器生成速度最快的LALR(1)分析器自动生成器Bison,所能处理的文法规模也优于Bison.本文在DeRemer和Pen-nello的LALR(1)分析器自动生成基本原理的基础上,在设计数据结构和算法实现中采用了大量优化技术.
张敏金茂忠李虎许福
软件质量度量元的理想取值区间反推技术被引量:1
2001年
针对软件质量度量元理想取值区间难以确定的问题,指出在推导一个度量元的理想取值区间时,应结合特定的(用户关心的)外部质量指标进行考虑,研究并提出了基于正交设计思想的度量元理想取值区间反推技术,该技术能够量化地给出度量元的理想取值区间,初步解决了度量元质量需求定义的问题。
李虎杨海燕高仲仪
关键词:正交设计反推技术软件工程
共4页<1234>
聚类工具0