郝鹏
- 作品数：10 被引量：16H指数：2
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家自然科学基金国家科技重大专项北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术医药卫生更多>>
- 一种面向失败测试用例稀少情况的软件错误定位方法
- 一种面向失败测试用例稀少情况的软件错误定位方法，包括五个步骤：一、对原始测试用例集中的成功测试用例进行拆分；二、成批复制失败测试用例，与拆分好的每份成功测试用例配对；三、依次输入类别均衡的子测试用例集，生成相应子排位表；...
- 郑征郝鹏
- 文献传递
- 一种面向巧合一致性问题的统计学软件缺陷定位方法
- 一种面向巧合一致性问题的统计学软件缺陷定位方法，它包括五个步骤：（1）对含有缺陷的程序插桩；（2）加载程序的测试用例，运行插桩后的程序；（3）收集程序运行成功和运行失败时桩函数的输出信息；（4）对收集到的谓词动态执行信息...
- 郑征郝鹏张震宇蔡开元
- 文献传递
- 类别比例对缺陷定位稳定性影响的实验研究
- 2013年
- 软件缺陷定位技术通过比较程序正确与错误运行过程中的不同行为特征,找出导致错误运行行为的代码。任意一种软件缺陷定位算法都有其适用的环境或条件,如果能够在其设计与选择过程中考虑到这些因素,将对提升算法的使用效果起到积极作用。在已有研究的基础上,选择了Tarantula、Zoltar等10种具有代表性的基于程序谱的缺陷定位算法作为研究对象,并通过语句级别的插桩设置,在space、flex等常用程序集上展开实验研究,提出了一种度量指标来评估不同算法受测试用例集类别比例变动的影响。实验结果表明,不同算法受类别比例变动的影响有很大差异,一些算法的定位效率受类别比例变动的影响较小,而其他算法的定位效率在类别比例变动时则呈现出跳变特性。
- 宫成郑征张震宇郝鹏饶培峰高乙超
- AMPA受体参与的出生后大鼠海马发育早期的电生理学特点被引量：2
- 2018年
- 本研究旨在探讨α-氨基-3-羟基-5-甲基-4-异恶唑丙酸(AMPA)受体参与的出生后大鼠海马发育早期的电生理学特点。选择出生后0.5月龄、1月龄、2月龄和3月龄Wistar大鼠共计48只(每组各12只)。应用全细胞膜片钳技术及MED64平面微电极阵列技术检测海马CA1区锥体神经元的被动膜特性及AMPA受体参与的自发兴奋性突触后电流(spontaneous exctitatory postsynaptic current,sEPSC)和场兴奋性突触后电位(field excitatory postsynaptic potential,fEPSP)。结果显示,海马CA1区锥体神经元在出生后0.5～3月龄期间,在被动膜特性方面表现为:膜电容与静息膜电位无显著性变化;膜输入电阻与时间常数均显著下降。在主动膜特性方面,呈现出阶段性变化:0.5～1月龄期间,s EPSC的反应表现为:振幅显著升高,频率明显增大,上升时间及下降时间显著增加;1～3月龄期间,sEPSC的反应特性与0.5～1月龄期间相反。此外,0.5～3月龄期间,海马CA1区诱发出的f EPSP范围明显扩大,而幅值显著减小;各月龄海马CA1区诱发出的fEPSP幅值均可被AMPA受体竞争性拮抗剂6-氰基-7-硝基喹喔啉-2,3-二酮(CNQX)明显降低。以上结果提示,在出生后大鼠海马发育早期过程中,AMPA受体作为调节突触传递和突触联系的主要兴奋性受体,可以促进海马的发育及功能成熟。
- 陈雪怡张皑峰赵文赵文赵文郝鹏段红梅郝鹏
- 关键词：AMPA受体全细胞膜片钳技术
- 一种面向巧合一致性问题的统计学软件缺陷定位方法
- 一种面向巧合一致性问题的统计学软件缺陷定位方法，它包括五个步骤：（1）对含有缺陷的程序插桩；（2）加载程序的测试用例，运行插桩后的程序；（3）收集程序运行成功和运行失败时桩函数的输出信息；（4）对收集到的谓词动态执行信息...
- 郑征郝鹏张震宇蔡开元
- 文献传递
- 基于谓词执行信息分析的自适应缺陷定位算法被引量：7
- 2014年
- 查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词的执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词的执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性.
- 郝鹏郑征张震宇高乙超宫成薛云志
- 关键词：自适应软件测试
- 一种基于谓词执行信息分析的自适应软件缺陷定位方法
- 一种基于谓词执行信息分析的自适应软件缺陷定位方法，它有七大步骤：(1)对含缺陷的程序插桩；(2)加载程序的测试用例，运行插有桩函数的程序；(3)分别收集程序运行成功时和运行失败时，桩函数的输出信息；(4)对每个谓词在所有...
- 郑征郝鹏李伟宫成蔡开元
- 文献传递
- 基于谓词执行序列的软件缺陷定位算法被引量：11
- 2013年
- 谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法(PBSD)的定位效果.文中主要围绕两个问题进行研究:(1)是否可以通过增加谓词的执行信息量来提高算法的定位精度?(2)执行信息量与算法定位精度有什么关系?在此基础上,设计了一种基于谓词执行序列的软件缺陷定位算法,通过引入谓词执行序列增大算法使用的谓词执行信息量.实验表明,增大谓词执行信息量确实可以提高缺陷定位精度,且当程序中谓词执行信息量充足时,定位精度会随信息量的增加不断提高.
- 李伟郑征郝鹏高乙超饶培峰宫成
- 关键词：谓词
- 一种面向失败测试用例稀少情况的软件错误定位方法
- 一种面向失败测试用例稀少情况的软件错误定位方法，包括五个步骤：一、对原始测试用例集中的成功测试用例进行拆分；二、成批复制失败测试用例，与拆分好的每份成功测试用例配对；三、依次输入类别均衡的子测试用例集，生成相应子排位表；...
- 郑征郝鹏蔡开元
- 文献传递
- 一种基于谓词执行信息分析的自适应软件缺陷定位方法
- 一种基于谓词执行信息分析的自适应软件缺陷定位方法，它有七大步骤：(1)对含缺陷的程序插桩；(2)加载程序的测试用例，运行插有桩函数的程序；(3)分别收集程序运行成功时和运行失败时，桩函数的输出信息；(4)对每个谓词在所有...
- 郑征郝鹏李伟宫成蔡开元
- 文献传递
