| Title |
Analysis on Software Static Testing Results of Railway Signaling System |
| Authors |
황종규(Hwang, Jong-Gyu) ; 조현정(Jo, Hyun-Jeong) ; 정락교(Jeong, Rak-Gyo) |
| DOI |
https://doi.org/10.5370/KIEEP.2013.62.1.030 |
| Keywords |
Software static testing ; Software coding rules ; Software complexity |
| Abstract |
Many function of railway signalling system which is in charge of most core function in a railway system are being operated by the software according to the development of computer technology. Accordingly, the source code testing to verify the safety of the railway signalling system software becomes to be more important, and related international standards highly recommend verifications on the source code also. For this reason, several related studies on vital source code verification were executed from several years ago in Korea. This paper performed tests through the application to railway signalling system being applied to the existing actual domestic railway sites through automated testing tools for coding rules of signalling system software and another signaling system software under development in Korea recently, and analyzed their results. |