Research On Software Testing Method Of CBTC Zone Controlller Based On SCADE

With the increasing pressure of the urban traffic, rail transport system is more and more important for solving the traffic problem. CBTC (Communication Based Train Control System) becomes the most popular and important train control system for shortening train separation and improving operation efficiency. Zone controller (ZC) is an important subsystem of CBTC, which calculates MA for the trains and ensures the trains running with high security and reliability. So it is very important to test ZC thoroughly.SCADE (Safety-Critical Application Development Environment) is suitable for developing safety-critical embedded software systems. How to test the software of ZC based on SCADE is my key research point.This thesis's prime work is as follows:By analyzing types of the states and state-transitions of safe state machine (SSM) in SCADE, the method and principles for flatting SSMs is summarised. According to the test tree algorithm, the test sequences are generated. The methods are used in the SSM model of train management in ZC and the test scenarios for ZC are designed arrording to the test sequences generated. The function of ZC is tested based on the SCADE simulator to watch out whether the model takes the right transition. A platform is alse developed to analyzed the data visually which produced during the process of testing.MC/DC is a testing coverage criterion which is used in SCADE MTC. The testing coverage criterion is used to guarantee the adequacy of the testing for the SCADE data flow diagram (DFD) model. According to the analysis of the MC/DC, a method which generate MC/DC minimum test suites based on the SCADE DFD model is put forword to guide the testing of DFD models of ZC and make sure of nodes of the models can get the 100% testing coverage.This paper uses 37 figures,4 tables and refers to 48 articles.