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

蒋凡，章磊，陈军成，王建学

Research on model-driven testing of communication software using program analysis

JIANG Fan，ZHANG Lei，CHEN Jun-cheng，WANG Jian-xue

计算机工程与应用 . 2009, (31): 66 -68 . DOI: 10.3778/j.issn.1002-8331.2009.31.021