Title :
Efficiency analysis & safety assessment of automatic testing for safety-critical software [railway control]
Author :
Wu, Fangmei ; Huang, Lei
Author_Institution :
Sch. of Electron. & Inf. Eng., Tongji Univ., Shanghai, China
Abstract :
In order to ensure the quality of safety-critical software in the field of railway safety control and protection, safety test and assessment are of great importance besides functional test. The system structure and application of a testing and assessment platform for railway computer or microprocessor interlocking software are described in this paper. Sufficient testing data and its analysis are presented to discuss the assessment of safety-critical software.
Keywords :
program testing; railway safety; safety-critical software; software quality; automatic testing; microprocessor interlocking software; railway computer interlocking software; railway safety control; railway safety protection; safety-critical software; software safety assessment; software testing efficiency analysis; Application software; Automatic control; Automatic testing; Protection; Rail transportation; Railway safety; Software quality; Software safety; Software testing; System testing;
Conference_Titel :
Test Symposium, 2003. ATS 2003. 12th Asian
Print_ISBN :
0-7695-1951-2
DOI :
10.1109/ATS.2003.1250792
