牟永敏
- 作品数：119 被引量：250H指数：9
- 供职机构：北京信息科技大学更多>>
- 发文基金：北京市自然科学基金北京市重点实验室开放基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术医药卫生文化科学经济管理更多>>
- 基于函数调用路径的软件实现与设计一致性验证
- 系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力...
- 牟永敏杨志嘉
- 关键词：软件工程设计文档源代码
- 基于变量依赖关系模型的变量重要性度量方法被引量：2
- 2020年
- 为了减少变量变更的代价,需要评估变量在程序中的重要程度。对变量的重要性度量有利于合理安排软件测试资源,保证软件质量。通过分析程序中各变量状态,利用变量间的依赖关系构建变量依赖关系模型,将图论和变量重要性度量相结合。针对现有节点重要性度量方法存在的局限性问题,提出一种新的基于变量依赖关系模型的变量重要性度量方法。实验表明,该方法在变量重要性度量方面的准确性相比其他方法有所提升。
- 田兴亚牟永敏张志华
- 面向危险函数调用的多粒度影响分析方法研究
- 2021年
- 针对软件开发过程中,变量变更造成的缓冲区溢出检测成本高、效率低等问题,提出了一种基于数据拓扑的危险函数调用影响分析方法,从变量粒度和路径粒度分析变量变更对危险函数调用的影响。通过静态分析源代码,提取变量定义、引用及依赖关系信息、危险函数调用信息和函数调用关系等内容;构建变量依赖关系集合,对变更变量进行数据拓扑分析,结合变量在栈内的分布规律,获取变量影响域;结合函数调用关系信息建立变量影响分析模型,获取路径影响域;根据变量影响域和路径影响域获取变更变量对危险函数调用的影响。实验结果表明,此方法界定变量变更对危险函数调用的影响更加精准。该方法可理解性和可用性较高,能够有效提高软件回归测试的精度和效率。
- 郭严磊牟永敏张志华
- 一种基于阴性选择的免疫检测器生成算法被引量：3
- 2008年
- 通过简单介绍计算机免疫系统的原理,并对传统阴性选择算法进行分析,针对其不足,提出了一种新的生成检测器的改进算法。对匹配规则的阈值可变,并引入了全局匹配和局部匹配的概念,提高了生成的检测器成为成熟检测器的概率。同传统的阴性选择算法相比,大大减少了不可避免的"黑洞"数量,提高了检测率。
- 李坚牟永敏
- 关键词：计算机免疫阴性选择算法
- TL16C550芯片在串行通信中的应用被引量：5
- 2008年
- 串口在嵌入式领域的有着广泛的应用,但是很多嵌入式CPU却不能提供足够的UART接口。因此,就必须采用UART芯片扩展来扩展CPU的串口。16C550是市场上比较成熟的一款UART芯片;它支持5V和3.3 V的供电电压,实用性比较强。S3C4510B是三星公司出产的一款典型的ARM7 CPU。采用16C550扩展S3C4510B的串口,具有很大的实际应用及参考意义。在此基础上,还给出了相应的编程实例。
- 周小平牟永敏
- 关键词：S3C4510B串口扩展
- 基于函数调用路径的软件实现与设计一致性验证被引量：11
- 2014年
- 软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能点特征,利用这些特征提取功能点的具体实现算法,自动生成软件的实际功能簇模型.对比两个功能簇模型,验证软件实现与设计的一致性.实验结果表明:算法能够准确获得软件系统的功能结构及实现算法特征,对软件实现与设计的一致性做出有效判定,为软件实现与设计的一致性自动化测试提出一种新的思路.
- 牟永敏杨志嘉
- 关键词：软件设计软件实现一致性
- 一种基于关联度分析的文档转换器测试方法及装置
- 本发明涉及一种基于关联度分析的文档转换器测试方法及装置，其分析文档转换器的测试用例的底层XML片段，并用功能点路径表示测试用例中所有最小粒度功能点MPF的XML片段；以参考路径为基准，对功能点路径进行关联度分析，给出了相...
- 牟永敏
- 文献传递
- 基于函数调用路径准则的测试充分性研究被引量：2
- 2016年
- 软件测试的质量决定了软件系统是否能够按照需求可靠运行,在测试过程中运用不同的测试准则得到的测试效果也各不相同,而软件测试充分性是检验软件测试准则优劣的唯一标准。基于函数调用路径准则,将路径覆盖的分析粒度由语句扩展到函数级别,不仅使测试工作量成指数降低,同时保证了测试效果。通过建立一种研究测试准则的测试充分性的指标体系运用数据包络分析法(DEA)定量计算了基于函数调用路径准则与其它测试准则的相对充分性。实验结果表明,函数调用路径准则相较于其它覆盖准则具有较高的测试充分性。
- 陈柳牟永敏张志华
- 关键词：指标体系
- 面向C#的函数调用路径生成被引量：3
- 2016年
- C#作为一种面向对象的高级语言,由于其搭载环境Visual Studio功能强大、可视性强、更新较快,而逐渐成为软件开发中的常用语言。由于C#语言包含类、对象、命名空间、重载、委托等多变而又复杂的形态,给C#程序的理解和测试带来了很大困难。提出一种基于Visual Studio的代码图提供的信息提取C#函数调用路径的方法。首先从代码图的XML表示——DGML的信息中获取函数、类及函数的依赖关系信息,以此为基础对源程序进行分析,提取函数调用关系树,将局部的函数调用关系树组合成全局的函数调用关系树从而得到整个软件系统的全局静态函数调用路径。实验表明,此方法能够较为准确生成C#程序的函数调用路径,从而有助于开发人员对C#程序的理解和测试,也为测试用例的自动生成奠定了基础。
- 胡明珏牟永敏张志华
- 基于函数调用路径准则的测试充分性获取方法
- 本发明提供一种基于函数调用路径准则的测试充分性获取方法，包括：步骤1、采用GQM范式确定测试准则充分性度量指标体系中的指标；步骤2、采用数据包络分析方法作为指标体系中的决策方法，对多个测试准则的测试充分性进行计算和比较。
- 牟永敏
