国家高技术研究发展计划(2009AA01Z402)
- 作品数：16 被引量：48H指数：5
- 相关作者：黄松惠战伟姚奕郑长友刘晓明更多>>
- 相关机构：解放军理工大学空军预警学院北京图形研究所更多>>
- 发文基金：国家高技术研究发展计划江苏省自然科学基金中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 蜕变关系形式化描述与分解技术研究
- '测试判定问题'(Test Oracle Problem)是影响软件测试技术发展的瓶颈问题之一。1998年T.Y.Chen教授针对该问题提出了软件蜕变测试技术,从而为解决该难题提供了一种有效的途径。蜕变测试技术经过二三十...
- 惠战伟黄松
- 关键词：形式化描述
- 文献传递
- 基于变异分析的蜕变测试充分性条件被引量：4
- 2014年
- 变异分析是研究软件测试的一种有效手段,在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件,但在蜕变测试中,测试用例满足变异测试中的条件不一定能够杀死变异,需要比一般的变异测试更严格的测试数据才能杀死变异。从变异测试中杀死变异的三类条件出发,探究蜕变测试数据杀死变异的条件。通过三角形实验分析蜕变测试用例满足的条件以及测试结果,总结蜕变测试用例杀死变异的规律,提出蜕变测试用例杀死变异的一种充分性条件。
- 杜元柱黄松惠战伟陆丽丽
- 军用可信软件现状及发展研究
- 2012年
- 随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。
- 郑长友刘晓明
- 关键词：军用软件可信计算
- 主成分分析法在软件静态测试中的研究与应用
- 2011年
- 随着信息化程度的不断提高以及人们对软件需求的扩大,软件的复杂性也已经远远地超出了以前的水平,大大地增加了软件设计和开发的难度。以软件复杂性为出发点,介绍了主成分分析法(PCA)的基本思想、原理和主要作用,分析了主成分分析法在软件静态测试中的应用价值与可行性,最后通过一个具体的软件进行了详细的算例分析,获得了较好的效果,帮助软件开发人员和测试人员在静态分析中识别复杂性和风险性比较高的函数和模块起到了很好的作用。
- 余为峰黄松
- 关键词：主成分主成分分析法
- 基于符号变迁系统模型的Web应用程序测试
- Web应用程序具有需求变化快、分布式结构、复杂性高等特点,采用传统的人工方法对其进行测试很难取得满意的结果。文章提出了基于符号变迁系统（Symbolic Transition System）模型的Web应用程序测试方法,...
- 洪宇胡斌任正平蒋园园
- Metamorphic Testing of Spatial Distance Measuring Function of GIS
- Spatial distance calculation is a basic and primary function of GIS, however due to the complication of the al...
- Song HuangYiting DuanmuZhanwei HuiMengyu Ji
- 关键词：GIS
- 文献传递
- 蜕变关系形式化描述与分解技术被引量：2
- 2016年
- 蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化定义提出一种蜕变关系分解技术。通过两个实例验证了该描述与分解技术的有效性。
- 惠战伟黄松李辉刘剑豪
- 关键词：形式化描述模型
- A Taxonomy of Software Security Defects for SST
- software security test(SST) is a useful way to validate software system security attribute.Defects based testi...
- Zhanwei Hui PLA Software Test and Evaluation Centre for Military Training PLA University of Science and Technology Nanjing
- 关键词：VULNERABILITYFLAW
- 坡度坡向量算程序蜕变测试方法被引量：6
- 2013年
- 坡度、坡向量算是地理信息系统的主要功能之一。然而,由于截断误差、舍入误差以及误差传播的影响,导致测试判定难以获取。基于此,提出将蜕变测试应用于坡度、坡向量算程序的测试中,通过分析坡度、坡向量算程序功能的几何属性、数值计算特性以及具体实现算法等提出蜕变关系,并通过分析蜕变关系的适用范围,形成坡度坡向量算程序蜕变测试方法。最后,通过实例研究,验证了提出的蜕变关系在消除不同类型变异方面的有效性。实验结果表明,该方法可有效解决坡度、坡向量算程序的测试判定问题,同时也为解决地理信息系统中其他空间度量程序的测试判定问题提供了借鉴,进一步拓展了蜕变测试技术的应用范围。
- 黄松丁瑞浩李辉姚奕
- 关键词：坡度坡向
- 一种有效的静态缺陷函数检测框架
- 2010年
- 基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性黑盒测试提供数据流约束,为自动生成数据流提供有效支持。
- 黄松嵇孟雨惠战伟葛研
- 关键词：软件缺陷检测软件测试
