Tyokalu Luotettavuuden Mallipohjaiseen Analysointiin (Tool for Model-Based Reliability Analysis).

摘要

Model-based analysis is about analyzing software quality from the architectural models, which describe the structure and behavior of a system. Architectural level analysis is realized in the early development phase of the software system, when the changes caused by potential problems of a system are not as complex and expensive to make as correcting the source code. In this thesis, a tool for analyzing reliability of the software system at architectural level is developed and implemented. The purpose of the tool is to support the usage of an existing reliability analysis method and assist an architect to validate whether or not the quality requirements are met in the system architecture. To perform the analysis by the tool, separate models were developed for analyzing the reliability of single software components and the whole system using a standard graphical notation. These models were described as part of the system's architectural model. Sparx System's Enterprise Architect was used as a modeling tool for the representing the architectural models. The analysis tool was able to access the architectural models through Enterprise Architect's external application interface. For the development environment, Microsoft's Visual Studio .NET 2003 was used, and the tool was implemented using C number. In summary, reliability analysis of the example architecture succeeded technically with the tool developed in this thesis. However, further development is considerably needed before industrial use of the tool.