Firstly introduced the hardware detection methods,such as the display unit,SID,SWCH circuit board states,carries on the example routine testing to the switch network,and so on.

Test Case Producing Manner of CTCS Level 3 Train Control System

Firstly,the architecture of the test platform was introduced;secondly,the method of designing the test cases and test sequences based on the Chinese Postman Problem was described,laying a good foundation for automatic test;finally,how to obtain test sequences using the Chinese postman problem algorithm was described.

This paper discusses the structure of the software test & assessment platform of ailway signal, generation of test case, running assemblage and regression testing.

Using model checking to generate test cases for class testing;

Test case model of embedded software based on DARTS;

Integration test case generating method based on UML;

Research on TTCN-3 test case generation based on MSC;

By object-oriented based formal description technology(OOBFDT),a new generation method of protocol test cases was proposed,which using C++ language as a tool for the description of the agreement that can be easily carried out formal description of the system.

Test cases of BGP4+ are generated by combining formal and informal method.

Embedded software test cases generation method based on scenario technique;

A test cases generation method for UML 2.0 communication diagram;

For specific software,long time testing and reliability evaluation should be done by using the test cases which are established through whole task profile,so as to display the increasing process of the software reliability.