Research and application on MBT and TTCN-3 based automatic testing approach

Combining the advantages of model-based testing (MBT) method in the testing-automation field, as well as the advantages of TTCN-3 testing language in the field of the message-based black box testing, this paper presents a automatic testing approach of distributed real-time System based on the MBT and TTCN-3. Under the premise of considering the complexity and the real-time features of the distributed real-time system, this method first decomposed the distributed real-time system into multiple entities; for each entity, using an extended time Input/Output Automata-Labeled-ports TIOA(LpTIOA) to describe the entity according to its functional requirement specification; then derive the test case set based on an improved search algorithm; and then transfer these test cases into TTCN-3 language described test cases according to the seven regulation presented in this paper; finally achieved the TTCN-3 test platform and complete some functional tests on the CTCS-3 Level Onboard subsystem.