本文選題：軟件體系結構 + MVVM　； 參考：《中國海洋大學》2015年碩士論文

【摘要】：隨著計算機和軟件技術的飛速發(fā)展,軟件體系結構已經成為一個獨立的研究方向,擁有屬于自已的概念,方法和工具。目前,對軟件體系結構的研究已經成為軟件工程領域的熱點。在開發(fā)過程中,軟件體系結構為描述大型、復雜的系統(tǒng)提供了一個高層次的模型,并且可以指導軟件開發(fā)和測試工作。在系統(tǒng)開發(fā)的過程中,由于多種原因可能會造成已經實現(xiàn)的系統(tǒng)不符合體系結構的設計規(guī)范,因此,對系統(tǒng)進行體系結構的一致性檢驗是非常有必要的工作。本文研究的主要內容是對基于MVVM模式的體系結構系統(tǒng)的一致性檢驗,檢測已開發(fā)的系統(tǒng)中有違于體系結構設計規(guī)范的部分。本文的研究思路是從體系結構的靜態(tài)描述和動態(tài)描述兩方面入手,對靜態(tài)體系結構進行一致性檢驗,對體系結構動態(tài)性進行一致性測試。在靜態(tài)一致性檢驗過程中,采用Deming環(huán)作為檢驗的總體流程,首先根據MVVM模式的特點和體系結構規(guī)范制定體系結構規(guī)約,然后使用人工檢驗和依賴結構矩陣工具兩種方法進行代碼分析,最后得到分析的結果,判斷系統(tǒng)的代碼是否符合靜態(tài)一致性檢驗。在動態(tài)一致性測試過程中,最重要的過程是從體系結構層次行為映射到代碼路徑的測試上。論文首先利用FSP規(guī)格說明生成LTS模型,其次根據觀測行為從LTS模型中抽取ALTS模型,然后從ALTS模型中選擇體系結構層次的行為路徑,最后將體系結構層次的行為路徑映射到代碼路徑,生成測試用例。在生成代碼級測試用例后,在待測系統(tǒng)中運行,檢測系統(tǒng)行為是否符合體系結構設計規(guī)范,并且檢測系統(tǒng)代碼在運行的過程中,調用順序是否與設計保持一致。在以上理論基礎上,本文以中國大洋樣品館室內系統(tǒng)為例,利用靜態(tài)一致性檢驗和動態(tài)一致性測試對系統(tǒng)進行一致性檢測,從檢測的過程和檢測的結果分析表明,靜態(tài)一致性檢驗和動態(tài)一致性測試能很好的檢測出系統(tǒng)中不符合MVVM體系結構設計規(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.
【學位授予單位】：中國海洋大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TP311.53

【參考文獻】

相關期刊論文 前2條

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

2 顧燕萍;高建華;;軟件體系結構動態(tài)模型描述及其測試中的應用[J];計算機工程與設計;2007年04期

，

本文編號：1854339