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

软件学报 2000年第3期11卷 334-341页

作者：胡世亮臧斌宇凌冰朱传琪复旦大学并行处理研究所上海200433

用计算函数模型进行精确的数据流分析 ,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系 .该文讨论在各种常见的程序构造下如何表示、计算和传递 Ω区域、Φ区域 ,并在数据流分析过程中 ,利用 Ω区域、Φ区域之间的覆盖关系消除... 详细信息

用计算函数模型进行精确的数据流分析 ,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系 .该文讨论在各种常见的程序构造下如何表示、计算和传递 Ω区域、Φ区域 ,并在数据流分析过程中 ,利用 Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性 ,以得到更精确的数据流信息 .

关键词：数据流分析区域覆盖数组符号分析数据集

来源：评论

学校读者我要写书评

暂无评论

基于BPEL的Web Service组合的数据流分析测试方法(英文)

引用

软件学报 2009年第8期20卷 2102-2112页

作者：董文莉胡建华中国科学院软件研究所北京100190 淮海工学院现代教育技术中心江苏连云港222005

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Serv... 详细信息

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.

关键词： Web服务业务流程执行语言 Web服务组合软件测试数据流分析

来源：评论

学校读者我要写书评

暂无评论

Ada软件数据流分析方法及其实现

引用

北京航空航天大学学报 1997年第1期23卷 25-29页

作者：唐发根钱红兵北京航空航天大学计算机科学与工程系

简要介绍了有关数据流分析的基本概念之后，较为着重地讨论了一种基于静态分析的Ａｄａ软件数据流分析方法，同时也讨论了分析过程中一些实现原理．实践结果表明，文中讨论的数据结构。

关键词：软件质量软件工程数据流分析

来源：评论

学校读者我要写书评

暂无评论

基于虚拟局域网的变电站综合数据流分析与通信网络仿真

引用

电网技术 2011年第5期35卷 204-209页

作者：张志丹黄小庆曹一家何杰杨漾湖南大学电气与信息工程学院湖南省长沙市410082

根据IEC61850标准,归纳分析了数字化变电站内的各种典型数据流,运用明确的数学模型对其进行了详细描述,最终得出各类报文的数据包生成图。以IEC 61850-5规定的D2-1典型变电站为例,对其中存在的各种数据流及其流量大小进行了详细说明;利... 详细信息

根据IEC61850标准,归纳分析了数字化变电站内的各种典型数据流,运用明确的数学模型对其进行了详细描述,最终得出各类报文的数据包生成图。以IEC 61850-5规定的D2-1典型变电站为例,对其中存在的各种数据流及其流量大小进行了详细说明;利用OPNET仿真软件,应用优先级标签技术,对基于虚拟局域网(virtual local area network,VLAN)的集成型变电站综合通信网络进行了仿真分析,进一步研究了变电站通信网络中VLAN的配置方法和原则,对有无VLAN的星型网络进行了对比研究。结果表明,VLAN技术可以较好地解决变电站中的网络资源竞争以及部分安全性问题。

关键词：数字化变电站 IEC 61850 数据流分析 OPNET 仿真虚拟局域网

来源：评论

学校读者我要写书评

暂无评论

用计算函数模型增强数据流分析

引用

软件学报 2000年第2期11卷 187-194页

作者：胡世亮臧斌宇朱传琪复旦大学并行处理研究所上海200433

精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑... 详细信息

精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题 .而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法 .

关键词：计算函数模型数据流分析并行化编译器

来源：评论

学校读者我要写书评

暂无评论

面向顺序存储结构的数据流分析

引用

软件学报 2020年第5期31卷 1276-1293页

作者：王淑栋尹文静董玉坤张莉刘浩中国石油大学(华东)计算机科学与技术学院山东青岛266580

C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了指针的指向关系,而未讨论指针可能发生... 详细信息

C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了指针的指向关系,而未讨论指针可能发生偏移的数值信息,且未考虑发生偏移时可能存在越界的不安全问题,导致了对顺序存储结构分析不精确.针对以上不足,首先对顺序存储结构进行抽象建模,并对顺序存储结构与指针结合使用时的指向关系与偏移量进行有效表示,建立了用于顺序存储结构的抽象内存模型SeqMM;其次,归纳总结C程序中顺序存储结构涉及的指针相关迁移操作、谓词操作及遍历顺序存储结构的循环操作,提出了安全范围判别保证操作安全性;之后,针对函数调用时形参指针引用顺序存储结构与实参的映射过程进行过程间推导规则设计;最后,基于上述分析,提出了一种内存泄漏缺陷检测算法,对5个开源C工程的内存泄漏缺陷进行检测.实验结果表明,所提出的Seq MM能够有效地刻画C程序中的顺序存储结构及其涉及的各种操作,其数据流分析结果能够用于内存泄漏的检测工作,同时在效率和精度之间取得合理的权衡.

