公共文化服务平台

基于神经网络的面向函数调用路径的错误定位被引量：3: 2016年; 为了提高程序中错误定位的准确性,提出了将BP神经网络与函数调用路径测试准则相结合的方法,依据程序的结构特点,采用分步式定位的思想,减少错误定位的范围。首先执行依据函数调用路径准则生成的测试用例获取错误定位所需信息,然后通过差异计算方法将错误定位到函数,最后针对存在错误的函数利用改进的BP神经网络定位方法将错误定位到语句,实现错误的有效定位。实验表明,该方法与已有的BP神经网络错误定位方法相比不仅提高了错误定位的效率,而且还提高了准确率。; 赵芳牟永敏张志华; 关键词：神经网络

面向C程序的环形复杂度自动化计算方法: 2018年; 为准确度量软件复杂程度,提出一种环形复杂度计算方法。借助于Mc Cabe度量法,针对C语言程序,通过对源程序进行预处理,提取其中含有控制流信息的关键语句后对其进行分情况处理,从而无须借助控制流图即可实现程序环形复杂度的自动化计算。实验结果表明,该方法可以准确、高效地计算出程序的环形复杂度。; 秦振华牟永敏; 关键词：控制流图自动化计算

基于函数调用路径的数据流分析错误定位被引量：4: 2016年; 软件调试过程中,如何高效准确地定位软件中的错误一直是一个重点也是难点。而数据是程序的中心,由数据引起的错误是软件系统中常见的。就软件测试中的错误定位针对C源程序提出一种基于函数调用路径的数据流分析的技术,着重分析程序中的数据流信息,沿着函数调用路径分析数据流的变化结合程序切片的思想来定位软件中的错误。仿真结果表明:基于函数调用路径的数据流分析错误定位方法能够有效地检查出程序中存在的与变量相关的错误。; 宁国秀牟永敏申闫春张志华; 关键词：数据流程序切片

语言与图灵测试被引量：2: 2016年; 讨论了语言的三指功能(指名、指物、指心)与图灵测试的关系,指出早期的人工智能研究一般假设语言三指等价,因此致力于实现其中之一的功能.如果一个功能实现了,其他两个功能也就实现了,比如图灵测试将智能的表现限定在指名功能里.但是,现代科学已经证明,语言三指不一定等价.这给人工智能的研究带来很大挑战,本文罗列了一些开放性问题,如对话的理论计算机制等.; 于剑; 关键词：语言图灵测试

基于数据拓扑图的变量影响分析方法被引量：3: 2019年; 为了解决软件中数据变量发生异常的问题,找到该异常变量在整个程序中与其余变量之间的关系以及影响范围,提出了一种基于数据拓扑图的数据影响分析方法。研究了静态分析提取变量的依赖关系包括顺序依赖、自身依赖、节点依赖和函数依赖,得到变量的依赖影响集合,生成变量的数据拓扑图。实验结果表明,该方法能全面覆盖程序中的变量并准确地生成指定变量的数据拓扑图,且数据拓扑图能够发现在程序中被异常变量影响的变量。; 潘亚飞牟永敏; 关键词：函数依赖

文档转换器变更影响分析与测试用例优化方法: 2015年; 针对办公文档功能点数量繁多、测试用例集庞大、回归测试重复工作量大的问题,提出了一种文档转换器回归测试用例优化选择方法。对利用可扩展式样单语言转换(extensible stylesheet language transformation,XSLT)技术来实现不同文档格式间转换的转换器,提出通过创建测试功能点和转换器式样单模板的映射关系,对转换器两个版本的XSLT式样单进行变更分析,提取变更影响域信息并映射到具体测试功能点,回归测试基于变更功能点选择测试用例。实验表明,基于XSLT式样单变更域信息选择转换器测试用例的方法在保障测试充分性的同时,可显著减少回归测试用例的数量,提高测试效率,这对转换器的回归测试工作有启发意义和实用价值。; 白倩倩牟永敏

基于函数调用路径的回归测试用例选择排序方法研究被引量：11: 2016年; 针对在回归测试过程中,因为不断修复软件中存在的缺陷所造成的测试工作量大、测试效率低等问题,将测试用例选择与优先级排序技术相结合,以面向函数调用的路径覆盖生成方法为基础,提出了一种面向函数调用路径(functions calling path,FCP)的测试用例选择与排序方法。根据函数调用关系图,对程序中被修改函数与其他函数的关联性进行分析,从初始测试用例集中选择测试用例,形成回归测试用例集;然后对这些测试用例进行优先级排序,并动态地调整优先级排序结果;最后对优先级排序结果进行再次选择,确定最小的回归测试用例集。实验结果表明,测试用例选择与排序方法对优化回归测试用例是有效的,大大减少了回归测试用例数量,降低了回归测试成本。; 郑锦勤牟永敏; 关键词：测试用例选择

基于函数调用路径的软件实现与设计一致性验证被引量：11: 2014年; 软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能点特征,利用这些特征提取功能点的具体实现算法,自动生成软件的实际功能簇模型.对比两个功能簇模型,验证软件实现与设计的一致性.实验结果表明:算法能够准确获得软件系统的功能结构及实现算法特征,对软件实现与设计的一致性做出有效判定,为软件实现与设计的一致性自动化测试提出一种新的思路.; 牟永敏杨志嘉; 关键词：软件设计软件实现一致性

基于函数调用路径准则的测试充分性研究被引量：2: 2016年; 软件测试的质量决定了软件系统是否能够按照需求可靠运行,在测试过程中运用不同的测试准则得到的测试效果也各不相同,而软件测试充分性是检验软件测试准则优劣的唯一标准。基于函数调用路径准则,将路径覆盖的分析粒度由语句扩展到函数级别,不仅使测试工作量成指数降低,同时保证了测试效果。通过建立一种研究测试准则的测试充分性的指标体系运用数据包络分析法(DEA)定量计算了基于函数调用路径准则与其它测试准则的相对充分性。实验结果表明,函数调用路径准则相较于其它覆盖准则具有较高的测试充分性。; 陈柳牟永敏张志华; 关键词：指标体系

面向C#的函数调用路径生成被引量：4: 2016年; C#作为一种面向对象的高级语言,由于其搭载环境Visual Studio功能强大、可视性强、更新较快,而逐渐成为软件开发中的常用语言。由于C#语言包含类、对象、命名空间、重载、委托等多变而又复杂的形态,给C#程序的理解和测试带来了很大困难。提出一种基于Visual Studio的代码图提供的信息提取C#函数调用路径的方法。首先从代码图的XML表示——DGML的信息中获取函数、类及函数的依赖关系信息,以此为基础对源程序进行分析,提取函数调用关系树,将局部的函数调用关系树组合成全局的函数调用关系树从而得到整个软件系统的全局静态函数调用路径。实验表明,此方法能够较为准确生成C#程序的函数调用路径,从而有助于开发人员对C#程序的理解和测试,也为测试用例的自动生成奠定了基础。; 胡明珏牟永敏张志华

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(61370129)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

国家自然科学基金(61370129)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