张志华
- 作品数：33 被引量：65H指数：4
- 供职机构：北京信息科技大学计算机学院更多>>
- 发文基金：北京市重点实验室开放基金北京市学科与研究生教育专项基金北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电气工程更多>>
- 基于神经网络的面向函数调用路径的错误定位被引量：3
- 2016年
- 为了提高程序中错误定位的准确性,提出了将BP神经网络与函数调用路径测试准则相结合的方法,依据程序的结构特点,采用分步式定位的思想,减少错误定位的范围。首先执行依据函数调用路径准则生成的测试用例获取错误定位所需信息,然后通过差异计算方法将错误定位到函数,最后针对存在错误的函数利用改进的BP神经网络定位方法将错误定位到语句,实现错误的有效定位。实验表明,该方法与已有的BP神经网络错误定位方法相比不仅提高了错误定位的效率,而且还提高了准确率。
- 赵芳牟永敏张志华
- 关键词：神经网络
- 网络多媒体课件非线性编辑系统同步技术研究
- 2009年
- 详细研究了开发网络多媒体课件非线性编辑系统时需要解决的各种同步技术,给出了基于时间线机制的视音频媒体对象多通道同步实现模型,以及ASF对象与课件资源对象的同步打点技术方案,并结合DES与VC技术给予实现。该系统的研究与开发,使得对网络多媒体课件元数据的实时采集,课件媒体的编辑、同步合成、网络发布等操作更加灵活。
- 田英爱申闫春张志华
- 关键词：非线性编辑系统
- 软件自动化测试中热点路径的研究被引量：4
- 2011年
- 在面向路径的软件测试中,对于大型系统将会产生海量的静态路径,测试人员很难对所有路径进行完全测试。本文提出热点路径的思想,运用该思想可以在繁多的静态路径中迅速找到容易引起程序缺陷的路径,通过热点函数树形化可以对热点进行快速定位显示,给软件测试人员带来更多的便捷,提高测试效率,降低测试成本。
- 牟永敏姜宇张志华
- 关键词：软件测试
- 基于函数调用路径的数据流分析错误定位被引量：4
- 2016年
- 软件调试过程中,如何高效准确地定位软件中的错误一直是一个重点也是难点。而数据是程序的中心,由数据引起的错误是软件系统中常见的。就软件测试中的错误定位针对C源程序提出一种基于函数调用路径的数据流分析的技术,着重分析程序中的数据流信息,沿着函数调用路径分析数据流的变化结合程序切片的思想来定位软件中的错误。仿真结果表明:基于函数调用路径的数据流分析错误定位方法能够有效地检查出程序中存在的与变量相关的错误。
- 宁国秀牟永敏申闫春张志华
- 关键词：数据流程序切片
- 基于遗传算法的函数级别软件错误定位被引量：4
- 2020年
- 针对软件开发过程中的错误定位问题,提出一种以函数调用路径和遗传算法为基础的软件错误定位方法FGAFL。将软件测试中的错误定位问题转化为组合优化问题,结合函数调用路径对错误定位的影响构建适应度函数。通过遗传算法在候选种群中迭代搜索具有较高可疑度的候选错误分布,得到最优解。根据最优解对程序中的函数按可疑度进行排序,依次检查函数并定位错误的具体位置。实验表明,FGAFL方法可以有效降低运算量并缩减代码审查的范围,提高错误定位的精度和效率。
- 黄晴雁牟永敏崔展齐张志华
- 关键词：遗传算法适应度函数
- 软件项目综合实践课程评测方法分析与研究被引量：1
- 2017年
- 在充分研究国内外教学评测方法理论与实践的基础上,以项目为驱动的软件开发综合实践课程为例,结合形成性评测和终结性评测理论,提出分阶段构建实践课程的形成性评测模型;结合跟踪和反馈信息,与终结性评测进行合理加权,进而得出课程评测结果,同时结合北京信息科技大学的软件项目综合实践课程,详细阐述该课程的评测过程与方法。
- 田英爱李宁李卓张伟张志华梁琦
- 基于变量依赖关系模型的变量重要性度量方法被引量：2
- 2020年
- 为了减少变量变更的代价,需要评估变量在程序中的重要程度。对变量的重要性度量有利于合理安排软件测试资源,保证软件质量。通过分析程序中各变量状态,利用变量间的依赖关系构建变量依赖关系模型,将图论和变量重要性度量相结合。针对现有节点重要性度量方法存在的局限性问题,提出一种新的基于变量依赖关系模型的变量重要性度量方法。实验表明,该方法在变量重要性度量方面的准确性相比其他方法有所提升。
- 田兴亚牟永敏张志华
- 面向危险函数调用的多粒度影响分析方法研究
- 2021年
- 针对软件开发过程中,变量变更造成的缓冲区溢出检测成本高、效率低等问题,提出了一种基于数据拓扑的危险函数调用影响分析方法,从变量粒度和路径粒度分析变量变更对危险函数调用的影响。通过静态分析源代码,提取变量定义、引用及依赖关系信息、危险函数调用信息和函数调用关系等内容;构建变量依赖关系集合,对变更变量进行数据拓扑分析,结合变量在栈内的分布规律,获取变量影响域;结合函数调用关系信息建立变量影响分析模型,获取路径影响域;根据变量影响域和路径影响域获取变更变量对危险函数调用的影响。实验结果表明,此方法界定变量变更对危险函数调用的影响更加精准。该方法可理解性和可用性较高,能够有效提高软件回归测试的精度和效率。
- 郭严磊牟永敏张志华
- 基于函数调用路径准则的测试充分性研究被引量：2
- 2016年
- 软件测试的质量决定了软件系统是否能够按照需求可靠运行,在测试过程中运用不同的测试准则得到的测试效果也各不相同,而软件测试充分性是检验软件测试准则优劣的唯一标准。基于函数调用路径准则,将路径覆盖的分析粒度由语句扩展到函数级别,不仅使测试工作量成指数降低,同时保证了测试效果。通过建立一种研究测试准则的测试充分性的指标体系运用数据包络分析法(DEA)定量计算了基于函数调用路径准则与其它测试准则的相对充分性。实验结果表明,函数调用路径准则相较于其它覆盖准则具有较高的测试充分性。
- 陈柳牟永敏张志华
- 关键词：指标体系
- 面向C#的函数调用路径生成被引量：4
- 2016年
- C#作为一种面向对象的高级语言,由于其搭载环境Visual Studio功能强大、可视性强、更新较快,而逐渐成为软件开发中的常用语言。由于C#语言包含类、对象、命名空间、重载、委托等多变而又复杂的形态,给C#程序的理解和测试带来了很大困难。提出一种基于Visual Studio的代码图提供的信息提取C#函数调用路径的方法。首先从代码图的XML表示——DGML的信息中获取函数、类及函数的依赖关系信息,以此为基础对源程序进行分析,提取函数调用关系树,将局部的函数调用关系树组合成全局的函数调用关系树从而得到整个软件系统的全局静态函数调用路径。实验表明,此方法能够较为准确生成C#程序的函数调用路径,从而有助于开发人员对C#程序的理解和测试,也为测试用例的自动生成奠定了基础。
- 胡明珏牟永敏张志华
