摘要
基于模型的软件测试根据被测系统模型和所处环境模型生成测试用例。本文讨论了基于模型的测试过程,并从7个维度进行初步探讨。相信本文将有助于研究人员了解基于模型的测试方法的优点和不足,并更好的将这类方法应用到现实的软件测试过程中,提高软件质量。
出处
《福建电脑》
2009年第2期48-49,共2页
Journal of Fujian Computer
参考文献5
-
1A.Pretschner,W.Prenninger,S.Wagner,C.K¨uhnel,M.Baumgartner,B.Sostawa,R.Z¨olch,T.Stauner.One evaluation of modelbased testingand its automation[].ProcICSE‘.2005
-
2S.R.Dalal,,A.Jain,N.Karunanithi,J.M.Leaton,C.M.Lott,G.C.Patton,B.M.Horowitz.Model-based testing in practice[].Proc ICSE‘.1999
-
3A.Pretschner,J.Philipps.Methodological Issues in Model-Based Test-ing[]..2005
-
4A.van Lamsweerde.Formal specification:a roadmap[].Proc ICSE‘.2000
-
5W.Prenninger,A.Pretschner.Abstractions for Model-Based Testing[].ENTCS.2005
同被引文献4
-
1马琳,罗铁坚,宋进亮,叶世伟.Web系统性能测试及优化[J].计算机工程,2005,31(12):229-231. 被引量：16
-
2陈绍英,刘建华,金成姬.LoadRunner性能测试实战[M].北京:电子工业出版社,2007.
-
3王明哲,张永洪.基于STERM-BROCOT树的数据库服务器安全冗余配置模型[J].邢台职业技术学院学报,2009,26(1):70-71. 被引量：3
-
4颜炯,王戟,陈火旺.基于模型的软件测试综述[J].计算机科学,2004,31(2):184-187. 被引量：74
-
1李海斌.基于模型的软件测试技术探析[J].信息与电脑（理论版）,2015(6):21-22 26.
-
2颜炯,王戟,陈火旺.基于模型的软件测试综述[J].计算机科学,2004,31(2):184-187. 被引量：74
-
3刘秀青,赵成刚.基于模型的软件测试[J].计算机光盘软件与应用,2015,18(1):75-76.
-
4奚水清,胡飞.基于模型的嵌入式软件测试[J].微处理机,2009,30(1):103-106. 被引量：2
-
5杨朝红,宫云战,肖庆,毕学军.基于模型的软件测试[J].北京化工大学学报（自然科学版）,2007,34(A01):85-88. 被引量：10
-
6吴艳,张惠.基于模型的软件测试方法研究[J].计算机系统应用,2008,17(8):87-89. 被引量：3
-
7朱玉业.农业专家系统软件的测试方法研究[J].安徽农业科学,2007,35(12):3746-3747.
-
8郑薇玮.基于模型的软件测试新工具——UPPAAL TRON[J].福建广播电视大学学报,2010(6):91-93.
-
9崔霞,高建华.循环嵌套结构的测试场景反蚁群自动生成方法[J].小型微型计算机系统,2012,33(8):1752-1755.
-
10周飞,杨根兴,蔡立志.基于UML的测试用例生成方法研究[J].计算机应用与软件,2009,26(2):107-110. 被引量：11
