检索结果-南通市图书馆

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...

引用

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会议

学校读者我要写书评

暂无评论

Stability analysis of underground surrounding rock mass based on block theory

引用

Journal of Central South University 2020年第10期27卷 3040-3052页

作者： LIN Jian-yun ZUO Yu-jun WANG Jian ZHENG Lu-jing CHEN Bin SUN Wen-ji-bin LIU Hao Mining College Guizhou UniversityGuiyang 550025China School of Resource and Environmental Engineering Guizhou UniversityGuiyang 550025China School of Resources and Safety Engineering Central South UniversityChangsha 410083China Priority Research centre for Geotechnical Science and Engineering The University of NewcastleCallaghanNSW2308Australia

evaluation of the performance of existing support in underground tunnels is of great importance for production and *** on field investigation,the shape and number of joints and fractures were investigated in the mining ***,the stability of each structural blocks is analyzed by 3D wedge stability analysis software(Unwedge).Moreover,a new analysis method based on critical block theory is applied to analyze the stability of excavated laneways in continuous and discontinuous rock and monitor the stress changes in a fractured tunnel rock *** test results indicate that the 3D wedge stability analysis software for underground excavation can evaluate deep tunnel ***,there is no direct relation between the size of the block and the instability of the *** support method,on large and thick key blocks,needs to be *** a broken tunnel section,U-shaped steel support can effectively promote the stress state of the surrounding *** monitoring the surrounding rock,it is proven that the vibrating string anchor stress monitoring system is an efficient and real-time method for tunnel stability evaluation.

关键词： block theory Unwedge analysis software stress monitoring system support evaluation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：