检索结果-内蒙古大学图书馆

计算机工程与应用 2025年第1期61卷 300-307页

作者：刘岗王炎张雪芹华东理工大学信息科学与工程学院上海200237 上海市计算机软件评测重点实验室上海201112

在线社交网络的发展为信息传播提供了极大的便利,但同时在一定程度上也成为谣言等信息的重要传播渠道。社交网络的信息源检测对于控制信息的传播起着重要作用。为了解决现有社交网络多源点检测方法准确度不够高的问题,提出了一种新颖的... 详细信息

在线社交网络的发展为信息传播提供了极大的便利,但同时在一定程度上也成为谣言等信息的重要传播渠道。社交网络的信息源检测对于控制信息的传播起着重要作用。为了解决现有社交网络多源点检测方法准确度不够高的问题,提出了一种新颖的多源点同步检测方法SVT-BiasMSI。该方法将多源检测问题转化为若干单源检测问题,采用局部度中心节点及相邻节点的Jaccard系数选取种子节点,使用Voronoi方法对社交网络进行初步社区划分,通过tolerance neighborhood方法寻找分区之间重叠部分的节点并实现重叠社区划分,为了兼顾网络全局和局部信息,基于传染邻域偏差改进非回溯矩阵多源点检测方法,提高单源点检测精度。在多个社交网络数据集中的实验表明,所提的方法能够有效提高在线社交网络多源点检测和定位准确度。

关键词：社交网络多源检测重叠社区划分非回溯矩阵传染邻域偏值

来源：评论

学校读者我要写书评

暂无评论

基于概率模型检验的Web服务系统可靠性分析

引用

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

作者：高洪皓开金宇周家安缪淮扣黄婉秋王皙上海大学计算中心上海200444 上海大学计算机工程与科学学院上海200444 上海市计算机软件测评重点实验室.上海201112

为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,... 详细信息

为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,针对日志采集频率问题采用Kafka进行日志缓存,通过Storm分析日志数据并构造用于描述服务可靠性的概率迁移矩阵.采用概率标签迁移系统PLTS描述服务行为模型,采用概率计算树逻辑PCTL描述服务系统需求性质,集成概率模型检验器PRISM支持自动化定量验证和分析,从而实现基于概率模型检验的Web服务可靠性分析.最后通过案例研究和验证数据分析证明所提方法的有效性和可行性.

关键词： Web服务系统概率迁移矩阵概率模型检验可靠性分析分布式日志处理

来源：评论

学校读者我要写书评

暂无评论

确定性有限状态机的最小测试成本迁移覆盖准则

引用

软件学报 2011年第7期22卷 1457-1474页

作者：刘攀缪淮扣曾红卫梅佳上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错... 详细信息

软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.

关键词：最小测试成本迁移覆盖准则成本/效率的平衡确定性有限状态机迁移覆盖

来源：评论

学校读者我要写书评

暂无评论

敏捷开发环境中的回归测试优化技术

引用

计算机学报 2019年第10期42卷 2323-2338页

作者：王晓琳曾红卫林玮玮上海大学计算机工程与科学学院上海200444 上海市计算机软件评测重点实验室上海201112

版本频繁交付、功能不断新增或修改、测试用例不断增多是敏捷开发环境的特点.回归测试是软件测试的一个重要组成部分,它在敏捷开发环境中更应基于环境特点进行设计.但是,传统的回归测试优化技术(测试用例优先排序或回归测试选择等)各有... 详细信息

版本频繁交付、功能不断新增或修改、测试用例不断增多是敏捷开发环境的特点.回归测试是软件测试的一个重要组成部分,它在敏捷开发环境中更应基于环境特点进行设计.但是,传统的回归测试优化技术(测试用例优先排序或回归测试选择等)各有其优缺点,且没有考虑敏捷开发环境对测试效率的影响.测试用例优先排序技术利用设计规则对所有测试用例进行排序,以提高错误检测率,但测试集基数大,花费时间长.回归测试选择技术选择部分测试用例执行,减少了测试执行时间,但存在不安全因素.为了解决这个问题,本文提出新的敏捷开发环境中的回归测试优化技术.首先,将回归测试拆分成两个过程,提出在这两个过程中的测试方法:敏捷测试用例优先排序和敏捷回归测试选择.敏捷测试用例优先排序方法基于历史排序的思想,将需求、错误反馈及历史信息三者结合,形成一个具有记忆的优先排序技术.敏捷回归测试选择方法结合错误信息和需求关联信息进行设计,选择以往版本中发现错误的测试用例及与新增测试有交互的测试用例作为测试子集,既检验曾经出错的功能是否正确,又检验新增功能加入是否影响已交付功能的稳定.其次,将敏捷排序和敏捷选择方法结合,设计回归测试优化模型,提出优化算法.为测试子集中的每一个测试用例设置一个失效标签以动态调整子集规模.最后,通过在不同规模的实验对象上进行实验,分析优化算法的有效性.实验结果表明,与现有的测试排序和测试选择及其混合方法相比,敏捷开发环境中的回归测试优化技术既可达到高错误检测率又可减少待执行测试用例数量同时保证较高的安全性.从统计分析t检验结果看,我们的方法在纠错速率上优于其它5种测试排序方法,因为t值均大于0且p值均小于0.05;从纠错速率、效率成本百分比、运行时间缩减率及揭露错误百分比这4个方面的综合指数看,本文的方法最佳.

关键词：回归测试测试用例优先排序回归测试选择敏捷开发软件测试软件工程

来源：评论

学校读者我要写书评

暂无评论

威胁驱动的Web应用On-The-Fly导航模型验证方法

引用

应用科学学报 2011年第1期29卷 83-91页

