-
题名漏洞基准测试集构建技术综述
被引量：1
- 1
-
-
作者
马总帅
武泽慧
燕宸毓
魏强
-
机构
信息工程大学数学工程与先进计算国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2024年第1期316-326,共11页
-
基金
国家重点研发计划(2019QY0501)。
-
文摘
随着软件漏洞分析技术的发展,针对不同漏洞的发现技术和工具被广泛使用。但是如何评价不同技术、方法、工具的能力边界是当前该领域未解决的基础性难题。而构建用于能力评估的漏洞基准测试集(Vulnerability Benchmark)是解决该基础性难题的关键。文中梳理了近20年漏洞基准测试集构建的相关代表性成果。首先从自动化的角度阐述了基准测试集的发展历程;然后对基准测试集构建技术进行了分类,给出了基准测试集构建的通用流程模型,并阐述了不同测试集构建方法的思想、流程以及存在的不足;最后总结当前研究的局限性,并对下一步研究进行了展望。
-
关键词
漏洞基准测试集
软件漏洞分析
评估指标
-
Keywords
Vulnerability benchmark
Software vulnerability analysis
Evaluation metrics
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名航天嵌入式软件数据访问冲突基准测试集研究
被引量：4
- 2
-
-
作者
陈睿
杨孟飞
-
机构
北京控制工程研究所
北京轩宇信息技术有限公司
中国空间技术研究院
-
出处
《中国空间科学技术》
EI
CSCD
北大核心
2017年第3期62-70,共9页
-
基金
国家自然科学基金(91118007
61632005)
-
文摘
针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。
-
关键词
数据访问冲突
基准测试集
航天嵌入式软件
数据竞争
软件测试
-
Keywords
data access conflict
benchmark
aerospace embedded software
data race
software testing
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于搭配的中文词汇语义相似度计算方法
被引量：13
- 3
-
-
作者
王石
曹存根
裴亚军
夏飞
-
机构
中国科学院计算技术研究所智能信息处理重点实验室
中国科学院大学
全国科学技术名词审定委员会
-
出处
《中文信息学报》
CSCD
北大核心
2013年第1期7-14,共8页
-
基金
国家自然科学基金资助项目(60573063
60573064
+3 种基金
60773059
61035004)
国家863计划资助项目(2007AA01Z325)
国家社科基金重点资助项目(10AYY003)
-
文摘
词汇间的语义相似度计算在自然语言处理相关的许多应用中有基础作用。该文提出了一种新的计算方法,具有高效实用、准确率较高的特点。该方法从传统的分布相似度假设"相似的词汇出现在相似的上下文中"出发,提出不再采用词汇在句子中的邻接词,而是采用词汇在二词名词短语中的搭配词作为其上下文,将更能体现词汇的语义特征,可取得更好的计算结果。在自动构建大规模二词名词短语的基础上,首先基于tf-idf构造直接和间接搭配词向量,然后通过计算搭配词向量间的余弦距离得到词汇间的语义相似度。为了便于与相关方法比较,构建了基于人工评分的中文词汇语义相似度基准测试集,在该测试集中的名、动、形容词中,方法分别得到了0.703、0.509、0.700的相关系数,及100%的覆盖率。
-
关键词
语义相似度
词汇搭配
相似度基准测试集
-
Keywords
semantic similarity, word collocation, similarity benchmark set
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
