基于模型代数的复杂软件结构分析方法与技术研究

发布时间：2018-03-07 07:32

本文选题：软件结构　切入点：模型代数　出处：《北方工业大学》2016年硕士论文　论文类型：学位论文

【摘要】：随着互联网技术的迅猛发展,基于网络的应用软件在诸多领域中不断扩展,如电子商务、银行业、保险业等等。这些软件的应用给社会进步提供了良好的平台,与此同时,由于应用软件其自身的规模度和复杂度的不断增加,也给软件的可靠性技术提出了巨大的挑战。提高软件可靠性技术的途径之一是构造清晰的软件结构,以便有效地维护和控制代码的质量。然而,当前对于软件结构的描述,一定程度上依然停留在非形式化的图和文本基础之上。这些软件模型技术还不能很好地解决软件结构描述问题。针对此类复杂的软件结构,本文基于自主开发的软件模型代数,对软件结构分析和技术研究,并通过软件测试基本路径生成展示软件结构分析方法的成效。模型代数是对面向服务的可信软件体系结构代数模型的扩展应用,通过扩展进程代数,增加了适合描述软件组件之间调用关系的算子,从而实现对软件系统的抽象和建模。建立在代数方法基础之上,为软件系统的程序结构建模,通过数学方法求解程序的基本路径集。本文应用模型代数对被测系统进行描述,并提出模型代数表达式的生成算法,模型代数表达式为后续研究奠定了基础。基于模型代数表达式,分析与研究软件的结构,提出相应的基本测试路径集生成算法。根据提出的一系列算法开发相关的应用工具,并选取了若干经典案例用以证明该算法的正确性和工具的可用性。文中也对选取的案例进行了分析与评估。模型代数在求解程序基本路径集问题上提供了新的思路和尝试,摒弃了依赖程序控制流图生成基本路径集的方法技术。与遗传算法相比,弥补了该方法在耗时与生成率的不足。模型代数为软件结构的研究奠定了基础,其也体现了在分析研究软件结构中的价值。
[Abstract]:With the rapid development of Internet technology, web-based application software is expanding in many fields, such as e-commerce, banking, insurance and so on. The application of these software provides a good platform for social progress, at the same time, Because of the increasing scale and complexity of the application software, it also poses a great challenge to the software reliability technology. One of the ways to improve the software reliability technology is to construct a clear software structure. In order to effectively maintain and control the quality of the code. However, the current description of the software structure, To some extent, it is still on the basis of non-formal graph and text. These software model techniques can not solve the problem of software structure description well. For this kind of complex software structure, this paper based on the software model algebra developed by ourselves. The software structure analysis and technology are studied, and the effectiveness of the software structure analysis method is demonstrated by generating the basic path of software testing. Model algebra is an extension of the service-oriented trusted software architecture algebra model. By extending the process algebra, the operators suitable for describing the calling relation between software components are added to realize the abstraction and modeling of the software system. Based on the algebraic method, the program structure of the software system is modeled. The basic path set of the program is solved by mathematical method. In this paper, the model algebra is used to describe the system under test, and an algorithm for generating model algebraic expressions is proposed. Based on the model algebraic expression, the structure of the software is analyzed, and the corresponding algorithm of generating the basic test path set is proposed. Based on a series of algorithms proposed, the related application tools are developed. Several classic cases are selected to prove the correctness of the algorithm and the availability of the tool. The selected cases are also analyzed and evaluated. The model algebra provides a new idea and attempt to solve the basic path set problem of the program. The method of generating the basic path set based on program control flow graph is abandoned. Compared with genetic algorithm, it makes up for the shortage of time consuming and generation rate of this method. Model algebra lays a foundation for the research of software structure. It also reflects the value in the analysis and research of software structure.
【学位授予单位】：北方工业大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：TP311.53

【相似文献】