期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
一种基于函数依赖图的构件抽取方法 被引量:3
1
作者 符炜 张迎周 +1 位作者 孙无极 杨庚 《南京邮电大学学报(自然科学版)》 2010年第6期78-84,共7页
结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法。先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果。此基础上... 结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法。先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果。此基础上,提出一种基于函数依赖图的内聚度和耦合度的计算方法,以便从软件度量的角度来评价切片代码(构件)的质量。实验表明利用文中的构件抽取方法生成的切片代码较精简,且具有较高的运行效率。 展开更多
关键词 构件抽取 函数依赖图 程序切片 内聚度和耦合度 HASKELL
下载PDF
Java应用系统的复杂网络分析(英文) 被引量:1
2
作者 沈娉婷 陈良育 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2017年第1期38-51,70,共15页
大量研究表明,Java软件系统是一种人工复杂网络,它的入度分布符合幂律,然而出度却是对数正态分布.现有的这些研究都仅仅以Java开发工具包,如JDK、log4j和Tomcat这一类软件系统为研究对象.除此之外,所分析的数据类型也很有限,只考虑了程... 大量研究表明,Java软件系统是一种人工复杂网络,它的入度分布符合幂律,然而出度却是对数正态分布.现有的这些研究都仅仅以Java开发工具包,如JDK、log4j和Tomcat这一类软件系统为研究对象.除此之外,所分析的数据类型也很有限,只考虑了程序包与类的依赖关系,忽略了很多有用的数据类型,比如函数成员变量和函数临时变量.本文将这两类数据类型纳入了研究范畴,拓展了类依赖关系.不仅如此,本文也将研究粒度细化至函数层面,构建了函数依赖图.针对这两类依赖关系,本文提出了将系统转化为加权有向网络图的理论方法.全面的实验结果显示,本文所选取的10类Java应用系统,无论是出度还是入度绝大多数都符合幂律分布,由此证明了所提出的理论方法,验证了有向加权网络是否具有无标度特性在分析Java应用系统网络结构时是有效的. 展开更多
关键词 复杂网络 Java应用系统 幂律分布 类依赖图 函数依赖图
下载PDF
Web Service Generation through Program Slicing
3
作者 Yingzhou Zhang Wei Fu +2 位作者 Geng Yang Lei Chen Weifeng Zhang 《International Journal of Communications, Network and System Sciences》 2010年第11期877-887,共11页
As the development of web service (WS), applications based on web services (WS), which are convent and platform-independent, have become increasingly popular in recent years. However, how to identify, generate and com... As the development of web service (WS), applications based on web services (WS), which are convent and platform-independent, have become increasingly popular in recent years. However, how to identify, generate and compose services has become an open issue recently. This paper proposes a method based on program slicing to realize the generation and composition of web services. This paper introduces the method about how to generate a WSDL file and a SOAP message from source codes as well as the theory of function dependence graph (FDG). In addition, this paper gives the way to generate a proxy service for each service, which allows users to easily call a service. The results of experiments show that our generation and composition methods of WS are feasible and flexible. 展开更多
关键词 Web Service Arogram SLICING WS GENERATION function dependence graph HASKELL
下载PDF
一种基于FTA和FDG的安全关键函数定位方法 被引量:1
4
作者 姬忠孝 江国华 《计算机与现代化》 2016年第4期85-89,122,共6页
常用的软件安全性测试方法主要关注系统级测试,而对单元安全测试的关注较少且缺乏对安全关键函数的查找方法。本文提出基于FTA和FDG的安全关键函数的定位方法,解决安全关键函数定位问题,为以函数为单元的安全性测试提供依据。采用故障... 常用的软件安全性测试方法主要关注系统级测试,而对单元安全测试的关注较少且缺乏对安全关键函数的查找方法。本文提出基于FTA和FDG的安全关键函数的定位方法,解决安全关键函数定位问题,为以函数为单元的安全性测试提供依据。采用故障树分析法获取造成危险的基本事件,根据基本事件,构建与之对应的软件运行,以FDG为基础,构建函数与软件运行的映射,根据基本事件、软件运行和函数三者的关系,及函数的重要度,确定关键函数。 展开更多
关键词 安全性测试 故障树分析 函数依赖图 安全关键函数 危险
下载PDF
运用切片技术和模型检验进行构件接口测试
5
作者 龙庆 王璠 《电脑知识与技术(过刊)》 2015年第1X期211-214,共4页
为了达到运用切片技术对构件模型进行状态空间压缩的目的,在构件之间接口的交互关系的基础上,提出了用测试驱动节点和扩展的构件节点建立构件系统的功能依赖图的具体方法和步骤,并通过基于模型检验的接口变异测试方法对三角形问题的Java... 为了达到运用切片技术对构件模型进行状态空间压缩的目的,在构件之间接口的交互关系的基础上,提出了用测试驱动节点和扩展的构件节点建立构件系统的功能依赖图的具体方法和步骤,并通过基于模型检验的接口变异测试方法对三角形问题的Java Bean构件在切片前后的模型分别进行了测试。实验结果表明,该方法能够有效地压缩系统的状态空间,提高测试效率,同时也保证了对构件接口测试的全面性和正确性。 展开更多
关键词 模型检验 接口变异 切片技术 功能依赖图
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部