计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
31期
66-68,84
,共4页
通信软件%模型驱动的测试%程序分析%测试生成
通信軟件%模型驅動的測試%程序分析%測試生成
통신연건%모형구동적측시%정서분석%측시생성
communication software%model-driven testing%program analysis%test case generate
针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集.采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系.据此生成测试模型,进一步进行模型验证和测试生成.这种方法可以对原有的测试集合进行半自动的扩展,对关心的程序路径进行测试覆盖,从而提高测试集合的有效性和完备性.
針對通信軟件的模型驅動測試框架中齣現的測試生成問題,對MSC測試模型的測試生成方法進行改進,穫得有效的繫統測試集.採用符號執行和程序分析相結閤的方法,收集生成的約束、測試腳本變量與被測繫統變量之間的映射關繫.據此生成測試模型,進一步進行模型驗證和測試生成.這種方法可以對原有的測試集閤進行半自動的擴展,對關心的程序路徑進行測試覆蓋,從而提高測試集閤的有效性和完備性.
침대통신연건적모형구동측시광가중출현적측시생성문제,대MSC측시모형적측시생성방법진행개진,획득유효적계통측시집.채용부호집행화정서분석상결합적방법,수집생성적약속、측시각본변량여피측계통변량지간적영사관계.거차생성측시모형,진일보진행모형험증화측시생성.저충방법가이대원유적측시집합진행반자동적확전,대관심적정서로경진행측시복개,종이제고측시집합적유효성화완비성.
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.