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 took by software in the railway system is being increased further. Though the size and degree of complexity of software for railway system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated white-box testing tool composed of data flow and control flow analysis module for railway system software, and presented its result of implementation. We developed the data flow and control flow analysis tool estimating test coverage as an important quantitative item for software safety guarantee in railway software.