A Study on the Difference between Software Design and Implementation through Static Analysis

Abstract

제 4차 산업혁명의 등장으로 소프트웨어 시스템의 중요성이 높아지고 있는 상황에서 소프트웨어 개발 시 아키텍처를 정확하게 설계하더라도 이를 구현하고 진화하는 과정에서 계획된 아키텍처에 따라 구현하지 못하는 경우가 많다. 이로 인해 소프트웨어 시스템의 품질은 떨어지고 복잡성은 증가하며 유지보수가 어려워지는 문제가 발생한다.

이에 따라 초기 계획된 아키텍처 설계 산출물과 구현된 아키텍처 모델 간의 차이를 지속적으로 파악하여 아키텍처 침식 현상을 예방하는 것이 중요하다. 이를 위해서는 아키텍처 적합성 검사의 중요성과 구현된 아키텍처 모델을 정의하기 위한 정적 분석의 중요성이 요구된다.

본 논문에서는 소프트웨어 시스템의 설계와 구현 간의 발생할 수 있는 차이에 대해 알아보기 위해 webOS 시스템에 대한 정적 분석을 진행하였으며, 이를 통해 정적 분석의 필요성과 분석을 통해 얻을 수 있는 정보들의 활용 방안에 관해 연구하였다.; With the advent of the 4th industrial revolution, the importance of software systems is growing. But even if the architecture is designed correctly during software development, it is often not implemented according to the planned architecture in the process of implementing and evolving it. As a result, the quality of the software system deteriorates, complexity increases and maintenance becomes difficult.

Therefore, it is important to continue to identify the differences between the initial planned architectural design artifacts and the implemented architecture model to prevent architectural erosion. This requires the importance of an architecture conformance checking and the importance of static analysis to define the implemented architecture model.

In this paper, a static analysis of the webOS system was conducted in order to investigate the possible differences between the design and implementation of the software system. Through this analysis, the necessity of the static analysis and utilization of the information obtained through the analysis were studied.