@inproceedings{cba335060d6e48f68b188dd6a3c969d9,
title = "Research and application on MBT and TTCN-3 based automatic testing approach",
abstract = "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.",
keywords = "Automatic testing, Component, LpTIOA, MBT, TTCN-3",
author = "Xianqiong Zhao and Wei Zheng",
year = "2010",
doi = "10.1109/ICCASM.2010.5619435",
language = "英语",
isbn = "9781424472369",
series = "ICCASM 2010 - 2010 International Conference on Computer Application and System Modeling, Proceedings",
pages = "V1481--V1485",
booktitle = "ICCASM 2010 - 2010 International Conference on Computer Application and System Modeling, Proceedings",
note = "2010 International Conference on Computer Application and System Modeling, ICCASM 2010 ; Conference date: 22-10-2010 Through 24-10-2010",
}