贾利敏
- 作品数：4 被引量：13H指数：2
- 供职机构：兰州交通大学电子与信息工程学院更多>>
- 发文基金：甘肃省科技支撑计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 软件测试的一种数学简化方法被引量：2
- 2008年
- 在马尔可夫链模型的基础上,将软件测试结果的分析问题转化为一个经典概率问题。通过数学方法实现了软件测试模型的简化,加速了测试用例的生成,从而降低了测试的复杂度,解决了简化测试用例集难度的问题。通过实例证明,这种测试技术具有一定的实用性和有效性。
- 张忠林马海云贾利敏
- 关键词：马尔可夫链
- 一种简化依赖关系的动态程序切片算法被引量：1
- 2009年
- 动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定数据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度.
- 贾利敏张忠林
- 关键词：动态程序切片程序依赖图
- 基于灰色Markov模型动态关联规则的元规则挖掘被引量：8
- 2008年
- 介绍了增加了支持度向量和置信度向量两种规则评价指标的动态关联规则,给出了一种基于灰色M arkov模型的预测和分析动态关联规则的元规则的方法。此方法在建立灰色模型的基础上应用M arkov链理论,实验证明利用此方法挖掘的元规则要优于灰色模型等其他方法。
- 刘俊谢彦峰张忠林贾利敏
- 关键词：动态关联规则元规则
- PDG算法在动态切片技术中的应用研究被引量：2
- 2008年
- 动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维护等方面具有广泛的应用.介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用.
- 贾利敏张忠林
- 关键词：动态切片
