Proposal of automated white-box testing tool for S/W safety guarantee in railway system

The railway system, especially railway signaling system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. As the software becomes more complicated for the intellectualization and automation in accordance with the development of computer technology, the relative importance...