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

计算机研究与发展 2023年第2期60卷 248-261页

作者：周彭左志强南京大学计算机科学与技术系南京210023 计算机软件新技术国家重点实验室(南京大学) 南京210023

符号执行作为一种高效的测试生成技术,被广泛应用于软件测试、安全分析等领域.然而,由于程序中的执行路径数量随着分支数量的增加而指数级上升,符号执行往往无法在大规模程序上进行高效执行,缺乏可扩展性.已有的基于多进程的并行化方法... 详细信息

符号执行作为一种高效的测试生成技术,被广泛应用于软件测试、安全分析等领域.然而,由于程序中的执行路径数量随着分支数量的增加而指数级上升,符号执行往往无法在大规模程序上进行高效执行,缺乏可扩展性.已有的基于多进程的并行化方法具有较大的额外通信开销,并且缺乏对现有约束求解优化技术的利用.提出了基于多线程并行处理模型的符号执行加速方法.具体来讲,为解决并行符号执行中的不同工作节点负载不平衡问题,设计了不需要中间节点参与的工作窃取算法.为充分利用现有约束求解优化技术,提出了让不同工作节点共享约束求解信息的加速求解方法.基于符号执行引擎(KLEE)实现了多线程并行化符号执行方案,从而形成多线程并行化符号执行引擎(PKLEE).实验验证表明,在穷尽执行路径场景下,KLEE平均耗时是在给定8个线程下PKLEE的3~4倍;在同样的时间内,PKLEE执行的有效工作负载平均是KLEE的3倍.

关键词：符号执行负载均衡约束求解并行加速可扩展性

来源：评论

学校读者我要写书评

暂无评论

基于状态机模型的构件健壮性测试

引用

软件学报 2010年第5期21卷 930-941页

作者：雷斌王林章卜磊李宣东南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在... 详细信息

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常的类别,自动报告健壮性错误.以通用的开源项目构件组成评测平台,实验数据显示,RoTesCo的测试效率比已有的算法表现得更优越.

关键词：软件测试构件健壮性状态机无效输入

来源：评论

学校读者我要写书评

暂无评论

一种基于不变量的从工作流网到PERT图的转换方法

引用

电子学报 2008年第5期36卷 893-898页

作者：葛季栋胡昊吕建计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系江苏南京210093 南京大学软件学院江苏南京210093

工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模... 详细信息

工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的.

关键词：工作流 Petri网过程建模合理性不变量 PERT图

来源：评论

学校读者我要写书评

暂无评论

全局L_∞误差可控的网格模型鲁棒水印算法

引用

计算机辅助设计与图形学学报 2005年第10期17卷 2174-2178页

作者：邹飞唐杰张福炎南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

针对CAD等工程应用的需要,提出一种具有全局L∞误差控制特性的三角网格模型数字水印算法.在建立多分辨网格的同时在网格顶点坐标上嵌入水印信息,通过局部几何特征进行误差控制.由于水印被冗余地嵌入在模型的整个频带上,该算法可有效地... 详细信息

针对CAD等工程应用的需要,提出一种具有全局L∞误差控制特性的三角网格模型数字水印算法.在建立多分辨网格的同时在网格顶点坐标上嵌入水印信息,通过局部几何特征进行误差控制.由于水印被冗余地嵌入在模型的整个频带上,该算法可有效地抵抗多种攻击.实验结果表明:文中算法可将水印产生的误差控制在指定的阈值内,且能够抵抗多种水印攻击,具有较好的鲁棒性.

关键词：数字水印多分辨网格 Hausdorff距离

来源：评论

学校读者我要写书评

暂无评论

多层油藏模拟并行计算与负载平衡

引用

计算机研究与发展 2004年第2期41卷 306-310页

作者：刘青昆舒继武归丽忠张德富南京大学计算机软件新技术国家重点实验室南京210093 清华大学计算机科学与技术系北京100083 南京大学计算机科学与技术系南京210093

在油藏数值模拟并行计算中 ,提高计算速度和资源利用率是一个重要的研究方向给出分布式并行环境下一种多层油藏模拟并行计算的整体优化方法 ,其特点是使用高效的区域分解方法并行求解 ,动态选择两种不同的计算粒度 ,有效地克服了负载... 详细信息

在油藏数值模拟并行计算中 ,提高计算速度和资源利用率是一个重要的研究方向给出分布式并行环境下一种多层油藏模拟并行计算的整体优化方法 ,其特点是使用高效的区域分解方法并行求解 ,动态选择两种不同的计算粒度 ,有效地克服了负载不均衡带来的性能下降问题实际模型计算表明 ,此方法策略减少了整体模拟计算时间 ,并获得较高加速比

