基于程序分析的通信软件模型驱动测试研究

针对通信软件的模型驱动测试框架中出现的测试生成问题，对MSC测试模型的测试生成方法进行改进，获得有效的系统测试集。采用符号执行和程序分析相结合的方法，收集生成的约束、测试脚本变量与被测系统变量之间的映射关系，据此生成测试模型，进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展，对关心的程序路径进行测试覆盖，从而提高测试集合的有效性和完备性。