搜索筛选:
搜索耗时0.1128秒,为你在为你在102,285,761篇论文里面共找到 39 篇相符的论文内容
类      型:
[期刊论文] 作者:罗惠,战伟龙, 来源:城市观察 年份:2021
在城乡统筹发展的背景下,实现城乡良性双向流动给基层治理、尤其超大城市城郊农村的治理带来新的挑战.村规民约作为村民自治的重要实践内容,应作为基层治理的重要抓手,应适应新时代,作出新的理解与完善.本研究通过对广州市1144个涉农行政村的资料分析与田野调查......
[会议论文] 作者:惠战伟,黄松, 来源:第13届全国博士生学术年会——物联网专题 年份:2015
整数溢出被认为是当前软件系统最危险的安全故障之一.本文针对现有整数溢出故障测试方法存在的测试判定难题,提出了一种基于蜕变关系的整数溢出故障实时测试方法.该方法通过对现有的静态测试选择危险整数,然后基于"定义-使用模型"确定相关的危险使用,最后在源程......
[会议论文] 作者:惠战伟,黄松, 来源:第十一全国博士生学术年会——信息技术与安全专题 年份:2013
"测试判定问题"(Test Oracle Problem)是影响软件测试技术发展的瓶颈问题之一.1998年T.Y.Chen教授针对该问题提出了软件蜕变测试技术,从而为解决该难题提供了一种有效的途径.蜕变测试技术经过二三十年的发展,已经在不同领域的软件测试中取得了重大的应用突破,并......
[期刊论文] 作者:罗惠, 战伟龙, 来源:城市观察 年份:2021
在城乡统筹发展的背景下,实现城乡良性双向流动给基层治理、尤其超大城市城郊农村的治理带来新的挑战。村规民约作为村民自治的重要实践内容,应作为基层治理的重要抓手,应适应新时代,作出新的理解与完善。本研究通过对广州市1144个涉农行政村的资料分析与田野调......
[期刊论文] 作者:黄松,黄玉,惠战伟, 来源:计算机工程与设计 年份:2016
抽象语法树(abstract syntax tree,AST)作为程序一种重要的中间表示形式,在代码分析领域中有着广泛的应用。如何针对Java程序生成其抽象语法树是在进行代码静态分析前必不可少...
[期刊论文] 作者:吕增援,黄松,惠战伟, 来源:解放军理工大学学报:自然科学版 年份:2015
为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定...
[期刊论文] 作者:蒋超,黄松,惠战伟,, 来源:计算机技术与发展 年份:2019
图像区域增长是图像处理技术研究的热点问题,是图像分割的重要手段。图像处理软件的测试面临测试判定难题,当前其结果判定主要由领域专家依赖其经验完成,其准确性无法保证并且效率低下。蜕变测试技术有效缓解了测试判定问题,并且已成功应用于诸多领域,但是当前......
[会议论文] 作者:惠战伟[1]黄松[2], 来源:第十一全国博士生学术年会——信息技术与安全专题 年份:2013
  "测试判定问题"(Test Oracle Problem)是影响软件测试技术发展的瓶颈问题之一.1998年T.Y.Chen教授针对该问题提出了软件蜕变测试技术,从而为解决该难题提供了一种有效的途...
[期刊论文] 作者:丁瑞浩,黄松,惠战伟, 来源:指挥信息系统与技术 年份:2013
摘要:蜕变测试应用于数值计算时,通常因截断和舍入误差以及误差传播导致蜕变关系成立判定产生偏差。以地形量算程序中不规则区域面积量算的蜕变测试为例,提出了蜕变测试的计算误......
[期刊论文] 作者:惠战伟,黄松,嵇孟雨, 来源:计算机学报 年份:2012
随着软件业的飞速发展,人们对软件质量的要求也越来越高.整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一.如何准确定位整数溢出错误是软件安全领域研......
[会议论文] 作者:惠战伟,黄松,谈利群, 来源:2008年中国计算机学会体系结构专委会学术年会(ACA08) 年份:2008
总结了相关标准对软件可信属性的定义,在现有软件可信性定义的基础上给出了军用关键软件的可信性定义。对现有的软件可信性及其可靠性、数据安全性、防危性等可信性子属性相关的测评技术进行了总结,综述了软件可信性评估技术发展的国内外现状。分别从软件可靠性......
[期刊论文] 作者:黄文化,黄松,惠战伟,夏凯, 来源:指挥信息系统与技术 年份:2011
安全性需求的提取是确保软件安全的关键。介绍了安全性需求的定义、目的以及种类,研究了当今主要的安全性需求提取方法,指出了未来安全性需求研究的重点和发展方向。...
[期刊论文] 作者:雷宇,黄松,于秀山,惠战伟, 来源:南通大学学报:自然科学版 年份:2016
白盒测试依赖于被测程序的内部逻辑结构,人工分析程序结构的方法存在分析效率低、成本高的不足,同时,对从事分析的人员素质也提出了较高的要求.针对该问题,基于C程序提出了一...
[会议论文] 作者:黄松,陈然,惠战伟,蒋圆圆, 来源:第三届信息安全漏洞分析与风险评估大会 年份:2010
回归测试作为软件生命周期的一个组成部分,在整个软件测试过程中占有很大的工作量比重,特别是GUI(Graphical User Interface)软件会进行多次回归测试.因此,本文针对面向对象软件提出了基于功能图的回归测试方法,该方法基于功能图对GUI进行描述,通过对比前后版本......
[期刊论文] 作者:程星星, 黄松, 惠战伟, 史涯晴,, 来源:南通大学学报(自然科学版) 年份:2016
国际功能点用户组(international function point user group,IFPUG)度量方法可以在软件项目的全生命周期度量项目规模,但是传统的IFPUG功能点度量方法在度量数据功能和事务功...
[期刊论文] 作者:惠战伟, 黄松, 张婷婷, 刘剑豪,, 来源:计算机科学 年份:2016
针对传统的蜕变测试模型MTM存在的局限性,提出了一种基于蜕变关系的测试模型MRTM。首先通过对比分析,指出了MRTM的适用范围等特点;其次,针对MTM和MRTM都面临的失效测试用例难...
[期刊论文] 作者:李留义, 黄松, 惠战伟, 邹珊,, 来源:南通大学学报(自然科学版) 年份:2016
基于ASM解析字节码文件的算法,提出一种基于Java字节码的软件设计信息提取的方法.在此方法基础上,设计并实现了以Java字节码文件作为输入,MS Word格式的软件设计说明文档作为...
[期刊论文] 作者:赵志恒,于秀山,黄松,惠战伟,, 来源:计算机工程与设计 年份:2016
通过对目前图形用户界面(graphical user interface,GUI)自动化测试理论和技术的分析比较,提出一种利用窗体钩子(Windows Hook)技术自动捕获基于.NET Framework框架下图形用户界面软件测试操作过程的解决方法。利用分类捕获和优先捕获策略对不同的操作对象进行......
[期刊论文] 作者:惠战伟,黄松,李辉,刘剑豪,, 来源:计算机工程与设计 年份:2016
蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化......
[期刊论文] 作者:黄松,端木怡婷,惠战伟,谌敏, 来源:指挥信息系统与技术 年份:2011
首先,阐述了软件测试标准的相关概念,揭示了测试标准在获取测试需求中的作用;然后,在分析测试用例启发式选择算法的基础上,结合实例给出了算法在保证需求覆盖率以及减少测试...
相关搜索: