本文選題：軟件體系結(jié)構(gòu) + MVVM�。� 參考：《中國(guó)海洋大學(xué)》2015年碩士論文

【摘要】：隨著計(jì)算機(jī)和軟件技術(shù)的飛速發(fā)展,軟件體系結(jié)構(gòu)已經(jīng)成為一個(gè)獨(dú)立的研究方向,擁有屬于自已的概念,方法和工具。目前,對(duì)軟件體系結(jié)構(gòu)的研究已經(jīng)成為軟件工程領(lǐng)域的熱點(diǎn)。在開(kāi)發(fā)過(guò)程中,軟件體系結(jié)構(gòu)為描述大型、復(fù)雜的系統(tǒng)提供了一個(gè)高層次的模型,并且可以指導(dǎo)軟件開(kāi)發(fā)和測(cè)試工作。在系統(tǒng)開(kāi)發(fā)的過(guò)程中,由于多種原因可能會(huì)造成已經(jīng)實(shí)現(xiàn)的系統(tǒng)不符合體系結(jié)構(gòu)的設(shè)計(jì)規(guī)范,因此,對(duì)系統(tǒng)進(jìn)行體系結(jié)構(gòu)的一致性檢驗(yàn)是非常有必要的工作。本文研究的主要內(nèi)容是對(duì)基于MVVM模式的體系結(jié)構(gòu)系統(tǒng)的一致性檢驗(yàn),檢測(cè)已開(kāi)發(fā)的系統(tǒng)中有違于體系結(jié)構(gòu)設(shè)計(jì)規(guī)范的部分。本文的研究思路是從體系結(jié)構(gòu)的靜態(tài)描述和動(dòng)態(tài)描述兩方面入手,對(duì)靜態(tài)體系結(jié)構(gòu)進(jìn)行一致性檢驗(yàn),對(duì)體系結(jié)構(gòu)動(dòng)態(tài)性進(jìn)行一致性測(cè)試。在靜態(tài)一致性檢驗(yàn)過(guò)程中,采用Deming環(huán)作為檢驗(yàn)的總體流程,首先根據(jù)MVVM模式的特點(diǎn)和體系結(jié)構(gòu)規(guī)范制定體系結(jié)構(gòu)規(guī)約,然后使用人工檢驗(yàn)和依賴結(jié)構(gòu)矩陣工具兩種方法進(jìn)行代碼分析,最后得到分析的結(jié)果,判斷系統(tǒng)的代碼是否符合靜態(tài)一致性檢驗(yàn)。在動(dòng)態(tài)一致性測(cè)試過(guò)程中,最重要的過(guò)程是從體系結(jié)構(gòu)層次行為映射到代碼路徑的測(cè)試上。論文首先利用FSP規(guī)格說(shuō)明生成LTS模型,其次根據(jù)觀測(cè)行為從LTS模型中抽取ALTS模型,然后從ALTS模型中選擇體系結(jié)構(gòu)層次的行為路徑,最后將體系結(jié)構(gòu)層次的行為路徑映射到代碼路徑,生成測(cè)試用例。在生成代碼級(jí)測(cè)試用例后,在待測(cè)系統(tǒng)中運(yùn)行,檢測(cè)系統(tǒng)行為是否符合體系結(jié)構(gòu)設(shè)計(jì)規(guī)范,并且檢測(cè)系統(tǒng)代碼在運(yùn)行的過(guò)程中,調(diào)用順序是否與設(shè)計(jì)保持一致。在以上理論基礎(chǔ)上,本文以中國(guó)大洋樣品館室內(nèi)系統(tǒng)為例,利用靜態(tài)一致性檢驗(yàn)和動(dòng)態(tài)一致性測(cè)試對(duì)系統(tǒng)進(jìn)行一致性檢測(cè),從檢測(cè)的過(guò)程和檢測(cè)的結(jié)果分析表明,靜態(tài)一致性檢驗(yàn)和動(dòng)態(tài)一致性測(cè)試能很好的檢測(cè)出系統(tǒng)中不符合MVVM體系結(jié)構(gòu)設(shè)計(jì)規(guī)范的部分。
[Abstract]:With the rapid development of computer and software technology, software architecture has become an independent research direction, with its own concepts, methods and tools. At present, the research of software architecture has become a hot spot in the field of software engineering. In the development process, the software architecture provides a high-level model for describing large and complex systems, and can guide software development and testing. In the process of system development, because of various reasons, the implemented system may not conform to the design specification of the architecture. Therefore, it is necessary to check the consistency of the system architecture. The main content of this paper is to check the consistency of the architecture system based on MVVM pattern, and to detect the part of the developed system that is contrary to the architecture design specification. The research idea of this paper is to test the consistency of static architecture and dynamic architecture from two aspects: static description and dynamic description. In the process of static consistency verification, the Deming loop is adopted as the overall process of testing. Firstly, according to the characteristics of MVVM pattern and the specification of architecture, the architecture specification is formulated. Then we use manual test and dependency structure matrix tool to analyze the code. Finally, we get the results of the analysis and judge whether the code of the system conforms to the static consistency test. In the process of dynamic conformance testing, the most important process is mapping from architecture hierarchy behavior to code path testing. Firstly, the LTS model is generated by using FSP specification, then the ALTS model is extracted from the LTS model according to the observed behavior, and then the behavior path of architecture level is selected from the ALTS model. Finally, the behavior path at the architecture level is mapped to the code path to generate test cases. After generating code-level test cases, running in the system to be tested, checking whether the system behavior conforms to the architecture design specification, and checking whether the calling order of the system code is consistent with the design in the process of running. On the basis of the above theory, this paper takes the indoor system of China Ocean sample Pavilion as an example, using static consistency test and dynamic conformance test to detect the consistency of the system. From the analysis of the process of detection and the result of detection, it is shown that, Static conformance test and dynamic conformance test can detect the parts of the system that do not conform to the MVVM architecture design specification.
【學(xué)位授予單位】：中國(guó)海洋大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP311.53

【參考文獻(xiàn)】

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

1 朱凱;毛宜軍;葉俊民;;軟件體系結(jié)構(gòu)測(cè)試研究與進(jìn)展[J];現(xiàn)代計(jì)算機(jī)(專業(yè)版);2009年09期

2 顧燕萍;高建華;;軟件體系結(jié)構(gòu)動(dòng)態(tài)模型描述及其測(cè)試中的應(yīng)用[J];計(jì)算機(jī)工程與設(shè)計(jì);2007年04期

，

本文編號(hào)：1854339