网络拓扑软件_利用K核分解分析大型软件系统的静态结构

摘要：大型软件系统的结构对于设计人员和开发人员来说是复杂和难以理解的。传统的软件度量标准难以描述现代软件结构的复杂性，找到一种定量的方法来描述和分析大型软件仍然是一个挑战。本文利用复杂网络理论对软件结构进行了研究，我们可视化了软件结构图，并使用K核来研究它，基于递归修剪最少连接的节点。我们对不同类型的软件进行了分析，发现了一些值得注意的新特性，如相似核心、关键最高核、高核连接倾向和演化稳定性。这些特性表明，软件组织在一个已定义的层次结构中，从外到内的中心性不断增加。K核分析可以帮助开发人员提高软件理解，指导测试，以及在开发中对系统进行测量和评估。

关键词：复杂网络  K核 软件结构  软件度量  可视化

1  引言

计算机技术的发展使得人们可以通过开发大型的软件来解决复杂的问题。另一方面，大规模软件的复杂性给软件工程师带来了开发困难和不可控制的质量问题。因此，寻找一种有效的方法来提取和分析软件的本质特征已经成为一个巨大的挑战。虽然已经提出了许多想法，人们也知道一个良好的软件组织结构可以指导工程师快速、轻松地开发可更改、可扩展、可维护和可靠的软件系统，但这种微妙的平衡仍然难以衡量和实现。分层设计是一种可行的解决方案，并在面向对象(OO)系统开发中得到了广泛的应用。然而，随着软件规模的不断扩大，抽象概念的局限性日益显现，我们仍然无法找到一种定量的方法来描述和分析大规模软件结构。相反，一些反复出现的问题也被提出。如何以直观并且合理的方式表达软件结构？除了当前的软件度量，还有什么方法可以度量软件结构吗？如何从现有软件系统中提取和分析层次特征，评估软件设计是否合理？

复杂网络是一门新兴的研究课题，它可以揭示复杂系统背后的一些规律或特征。许多领域的复杂系统都表现出一些有趣的特征，如“小世界”和“无标度”。大型软件系统作为一个复杂系统，也是复杂网络的另一个重要类别，目前对提取软件复杂网络中隐含的基本特征有多项研究，这些研究为我们的研究提供了基础。

然而，现有的对软件复杂网络的研究并没有得到很好的整合。首先，单是软件结构的图形表示就缺乏各种布局，所以目前的可视化还不能结合特征分析来帮助我们理解系统结构。其次，基于复杂网络的软件系统所选择的属性不包括几个重要的属性，比如核心度，它是比节点度更复杂的节点连通性度量。第三，现在很多软件都是基于面向对象方法设计的，但是对于面向对象系统来说，忽略层次结构是软件设计和开发过程中的一个重要特征；也就是说，基于OO方法的软件设计在度量中没有考虑层次结构与其他属性之间的关系。为了克服这些局限性，本文利用基于复杂网络的K核分析方法研究了大型软件的层次特性，提出了一种定性的方法来理解结构中的潜在关系。

论文组织如下。第2节介绍了本文的工具、概念和实验设置，如软件可视化、可视化布局和K核理论。文中还描述了用于实验和分析的数据集。第三部分是本文的主体部分，详细介绍了我们的分析方法，并根据实验结果讨论了K核的特征以及K核与其他有趣性质的相关性。最后，第四部分对本文进行了总结。

2  软件可视化和K核分解

2.1  软件结构图

作为工程系统中精心制作的一部分，软件系统拥有包含所有内部信息的结构。OO系统通过抽象数据类型描述和定义对象，它们的实体和相关性形成了静态结构。典型的基础单元包括类、界面、结构等。这些抽象数据类型通过协作实现复杂的任务，三个主要的关联包括继承、聚合和使用。在本文中，我们没有考虑详细的关系语义，相反，所有的关系都被平等地对待，并且对于结构分析具有同样的重要性。

软件系统的单元和协作可以用来定义软件结构的网络或图G(V，  E)，其中V是节点的集合，E是链接的集合。考虑到链接的方向，我们可以定义一个有向图A (V，  L)来描述软件拓扑结构，其中L为有向链接的集合。V中的每个节点表示一个类或组件，L中的每个链接表示一个关系。因此，我们可以利用复杂网络的一些性质，如度、聚类系数、距离、介度、核心度等，通过软件图来测量和分析软件结构。

可视化是一种有用的工具，因为它可以在隐藏底层细节的同时关注组件之间的关系。不同的布局算法可以在同一个软件中显示不同的图形，可以帮助我们观察和关注感兴趣的点，增加可读性。一般来说，用于实现制图的物理算法主要包括GEM算法、KK算法、FR算法和Spring Embedder算法等。

2.2  K核分解

定义1  K核