SVR Miner:一种基于大型软件的安全验证规则挖掘和缺陷检测工具(英文)

Name: SVR Miner:一种基于大型软件的安全验证规则挖掘和缺陷检测工具(英文)
Rating: 4.5 (39 reviews)
Author: l27409

上传者：l27409 2021-05-10 23:51:57上传 PDF文件 601.88KB 热度 39次

SVR-Miner:一种基于大型软件的安全验证规则挖掘和缺陷检测工具(英文)

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

SVR Miner一种基于大型软件的安全验证规则挖掘和缺陷检测工具英文

SVR-Miner:一种基于大型软件的安全验证规则挖掘和缺陷检测工具(英文)

大小：602KB | 2021-05-10 23:51:57
一种大型软件测试方法

总结了一种结合功能测试和性能测试的测试方法,其中功能测试方法由功能测试流程和功能测试用例设计方法组成...

大小：0B | 2020-10-27 16:51:03
一种基于编码的关联规则挖掘算法

大小：0B | 2019-01-17 22:54:30
一种基于Rough集的缺省规则挖掘算法

Rough集方法是一种处理不确定或模糊知识的重要工具.对基于Rough集理论的缺省规则挖掘算法进行研...

大小：0B | 2019-05-16 13:04:56
一种基于属性序的决策规则挖掘算法

针对面向领域用户的决策规则挖掘问题, 用属性序描述领域用户的需求和兴趣, 模拟人脑分辨事物的过程, ...

大小：162KB | 2021-01-17 02:24:52
一种时态关联规则挖掘算法

大小：0B | 2019-01-08 22:49:48
一种基于粗糙集的决策规则挖掘算法

提出了一种基于粗糙集的决策规则挖掘算法。该算法主要包括属性归约、元组合并、规则提取和规则评估。最后用...

大小：174KB | 2021-01-16 03:25:25
一种多输出svr算法

FernandoPérezCruzmatlab

大小：0B | 2019-07-05 10:05:59
一种焊缝缺陷自动超声检测系统

电路设计方案

大小：176.13 KB | 2022-11-02 06:23:29
一种基于Halcon的美标电源线缺陷检测方法

一种基于Halcon的美标电源线缺陷检测方法

大小：3MB | 2021-01-01 01:07:04
一种基于超声检测图像的缺陷自动识别算法

传统探伤都是通过大量的人力对探伤图逐一判断,探伤效率低下,正确率不高。本文针对探伤A超图像序列提出了...

大小：522KB | 2020-12-31 00:11:40
一种基于离散时间自动机的LTL性质检测工具

模型检测是一种自动完成性质验证的算法过程,在模型检测过程中会遇到状态空间爆炸的问题,即随系统规模的增...

大小：405KB | 2021-02-24 00:08:04
PAT一种高性能软件验证工具

通信顺序进程（communicatingsequentialproces）验证软件，打开csp格式文...

大小：0B | 2019-05-15 23:53:25
一种基于数据挖掘技术的入侵检测的文章

防火墙技术所表现出来的不足引出了人们对入侵检测系统(IDS) 技术的研究和开发。首先介绍了入侵检测技...

大小：0B | 2018-12-25 07:41:52
一种基于网格的多策略关联规则挖掘算法.doc

收稿日期 :2006-08-09 基金项目 :国家高技术研究发展计划项目 (200...

大小：49KB | 2020-12-16 10:48:18
一种高效的多层和概化关联规则挖掘方法

An efficient multi-layer and generalized associati...

大小：0B | 2019-06-23 03:11:46