Automatic Static Software Testing Technology for Railway Signaling System

Abstract

In accordance with the development of recent computer technology, the railway system is advancing to be flexible, automatic and intelligent. In addition, many functions of railway signaling which are cores to the railway system are being operated by computer software. Recently, the dependency of railway signaling systems on computer software is increasing. The testing to validate the safety of the railway signaling system software is becoming more important, and related international standards for inspections on the static analysis based source code and dynamic test are a highly recommended (HR) level. For this purpose, studies in relation to the development of source code analysis tools were started several years ago in Korea. To verify the applicability of validation tools developed as a part of these studies, the applicability test was performed for the railway signaling system being applied to the Korean domestic railway. This automated testing tool for railway signaling systems can also be utilized at the assessment stage for railway signaling system software, and it is anticipated that it can also be utilized usefully at the software development stage. This chapter drew the result of the application test for this actual source code of the railway signaling system being applied to railway sites and analyzed its result.