关键词：顺序存储结构数据流分析抽象内存模型过程间分析内存泄漏

来源：评论

学校读者我要写书评

暂无评论

基于渐进扩展的二进制程序数据流分析方法

引用

软件学报 2022年第9期33卷 3249-3270页

作者：潘家晔庄毅孙炳林南京邮电大学现代邮政学院江苏南京210003 南京航空航天大学计算机科学与技术学院江苏南京210016

二进制程序分析技术广泛应用于软件的安全性评估,恶意代码分析等领域.动态分析技术能够准确体现程序真实的运行状态,但面临目标程序运行负载过高、难以深入了解内部结构信息等挑战.提出一种基于渐进扩展的二进制程序数据流分析方法.方... 详细信息

二进制程序分析技术广泛应用于软件的安全性评估,恶意代码分析等领域.动态分析技术能够准确体现程序真实的运行状态,但面临目标程序运行负载过高、难以深入了解内部结构信息等挑战.提出一种基于渐进扩展的二进制程序数据流分析方法.方法旨在充分利用在线数据流分析的能力,在局部细粒度分析的基础上逐渐扩展分析范围,从而使分析能够覆盖整个目标程序.通过设计的分治策略,可降低对目标程序运行时的性能影响,从而可使对延迟敏感的目标代码段能成功地执行.并在此基础上,进一步提出基于内存引用关系的函数参数相关性分析方法,从函数调用层面获取数据流传递信息,可辅助恢复参数的内部结构信息.通过对大量真实案例进行研究和实验,验证了所提出方法的可行性与有效性,在降低对目标程序影响的同时未引入显著的额外分析开销,能够用于实际环境下二进制程序的分析.

关键词：二进制程序数据流分析污点跟踪恶意代码逆向分析

来源：评论

学校读者我要写书评

暂无评论

一种基于异常传播分析的数据流分析方法

引用

软件学报 2007年第1期18卷 74-84页

作者：姜淑娟徐宝文史亮东南大学计算机科学与工程学院江苏南京210096 中国矿业大学计算机科学与技术学院江苏徐州221008 东南大学计算机科学与工程学院江苏南京210096

异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对... 详细信息

异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对数据流分析影响的基础上,提出一种包含异常传播信息的函数间控制流图的构建方法.该控制流图可以清晰地表示出异常的隐式控制流和异常的传播路径;然后提出了基于异常传播分析的数据流分析方法,并给出相应的算法.该方法既克服了因忽略异常传播对数据流影响而造成分析结果不准确的不足,又有助于实现异常传播数据流分析的自动处理;最后用一个实例验证了该方法的可用性.该方法可以为结构测试、回归测试、程序切片等软件工程任务提供相关信息.

关键词：异常处理程序分析异常传播控制流图数据流分析

来源：评论

学校读者我要写书评

暂无评论

一种基于数据流分析的程序定义域自动确定方法

引用

计算机辅助设计与图形学学报 2001年第8期13卷 762-768页

作者：赵瑞莲闵应骅中国科学院计算技术研究所网络研究室北京100080

程序定义域的确定有利于指导测试用例的选取 .虽然程序规范规定了输入变量的定义域 ,但程序实现本身也定义了其定义域 ,如果二者不能完全重合 ,那么某些软件故障就可诊断出来 .文中提出了一种基于数据流分析的程序定义域自动确定方法 .... 详细信息

程序定义域的确定有利于指导测试用例的选取 .虽然程序规范规定了输入变量的定义域 ,但程序实现本身也定义了其定义域 ,如果二者不能完全重合 ,那么某些软件故障就可诊断出来 .文中提出了一种基于数据流分析的程序定义域自动确定方法 .通过对源程序进行数据流分析和相关性分析 ,求取输入变量的定义域 ;采用程序抽取技术 ,将与输入变量无关的语句和函数剔除 ,简化了源程序 ,提高了分析效率 ;采用动态模拟技术 ,实现了特殊情形下输入变量定义域的确定 .实验证明 ,该方法是行之有效的 .

关键词：数据流分析程序抽取自动确定程序定义域软件工程软件测试

来源：评论

学校读者我要写书评

暂无评论

DFSampling:一种数据流分析指导的变异体精简策略

引用

软件学报 2022年第9期33卷 3407-3421页

作者：孙昌爱卫新洁刘镇贤宫云战北京科技大学计算机与通信工程学院北京100083 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 北京邮电大学网络技术研究院北京100876

软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSamp... 详细信息

软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSampling),设计了启发式规则,基于这些规则对随机选择技术与基于路径感知的变异体精简技术(PAMR)进行了改进.采用经验研究的方式评估了DFSampling的有效性,比较了DFSampling与随机选择技术、PAMR技术的有效性,实验结果表明DFSampling是一种有效的变异体精简策略,提高了变异测试的效率.

关键词：软件测试变异测试数据流分析变异体精简随机选择策略

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：