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