| 基于程序分析的通信软件模型驱动测试研究 |
| |
| 引用本文： | 蒋凡,章磊,陈军成,王建学.基于程序分析的通信软件模型驱动测试研究[J].计算机工程与应用,2009,45(31):66-68. |
| |
| 作者姓名： | 蒋凡 章磊 陈军成 王建学 |
| |
| 作者单位： | 中国科学技术大学 计算机科学与技术系，合肥 230027 |
| |
| 摘 要： | 针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型,进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展,对关心的程序路径进行测试覆盖,从而提高测试集合的有效性和完备性。
|
| 关 键 词： | 通信软件 模型驱动的测试 程序分析 测试生成 |
| 收稿时间： | 2008-9-10 |
| 修稿时间： | 2008-12-5
|
Research on model-driven testing of communication software using program analysis |
| |
| JIANG Fan,ZHANG Lei,CHEN Jun-cheng,WANG Jian-xue.Research on model-driven testing of communication software using program analysis[J].Computer Engineering and Applications,2009,45(31):66-68. |
| |
| Authors: | JIANG Fan ZHANG Lei CHEN Jun-cheng WANG Jian-xue |
| |
| Affiliation: | Department of Computer Science &; Technology，USTC，Hefei 230027，China |
| |
| 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. |
| |
| Keywords: | communication software model-driven testing program analysis test case generate |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|
