关键词: 通信软件, 模型驱动的测试, 程序分析, 测试生成

Abstract: In view of the test case generation problem in the model-driven testing architecture of communication software，test case generation method of MSC testing model is improved to obtain valid system test case set.According to the combination of symbolic execution and program analysis，the collection of generated constraint and the mapping between the test case variables and the SUT variables，testing model is generated，and then model verification and test case generation are done.This method can semi-automatically extend the original test case set，test the program path that we concerned with，to improve the validity and completeness of the test case set.

Key words: communication software, model-driven testing, program analysis, test case generate