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

摘要

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