Railway signaling safety-critical software testing based on dynamic decision table

Author

Wu, Fangmei ; Li, Meng

Author_Institution

Dept. of Telecom Eng., Shanghai Taedao Univ., China

fYear

1999

fDate

1999

Firstpage

247

Lastpage

250

Abstract

This paper illustrates the importance of safety testing of railway signaling computer control software in techniques and market development. A black-box testing scheme based on the current status is presented and key techniques to generate dynamic decisions table are also introduced. Any kind of computer interlocking control software can be tested effectively by the universal testing platform demonstrated in this paper. The test results of the software of 10 stations are given. It is verified that the testing platform is useful in discovering software faults, improving the reliability and safety of software control, administrating the quality of development and production of railway computer real-time control systems and standardizing the computer interlocking market

Keywords

decision tables; program testing; railways; real-time systems; safety-critical software; signalling; transport control; black-box testing scheme; computer control software; computer interlocking control; dynamic decision table; railway signaling software; real-time control systems; reliability; safety-critical software testing; software faults; universal testing platform; Control systems; Product safety; Production systems; Rail transportation; Railway safety; Real time systems; Software quality; Software safety; Software testing; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Test Symposium, 1999. (ATS '99) Proceedings. Eighth Asian

Conference_Location

Shanghai

ISSN

1081-7735

Print_ISBN

0-7695-0315-2

Type

conf

DOI

10.1109/ATS.1999.810758

Filename

810758