检索结果-南通市图书馆

Comparison of SETAM with Security Use Case and Security Misuse Case:A Software Security Testing Study

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2012年第6期17卷 516-520页

作者： hui zhanwei HUANG Song Software Test and Evaluation Centre PLA University of Science and TechnologyNanjing 210007JiangsuChina PLA Military Training Software Test and Evaluation Centre Nanjing 210007JiangsuChina

A software security testing behavior model,SETAM,was proposed in our previous work as the integrated model for describing software security testing requirements behavior,which is not only compatible with security functions and latent typical misuse behaviors,but also with the interaction of *** this paper,we analyze the differences between SETAM with security use case and security misuse case in different types of security test *** illustrate the effectiveness of SETAM,we compare them in a practical case study by the number of test cases and the number of faults detected by *** results show that SETAM could decrease about 34.87% use cases on average,and the number of faults detected by SETAM increased by 71.67% in average,which means that our model can detect more faults with fewer test cases for software security testing.

关键词： security testing security use case security misuse case software security testing behavior model security testing requirement

Metamorphic Testing of Spatial Distance Measuring Function of GIS

在线全文

学校读者我要写书评

暂无评论

Metamorphic Testing of Spatial Distance Measuring Function o...

基于FindBugs的函数返回值缺陷检测模式的改进

2012年计算机应用与系统建模国际会议

作者： Song Huang Yiting Duanmu zhanwei hui Mengyu Ji PLA Software Test and Evaluation Centre for Military Training NanjingChina PLA University of Science and Technology

Spatial distance calculation is a basic and primary function of GIS, however due to the complication of the algorithm and the existence of rounding and truncation errors, it is very difficult to obtain the oracles of the implementation, so traditional testing methods face great challenges. Metamorphic testing can help solve the oracle problem by comparing the relations among multiple inputs and outputs. This paper tries to find out the error in spatial distance measuring of GIS using metamorphic testing. We choose a universal algorithm called the Great Circle Calculation, produce 5 metamorphic relations for it and then carry out the metamorphic testing. The experimental results show that metamorphic testing is effective in finding errors of spatial distance measuring.

关键词： Metamorphic testing GIS Spatial distance calculation

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

解放军理工大学学报（自然科学版） 2015年第6期16卷 518-523页

作者：吕增援黄松惠战伟解放军理工大学指挥信息系统学院江苏南京210007 全军军事训练软件测评中心江苏南京210007

为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定义函数返回值上的不足。通过分析FindBugs源代码并且针对此函... 详细信息

为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定义函数返回值上的不足。通过分析FindBugs源代码并且针对此函数返回值缺陷模式具有的不足进行相应地改进,并将改进后的检测工具对被测代码进行检验。通过检验发现,改进前的检测工具无法对自定义的函数返回值进行检测,改进后能够检测到忽略自定义函数返回值问题,且提供一些错误提示信息。改进后的代码分析工具能够有效地检测到此类函数返回值问题,避免了潜在bug的发生,一定程度上提高了代码的质量。

关键词： FindBugs 静态分析工具检测器返回值字节码

在线全文

学校读者我要写书评

暂无评论

一种基于GUI模型的测试脚本组合方法

东南大学学报（自然科学版） 2017年第A01期47卷 164-169页

作者：王进华黄松惠战伟吴开舜陆军工程大学南京210007 全军军事训练软件测评中心南京210007

为了提高测试效率和测试脚本复用率,提出了一种基于图形用户界面(graph user interface,GUI)模型的测试脚本组合方法.该方法针对GUI层次结构的特点,采用事件关系图和窗口调用图对GUI交互行为进行建模.首先,通过反射机制从程序可执行文... 详细信息

为了提高测试效率和测试脚本复用率,提出了一种基于图形用户界面(graph user interface,GUI)模型的测试脚本组合方法.该方法针对GUI层次结构的特点,采用事件关系图和窗口调用图对GUI交互行为进行建模.首先,通过反射机制从程序可执行文件中解析提取事件关系图和窗口调用图;然后,通过构建脚本对象分层信息,从而建立测试脚本与模型的映射关系,再利用映射关系与模型实现脚本的组合.最后,在4款开源GUI应用上进行实验.实验结果表明,所提方法在组合耗时、组合脚本可执行率和模型覆盖率3个方面具有明显优势,验证了脚本组合方法的有效性.

关键词：图形用户界面事件关系图窗口调用图测试脚本组合脚本映射

OESC：一种用于软件测试过程分析的分层框架

在线全文

学校读者我要写书评

暂无评论

东南大学学报（自然科学版） 2017年第A01期47卷 158-163页

作者：吴开舜黄松惠战伟王进华姚奕解放军理工大学指挥信息系统学院软件测评中心南京210007 军军事训练软件测评中心南京210007