作者：胡立立缪淮扣陈圣波梅佳高洪皓上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

以Web应用为代表的网络软件安全性受到业界的广泛关注,对具有复杂交互行为的Web应用安全性建模和验证是一个挑战.该文提出一种威胁驱动的Web应用On-the-Fly导航模型验证方法,采用威胁驱动方法从规格说明中设计和抽取用于性质检验的安全... 详细信息

以Web应用为代表的网络软件安全性受到业界的广泛关注,对具有复杂交互行为的Web应用安全性建模和验证是一个挑战.该文提出一种威胁驱动的Web应用On-the-Fly导航模型验证方法,采用威胁驱动方法从规格说明中设计和抽取用于性质检验的安全性质,利用模型检测工具NuSMV对建立的模型进行验证.实验结果表明该方法可以减少搜索空间并在一定程度上避免状态空间爆炸.

关键词： On-The-Fly验证 Web应用安全性

来源：评论

学校读者我要写书评

暂无评论

用模型检验产生安全性质的测试

引用

应用科学学报 2011年第5期29卷 529-536页

作者：曾红卫缪淮扣上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

安全关键系统必须满足规定的安全性质.测试生成通常独立于给定性质,"先验证再测试"的方法不能保证安全性质被测试.为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法.用输出变异建立被测实现的输出-完全模型,... 详细信息

安全关键系统必须满足规定的安全性质.测试生成通常独立于给定性质,"先验证再测试"的方法不能保证安全性质被测试.为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法.用输出变异建立被测实现的输出-完全模型,通过发现危险迹产生测试用例.给出了基于图结构覆盖的安全性质测试准则,提出了形式化测试准则的方法.使用模型检验器NuSMV检验输出-完全模型可产生既满足结构覆盖又与安全性质相关的测试用例.

关键词：安全性质模型检验测试生成危险迹

来源：评论

学校读者我要写书评

暂无评论

基于模型的Web应用测试

引用

计算机学报 2011年第6期34卷 1012-1028页

作者：缪淮扣陈圣波曾红卫上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、... 详细信息

提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、迁移覆盖、迁移对覆盖等传统的覆盖准则外,还改进/提出了优化状态迁移覆盖、完整消息传递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则.该文以兴宁水库移民信息管理系统为例演示了该系统.

关键词： Web应用模型转换测试用例生成测试执行

来源：评论

学校读者我要写书评

暂无评论

软件测试不确定性研究及解决途径

引用

计算机工程 2004年第7期30卷 52-54页

作者：杨根兴宗宇伟上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海200235

从分析软件测试的不确定性产生的原因，分析软件测试中存在的问题，提出加强软件测试工程化管理、测试方法模板的复用、采用测试用例的知识共享作为解决问题的途径，介绍了一种软件测试管理平台的实现。

关键词：软件测试软件测试复用软件测试成熟度模型软件测试工程

来源：评论

学校读者我要写书评

暂无评论

X10程序的差别分析方法

引用

计算机学报 2015年第5期38卷 1082-1092页

作者：陈雨亭杨威赵建军上海交通大学软件学院上海200240 上海市计算机软件评测重点实验室上海201112 中国科学院软件研究所计算机科学重点实验室北京100190

程序差别分析是程序调试的常见手段,其主要用于分析程序不同版本之间的差异信息.然而,将现有程序差别分析算法扩展到并行程序语言还面临众多挑战.其主要原因在于并行程序复杂性较高,且存在支持并行活动的特殊机制,如地址(或线程)、活动... 详细信息

程序差别分析是程序调试的常见手段,其主要用于分析程序不同版本之间的差异信息.然而,将现有程序差别分析算法扩展到并行程序语言还面临众多挑战.其主要原因在于并行程序复杂性较高,且存在支持并行活动的特殊机制,如地址(或线程)、活动、同步等,从而为有效进行程序差别分析设置了障碍.文中研究基于PGAS模型的X10并行程序的程序差别分析方法,并设计了一种语句级的、针对X10程序的程序差别分析算法X10Diff.X10Diff包括下列步骤:(1)匹配原程序和修改后程序中的类、接口、方法及地址;(2)为待分析程序片段构建基于地址的程序流图,并建立相应简化图;(3)迭代扩展并比较简化图,并将差别信息定位到代码中.

关键词：程序差别分析 X10 程序流图软件测试程序调试

来源：评论

学校读者我要写书评

暂无评论

融合K-均值聚类、FNN、SVM的网络入侵检测模型

引用

计算机应用与软件 2014年第5期31卷 312-315页

作者：邬斌亮熊琭上海市计算机软件评测重点实验室上海201112

针对传统的入侵检测模型IDM(Intrusion Detection System)不能检测最新的入侵手段且系统的特征数据库需要频繁更新的问题,提出融合K-均值聚类、模糊神经网络和支持向量机等数据挖掘技术来构建IDM。首先,利用K-均值聚类将原始的训练集划... 详细信息

针对传统的入侵检测模型IDM(Intrusion Detection System)不能检测最新的入侵手段且系统的特征数据库需要频繁更新的问题,提出融合K-均值聚类、模糊神经网络和支持向量机等数据挖掘技术来构建IDM。首先,利用K-均值聚类将原始的训练集划分为不同的训练子集;然后,基于各训练子集训练各自的模糊神经网络模型,并通过模糊神经网络模型生成支持向量机的支持向量;最后,采用径向支持向量机检测入侵行为是否发生。在KDD CUP 1999数据集上的实验验证了所提模型的有效性及可靠性。实验结果表明,相比其他几种较为先进的检测方法,所提模型在入侵检测方面取得了更高的检测精度。

关键词：入侵检测模型 K-均值聚类模糊神经网络支持向量机数据挖掘

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：