基于MVVM模式的体系结构一致性测试

发布时间：2018-05-06 23:17

本文选题：软件体系结构 + MVVM　；参考：《中国海洋大学》2015年硕士论文

【摘要】：随着计算机和软件技术的飞速发展,软件体系结构已经成为一个独立的研究方向,拥有属于自已的概念,方法和工具。目前,对软件体系结构的研究已经成为软件工程领域的热点。在开发过程中,软件体系结构为描述大型、复杂的系统提供了一个高层次的模型,并且可以指导软件开发和测试工作。在系统开发的过程中,由于多种原因可能会造成已经实现的系统不符合体系结构的设计规范,因此,对系统进行体系结构的一致性检验是非常有必要的工作。本文研究的主要内容是对基于MVVM模式的体系结构系统的一致性检验,检测已开发的系统中有违于体系结构设计规范的部分。本文的研究思路是从体系结构的静态描述和动态描述两方面入手,对静态体系结构进行一致性检验,对体系结构动态性进行一致性测试。在静态一致性检验过程中,采用Deming环作为检验的总体流程,首先根据MVVM模式的特点和体系结构规范制定体系结构规约,然后使用人工检验和依赖结构矩阵工具两种方法进行代码分析,最后得到分析的结果,判断系统的代码是否符合静态一致性检验。在动态一致性测试过程中,最重要的过程是从体系结构层次行为映射到代码路径的测试上。论文首先利用FSP规格说明生成LTS模型,其次根据观测行为从LTS模型中抽取ALTS模型,然后从ALTS模型中选择体系结构层次的行为路径,最后将体系结构层次的行为路径映射到代码路径,生成测试用例。在生成代码级测试用例后,在待测系统中运行,检测系统行为是否符合体系结构设计规范,并且检测系统代码在运行的过程中,调用顺序是否与设计保持一致。在以上理论基础上,本文以中国大洋样品馆室内系统为例,利用静态一致性检验和动态一致性测试对系统进行一致性检测,从检测的过程和检测的结果分析表明,静态一致性检验和动态一致性测试能很好的检测出系统中不符合MVVM体系结构设计规范的部分。
[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

【参考文献】