关键词：油藏数值模拟区域分解负载平衡并行优化

来源：评论

学校读者我要写书评

暂无评论

基于源代码静态分析的C++0x泛型概念抽取

引用

计算机学报 2009年第9期32卷 1792-1803页

作者：陈林徐宝文东南大学计算机科学与工程学院南京210096 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并... 详细信息

使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并通过重构得到符合C++0x标准的代码.文中提出了一种基于代码静态分析的泛型概念自动识别方法,通过对泛型程序中类型参数的使用分析,从遗产代码中提取有效表达式约束和关联类型约束,进而推导出泛型概念.将该方法应用于C++标准模板库STL,可以识别出STL算法中绝大部分潜在的泛型概念,表明该方法有助于识别遗产代码中的泛型概念.

关键词：泛型程序设计软件重构泛型概念 C++0x 约束分析

来源：评论

学校读者我要写书评

暂无评论

一种面向用户需求的Web服务测试方法

引用

计算机学报 2014年第3期37卷 512-521页

作者：许蕾李言辉陈林宫敏颜友军徐宝文南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验... 详细信息

Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验结果表明该文方法生成组合Web服务测试用例的有效性.以用户需求驱动组合Web服务测试,既能保证所选服务真正符合用户需求,又可根据用户使用场景来丰富测试需求信息,结合领域知识启发式生成测试用例.

关键词：组合Web服务用户需求测试用例生成使用场景软件测试中图法

来源：评论

学校读者我要写书评

暂无评论

基于小样本标记实例的数据流集成入侵检测模型

引用

电子学报 2007年第2期35卷 234-239页

作者：俞研黄皓南京大学计算机科学与技术系计算机软件新技术国家重点实验室江苏南京210093

基于监督学习的异常入侵检测算法通常面临着训练样本不足的问题,同时,对整个历史数据集进行等同学习,没有充分考虑到网络数据模式随时间变化的特点.本文提出了一种基于小样本标记实例的数据流集成入侵检测模型,对小样本的标记数据集进... 详细信息

基于监督学习的异常入侵检测算法通常面临着训练样本不足的问题,同时,对整个历史数据集进行等同学习,没有充分考虑到网络数据模式随时间变化的特点.本文提出了一种基于小样本标记实例的数据流集成入侵检测模型,对小样本的标记数据集进行扩展,解决了训练样本不足的问题,并能够充分适应网络数据模式随时间变化的特点.实验结果表明,在小样本标记实例情况下,算法的检测性能明显优于基于所有历史数据进行入侵检测的结果.

关键词：入侵检测数据流处理小样本标记实例集成入侵检测模型

来源：评论

学校读者我要写书评

暂无评论

基于简化控制流监控的程序入侵检测

引用

电子学报 2007年第2期35卷 358-361页

作者：夏耐郭明松茅兵谢立南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

针对程序漏洞的攻击是目前一个非常严重的安全问题.该文提出了一个程序运行时候控制流监控的简化方法.与基于系统调用的入侵检测方法相比,该方法有更细的监控粒度;而与完全函数调用关系监控的方法相比,该方法同样有效但实施更为简单.测... 详细信息

针对程序漏洞的攻击是目前一个非常严重的安全问题.该文提出了一个程序运行时候控制流监控的简化方法.与基于系统调用的入侵检测方法相比,该方法有更细的监控粒度;而与完全函数调用关系监控的方法相比,该方法同样有效但实施更为简单.测试结果表面该方法能够有效地针对已有的多种攻击类型进行防范.

关键词：信息安全程序漏洞入侵检测控制流函数调用关系图简化函数调用轨迹

来源：评论

学校读者我要写书评

暂无评论

基于小波变换的图像编码中λ迭代比特分配算法的改进(英文)

引用

软件学报 2001年第5期12卷 645-649页

作者：陈毅松萧嵘孙正兴张福炎南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室江苏南京210093

基于小波图像编码的金字塔式小波分解后各子带系数的统计特性 ,提出一种改进的 λ迭代比特分配算法 ,该算法使用 λ序列的概念简化了传统 λ迭代法的最优值求解过程 .实验证明该改进算法在限定压缩比的小波图像编码中能够大大加快比特... 详细信息

基于小波图像编码的金字塔式小波分解后各子带系数的统计特性 ,提出一种改进的 λ迭代比特分配算法 ,该算法使用 λ序列的概念简化了传统 λ迭代法的最优值求解过程 .实验证明该改进算法在限定压缩比的小波图像编码中能够大大加快比特分配算法的收敛速度 .

关键词：图像编码比特分配策略目标函数 λ迭代算法小波变换

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：