金虎
- 作品数：31 被引量：74H指数：6
- 供职机构：成都信息工程大学更多>>
- 发文基金：国家科技型中小企业技术创新基金四川省重点科技攻关项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术天文地球经济管理更多>>
- 基于EM算法的软件可靠性研究被引量：1
- 2008年
- 结合边界值和等价类的方法对输入域的提取和输入点的选取作了详细分析。在考虑软件复杂性、缺陷后果严重性和信息不足等因素的基础上,提出了基于测试用例的软件可靠性模型,并结合EM算法和数理统计知识对该模型进行了相应的理论证明。实验表明,新模型具有较好的适用性。
- 李宝林李志蜀李继玲于凡金虎
- 关键词：期望最大化算法软件可靠性模型
- 基于决策到决策路径的遗传算法软件测试用例设计
- 2010年
- 测试用例生成优劣是软件测试自动化效率高低至关重要的一点,常用的随机测试用例自动生成方法虽然实现简单,但具有效率低、冗余大的缺点,而遗传算法适合于处理传统方法难以解决的非线性问题。为了提高测试效率、降低测试成本,通过分析测试用例自动生成和遗传算法的基本理论,在面向决策到决策路径的软件测试基础上,利用程序控制流图详细阐释了对基于遗传算法的测试用例自动生成技术的设计。通过与随机法自动用例生成进行试验对比,表明其效率至少是随机法10倍。
- 雷阳陈念伟金虎
- 关键词：计算机应用软件测试遗传算法
- 启发式学习自动化程序指令的可达性测试
- 2007年
- 为了测试程序指令的可达性,需要搜索可触发包含该指令的控制流路径执行的测试用例。该问题可等价为路径约束满足问题的自动求解,求解结果即为验证指令可达的测试用例。为了提高自动求解的性能,在前向检测算法基础上改进设计了R_BinSearchFC算法,算法结合了边界测试数据选取和二叉树搜索技术,可有效提高对数据空间的搜索速度,并可扩展到在实数域空间的求解搜索。实验结果表明,采用了启发式学习的R_BinSearch算法可自动生成有效的测试用例,完成对指令的可达性测试。
- 金虎李志蜀陈良银李勇军李斌孙继荣
- 关键词：自动化软件测试约束满足问题
- GIS数据的三维实时渲染方法
- 本发明公开了一种GIS数据的三维实时渲染方法，主要解决了现有技术中存在的大数据量的GIS空天格点数据用于三维地形渲染时渲染速度较慢，地形纹理数据缺乏的问题。该渲染方法包括以下步骤：设定基本地形类型参数；提取空天格点地形信...
- 金虎陈宇陈念伟
- 三维消防物联网系统
- 本实用新型公开了一种三维消防物联网系统，主要解决了现有技术中存在的消防体系的及时性和可靠性有待提高的问题。该三维消防物联网系统，包括依次相连的火灾探测器、消防报警控制器和远程监控中心，所述消防报警控制器和远程监控中心之间...
- 朱西平鄢田云金虎刁仁宏陈思洋潘书文
- 文献传递
- 基于面向路径的遗传算法的测试用例自动生成被引量：16
- 2007年
- 采用遗传算法用于自动生成测试用例的设计,算法面向路径测试作了下列工作:(1)以控制路径表CFDPATH_T为基础分析测试用例与执行路径的关系;(2)设计面向路径的遗传算法实现测试用例的自动生成,证明了该方法能实现测试用例空间上对路径的等价类划分;(3)从统计角度对该方法的错误检测能力进行了量化分析;(4)在该算法的基础上设计了试验和结果分析,结果表示该算法较随机方法有更好的性能。
- 金虎李志蜀张磊李宝林李勇军
- 关键词：遗传算法自适应测试用例
- 基于神经网络的逆运动求解方法
- 本发明公开了一种基于神经网络的逆运动求解方法，主要解决了现有技术中存在的逆运动求解数值计算时间长，收敛性难以保证，计算结果单一的问题。该基于神经网络的逆运动求解方法包括以下步骤：计算逆运动问题的等价优化问题表示；建立针对...
- 金虎陈宇朱西平陈念伟
- 文献传递
- 基于状态检测的TCP应用服务端安全测试
- 2005年
- 针对由API函数实现的TCP协议不具安全性,以及常规安全检测仅对连接初始状态进行安全测试的局限性,提出基于连接的全程状态监控的安全测试方法:1)提出了基于全程的连接监控和检测的方法,以改善系统的安全性;2)运用有限状态机的理论和方法对TCP协议进行分析,并结合状态转移序列的安全路径和临界循环路径以及时钟检测技术,提出了TCP服务端的安全测试模型;3)给出形式化描述和验证机制,在形式化定义的基础上,分析了检测方法的正确性;4)设计了TCP服务端的安全状态检测算法,进行了相应的试验验证。基于全程状态检测的安全测试对于中间过程中的安全攻击有很好的检测效果。
- 金虎李志蜀杨秋辉李奇
- 关键词：TCP协议有限自动机
- 基于遗传算法的双向关联规则挖掘
- 关联规则挖掘是数据挖掘和知识发现中一门重要技术,但基于支持度-置信度框架的关联规则挖掘存在一些问题.文章引入了双向关联规则的概念,实现了基于遗传算法的双向关联规则挖掘算法.实验证明,它能弥补传统关联规则挖掘算法的不足.
- 曾令明金虎
- 关键词：数据挖掘双向关联规则遗传算法
- 文献传递
- 消防物联网系统测试方法
- 本发明公开了一种消防物联网系统测试方法，主要解决了现有技术中存在的消防物联网系统测试方法功能不完整，无法对消防物联网系统进行全面的测试，无法满足用户需求的问题。该消防物联网系统测试方法包括建立与真实设备相对应的虚拟消防设...
- 朱西平鄢田云金虎潘书文陈思洋
- 文献传递
