检索结果-南通市图书馆

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

Edge dislocation-induced strains break the limit of PtNi alloys in boosting Pt mass activity for efficient alkaline hydrogen evolution

在线全文

学校读者我要写书评

暂无评论

Nano Research 2024年第6期17卷 4711-4719页

作者： Miao Zhou Yao Zhao zhanwei Liu Xueru Zhao Enzuo Liu Liyang Xiao Pengfei Yin Cunku Dong hui Liu Xiwen Du Jing Yang New Energy Materials Institute School of Materials Science and EngineeringTianjin UniversityTianjin 300072China School of Aerospace Engineering Beijing Institute of TechnologyBeijing 100081China Chemistry Division Brookhaven National LaboratoryUptonNew York 11973USA Advanced Metallic Materials Institute School of Materials Science and EngineeringTianjin UniversityTianjin 300072China

Creating lattice defects and alloying to produce strain effect in Pt-based bimetallic alloys are both effective methods to optimize the crystal and electronic structure and improve the electrocatalytic ***,the principles that govern the alkaline hydrogen evolution reaction(HER)performance remain unclear,which is detrimental to the rational design of efficient Pt-based ***,PtNi alloys with different Pt/Ni ratios and edge dislocations were synthesized,and the effects of Pt/Ni composition and edge dislocations on the alkaline HER electrocatalytic activity of PtNi alloys were systematically *** experimental and theoretical investigations reveal that tuning Pt/Ni ratio results in only 1.1 times enhancements in Pt mass activity,whereas edge dislocations-induced extra tensile strain on Ni site and compressive strain on Pt site further boost the alkaline HER intrinsic activity at all Pt/Ni ***,the introduction of edge dislocations in PtNi alloys could break the limit of alloying in boosting Pt mass activity and result in up to 13.7-fold enhancement,in the case that Pt and Ni contents are nearly identical and thus edge dislocation density reaches the *** mechanism studies demonstrate that the edge dislocation strategy could make a breakthrough in facilitating water dissociation kinetics of PtNi alloys.

关键词： edge dislocations PtNi composition strain effects water dissociation hydrogen evolution reaction

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年第A1期47卷 164-169页

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

工业废渣和膨润土协同固化污泥的性能与微观特征

在线全文

学校读者我要写书评

暂无评论

环境工程学报 2024年第3期18卷 857-865页

作者：王安辉张艳芳倪娇娇荣辉詹其伟黄展魏中建安装集团有限公司南京210023 天津城建大学材料科学与工程学院天津300384 江苏科技大学土木工程与建筑学院镇江212000

为探究工业废渣和膨润土协同处置市政污泥的应用效果,利用工业废渣(高炉矿渣和脱硫石膏)等量取代部分水泥,设计制备了低水泥掺量的工业废渣基复合固化剂(简称复合固化剂),开展了复合固化剂和膨润土协同固化污泥的无侧限抗压强度、浸出... 详细信息

为探究工业废渣和膨润土协同处置市政污泥的应用效果,利用工业废渣(高炉矿渣和脱硫石膏)等量取代部分水泥,设计制备了低水泥掺量的工业废渣基复合固化剂(简称复合固化剂),开展了复合固化剂和膨润土协同固化污泥的无侧限抗压强度、浸出液重金属浓度及COD测试,评价了复合固化剂和膨润土对固化污泥力学特性和环境安全性能的影响。通过XRD、TG/DTG、BET、SEM等微观测试手段,明确了复合固化剂协同膨润土固化稳定污泥的微观结构特征。结果表明:采用高炉矿渣和脱硫石膏等量取代部分水泥可大幅度提升固化污泥的强度,复合固化剂的最优质量配合比为高炉矿渣∶脱硫石膏∶水泥=6∶1∶3;在复合固化剂固化污泥基础上,掺加膨润土可明显提升固化污泥的强度以及环境安全性,膨润土的最优掺量为10%;采用10%膨润土等量取代部分复合固化剂,固化污泥强度可提升17%~23%,浸出液中重金属离子浓度和COD值可降低40%~60%;相比水泥固化污泥体系,复合固化剂和膨润土协同固化污泥可生成更多的C-S-H凝胶、钙矾石晶体等水化产物,且膨润土具有较好的细化孔隙效应,二者协同作用共同提升了固化污泥的密实度和强度,而胶凝物质的物理包裹以及膨润土的物理吸附、离子交换等作用显著改善了固化污泥中重金属离子和有机质的稳定效果。本研究成果可为市政污泥的低碳固化和资源化利用提供参考。

关键词：污泥工业废渣膨润土强度重金属浸出微观特征

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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