针对使用测试管理工具难以准确地分析软件测试的执行过程这一问题,提出一种基于测试人员操作记录的分层框架(OESC框架).依据测试人员的行为粒度将该框架划分为操作层、事件层、语义层、概述层,其中操作层和事件层已有工具进行记录,语义... 详细信息

针对使用测试管理工具难以准确地分析软件测试的执行过程这一问题,提出一种基于测试人员操作记录的分层框架(OESC框架).依据测试人员的行为粒度将该框架划分为操作层、事件层、语义层、概述层,其中操作层和事件层已有工具进行记录,语义层和概述层是基于操作层和事件层内容,通过特征提取技术和多标签分类技术得到.实验结果表明,该框架对被测件性能影响极小,能有效地监控测试人员行为过程,有助于帮助分析测试过程,能弥补现有的测试管理工具对测试人员监控上的不足.

关键词：测试过程分析过程控制多标签分类用户行为

在线全文

学校读者我要写书评

暂无评论

基于BM25算法的问题报告质量检测方法

清华大学学报（自然科学版） 2020年第10期60卷 829-836页

作者：陈乐乐黄松孙金磊惠战伟吴开舜中国人民解放军陆军工程大学指挥控制工程学院南京210007 全军军事软件测评中心南京210007

问题报告作为记录和跟踪缺陷的载体,为解决软件质量问题提供依据。目前软件测试常以多人、并行的方式进行,海量问题报告的去假与去重等整合过程正面临严峻的挑战。因此,该文提出一种基于BM25算法的问题报告自动化检测方法,在对问题报告... 详细信息

问题报告作为记录和跟踪缺陷的载体,为解决软件质量问题提供依据。目前软件测试常以多人、并行的方式进行,海量问题报告的去假与去重等整合过程正面临严峻的挑战。因此,该文提出一种基于BM25算法的问题报告自动化检测方法,在对问题报告进行预处理后,依据测试需求和测试报告样本建立匹配库,利用BM25算法计算两者的相似度得分,并以此为依据检测问题报告的正确性。在软件测试大赛的数据上进行实验,结果表明该文提出的方法能够正确评判大部分问题报告,有效提高了去假与去重效率。

关键词：软件测试 BM25算法问题报告自然语言处理

在线全文

学校读者我要写书评

暂无评论

基于变异分析的蜕变测试充分性条件

计算机应用 2014年第A01期34卷 280-283页

作者：杜元柱黄松惠战伟陆丽丽解放军理工大学指挥信息系统学院南京210007 全军军事训练软件测评中心南京210007

变异分析是研究软件测试的一种有效手段,在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件,但在蜕变测试中,测试用例满足变异测试中的条件不一定能够杀死变异,需要比一般的变异测试更严格的测试数据才能杀死... 详细信息

变异分析是研究软件测试的一种有效手段,在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件,但在蜕变测试中,测试用例满足变异测试中的条件不一定能够杀死变异,需要比一般的变异测试更严格的测试数据才能杀死变异。从变异测试中杀死变异的三类条件出发,探究蜕变测试数据杀死变异的条件。通过三角形实验分析蜕变测试用例满足的条件以及测试结果,总结蜕变测试用例杀死变异的规律,提出蜕变测试用例杀死变异的一种充分性条件。

关键词：变异变异分析蜕变测试充分性条件

在线全文

学校读者我要写书评

暂无评论

蜕变关系判定中计算误差分析

指挥信息系统与技术 2013年第2期4卷 80-84页

作者：丁瑞浩黄松惠战伟解放军理工大学指挥自动化学院南京210007 全军军事训练软件测评中心南京210007

蜕变测试应用于数值计算时,通常因截断和舍入误差以及误差传播导致蜕变关系成立判定产生偏差。以地形量算程序中不规则区域面积量算的蜕变测试为例,提出了蜕变测试的计算误差问题,给出了误差影响下蜕变关系成立与否的判断准则,并对比例... 详细信息

蜕变测试应用于数值计算时,通常因截断和舍入误差以及误差传播导致蜕变关系成立判定产生偏差。以地形量算程序中不规则区域面积量算的蜕变测试为例,提出了蜕变测试的计算误差问题,给出了误差影响下蜕变关系成立与否的判断准则,并对比例蜕变关系和线性组合蜕变关系两种情况进行试验验证。结果表明,计算误差中蜕变关系判定影响显著且判断准则有效。

关键词：蜕变测试不规则区域面积量算计算误差

在线全文

学校读者我要写书评

暂无评论

一种有效的静态缺陷函数检测框架

指挥信息系统与技术 2010年第6期1卷 15-19,78页

作者：黄松嵇孟雨惠战伟葛研全军军事训练软件测评中心南京210007 解放军理工大学工程兵工程学院南京210007 解放军理工大学指挥自动化学院南京210007 济南军区山东省军区后勤部济南250013

基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性... 详细信息

基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性黑盒测试提供数据流约束,为自动生成数据流提供有效支持。

关键词：静态分析软件缺陷检测软件缺陷验证软件测试