会议专题

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 AutomataLabeled-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.

component MBT TTCN-3 LpTIOA automatic testing

Xianqiong ZHAO Wei ZHENG

State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing, China School of Electrical and Information Engineering Beijing Jiaotong University Beijing, China

国际会议

The 2010 International Conference on Computer Application and System Modeling(2010计算机应用与系统建模国际会议 ICCASM 2010)

太原

英文

481-485

2010-10-22(万方平台首次上网日期,不代表论文的发表时间)