本文選題：軟件結(jié)構(gòu)　切入點(diǎn)：模型代數(shù)　出處：《北方工業(yè)大學(xué)》2016年碩士論文　論文類型：學(xué)位論文

【摘要】：隨著互聯(lián)網(wǎng)技術(shù)的迅猛發(fā)展,基于網(wǎng)絡(luò)的應(yīng)用軟件在諸多領(lǐng)域中不斷擴(kuò)展,如電子商務(wù)、銀行業(yè)、保險(xiǎn)業(yè)等等。這些軟件的應(yīng)用給社會進(jìn)步提供了良好的平臺,與此同時(shí),由于應(yīng)用軟件其自身的規(guī)模度和復(fù)雜度的不斷增加,也給軟件的可靠性技術(shù)提出了巨大的挑戰(zhàn)。提高軟件可靠性技術(shù)的途徑之一是構(gòu)造清晰的軟件結(jié)構(gòu),以便有效地維護(hù)和控制代碼的質(zhì)量。然而,當(dāng)前對于軟件結(jié)構(gòu)的描述,一定程度上依然停留在非形式化的圖和文本基礎(chǔ)之上。這些軟件模型技術(shù)還不能很好地解決軟件結(jié)構(gòu)描述問題。針對此類復(fù)雜的軟件結(jié)構(gòu),本文基于自主開發(fā)的軟件模型代數(shù),對軟件結(jié)構(gòu)分析和技術(shù)研究,并通過軟件測試基本路徑生成展示軟件結(jié)構(gòu)分析方法的成效。模型代數(shù)是對面向服務(wù)的可信軟件體系結(jié)構(gòu)代數(shù)模型的擴(kuò)展應(yīng)用,通過擴(kuò)展進(jìn)程代數(shù),增加了適合描述軟件組件之間調(diào)用關(guān)系的算子,從而實(shí)現(xiàn)對軟件系統(tǒng)的抽象和建模。建立在代數(shù)方法基礎(chǔ)之上,為軟件系統(tǒng)的程序結(jié)構(gòu)建模,通過數(shù)學(xué)方法求解程序的基本路徑集。本文應(yīng)用模型代數(shù)對被測系統(tǒng)進(jìn)行描述,并提出模型代數(shù)表達(dá)式的生成算法,模型代數(shù)表達(dá)式為后續(xù)研究奠定了基礎(chǔ)�；谀Ｐ痛鷶�(shù)表達(dá)式,分析與研究軟件的結(jié)構(gòu),提出相應(yīng)的基本測試路徑集生成算法。根據(jù)提出的一系列算法開發(fā)相關(guān)的應(yīng)用工具,并選取了若干經(jīng)典案例用以證明該算法的正確性和工具的可用性。文中也對選取的案例進(jìn)行了分析與評估。模型代數(shù)在求解程序基本路徑集問題上提供了新的思路和嘗試,摒棄了依賴程序控制流圖生成基本路徑集的方法技術(shù)。與遺傳算法相比,彌補(bǔ)了該方法在耗時(shí)與生成率的不足。模型代數(shù)為軟件結(jié)構(gòu)的研究奠定了基礎(chǔ),其也體現(xiàn)了在分析研究軟件結(jié)構(gòu)中的價(jià)值。
[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.
【學(xué)位授予單位】：北方工業(yè)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：TP311.53

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 周毓明;徐寶文;;軟件結(jié)構(gòu)改善技術(shù)[J];計(jì)算機(jī)科學(xué);2000年10期

2 肖政宏,韓秋風(fēng);多層軟件結(jié)構(gòu)技術(shù)及其實(shí)現(xiàn)[J];電腦與信息技術(shù);2001年06期

3 徐廣毅 ,張展 ,何岷;嵌入式電子飛行儀表系統(tǒng)(三)——軟件結(jié)構(gòu)的設(shè)計(jì)與實(shí)現(xiàn)(上)[J];電子世界;2003年07期

4 徐廣毅,張展,何岷;嵌入式電子飛行儀表系統(tǒng)(四)——軟件結(jié)構(gòu)的設(shè)計(jì)與實(shí)現(xiàn)(下)[J];電子世界;2003年08期

5 李愛軍;;議軟件結(jié)構(gòu)的發(fā)展[J];辦公自動化;2013年16期

6 楊芙清;軟件結(jié)構(gòu)與工具[J];小型微型計(jì)算機(jī)系統(tǒng);1982年05期

7 嚴(yán)雋永;關(guān)于軟件結(jié)構(gòu)的概念[J];計(jì)算機(jī)工程與設(shè)計(jì);1983年04期

8 楊康善;良好軟件結(jié)構(gòu)的分類構(gòu)造法[J];西北大學(xué)學(xué)報(bào)(自然科學(xué)版);1986年02期

9 曾凡華;王怒濤;黃炳光;;支持可復(fù)用的石油工程軟件結(jié)構(gòu)初探[J];石油工業(yè)計(jì)算機(jī)應(yīng)用;2002年01期

10 王振祥;;“攢”出的軟件更穩(wěn)定——介紹一種新的軟件結(jié)構(gòu)[J];程序員;2005年02期

相關(guān)會議論文 前2條

1 蘇宏升;劉煒;;基于本體的軟件結(jié)構(gòu)演化模型研究[A];第四屆中國軟件工程大會論文集[C];2007年

2 韓進(jìn);李鋼;;基于系統(tǒng)觀層次結(jié)構(gòu)定義的軟件結(jié)構(gòu)分析和設(shè)計(jì)[A];全國第16屆計(jì)算機(jī)科學(xué)與技術(shù)應(yīng)用（CACIS）學(xué)術(shù)會議論文集[C];2004年

相關(guān)重要報(bào)紙文章 前1條

1 西風(fēng)烈;2009，云計(jì)算來勢洶洶[N];電腦報(bào);2009年

相關(guān)博士學(xué)位論文 前1條

1 李桓;基于復(fù)雜網(wǎng)絡(luò)的軟件結(jié)構(gòu)復(fù)雜性分析與建模[D];武漢大學(xué);2009年

相關(guān)碩士學(xué)位論文 前3條

1 盧飛;基于模型代數(shù)的復(fù)雜軟件結(jié)構(gòu)分析方法與技術(shù)研究[D];北方工業(yè)大學(xué);2016年

2 劉婕;軟件結(jié)構(gòu)化測試及其應(yīng)用實(shí)踐[D];電子科技大學(xué);2005年

3 潘榮;大規(guī)模軟件結(jié)構(gòu)網(wǎng)絡(luò)中的波及效應(yīng)分析[D];東北大學(xué);2011年

，

本文編號：1578482