The Experimental Comparison of Fault Detection Efficiency of Static Code Analysis Tools for Software RAMS

소프트웨어 RAMS를 위한 정적기법을 이용한 코드 결함 검출 효율성에 관한 실험적 비교

For Static analysis of software code, an experienced tester prefer detecting defects with using selective static technique. Many cases of static method have been reported such as coding rules, software metrics, defect data, etc. However, many of analysis case only present effectiveness of static analysis, not enough description for how the tester judged to classify code defects used in code analysis and removed them properly for ensure high quality. Occasionally, there are materials to show the effect of through some examples through some examples. But difficult to gain trust, because of not enough detail for application process. In this paper, introduced the static technique commonly used in railway and applied to the real development challenges. And the each of results were compared and analyzed. It is hard to generalize the results of this parer. But can be used and referenced as a case of study.

소프트웨어 RAMS를 위한 소프트웨어 코드의 정적 분석을 위해서 경험 있는 테스터들은 안전에 고장을 야기시키는 정적 기법을 선별적으로 사용하여 결함을 검출하기를 선호한다. 코딩 규칙, 소프트웨어 메트릭스, 위험데이터 등의 정적 기법들의 많은 사례들이 보고되고 있다. 그러나 다수의 분석 사례들은 정적 분석의 효과를 이론적으로만 제시할 뿐, 코드 분석에 사용된 코드 결함들을 테스터가 어떻게 판단하여 분류하고 이를 높은 품질을 보증하기 위해 올바르게 제거 수정하였는가에 대한 구체적인 설명이 부족하다. 간혹, 일부 사례를 통해서 그 효과를 제시하는 자료들도 있으나 그 적용과정이 구체적이지 않아 신뢰를 얻기가 어려운 경우가 많다. 본 논문에서는 안전성 화보를 위해 철도분야에서 많이 사용되는 정적 기법들을 소개하고 이들을 실제 개발 과제에 적용하여 각각의 결과를 비교하고 분석하였다. 본 논문의 결과를 일반화하기는 어려울 것이지만 하나의 사례 연구로서 참고하고 활용될 수 있을 것이다.