基于模型的Web应用测试.pdf

第34卷第6期计算机学报Vol.34No.62011年6月CHINESEJOURNALOFCOMPUTERSJune2011基于模型的Web应用测试缪淮扣陈圣波曾红卫(上海大学计算机工程与科学学院上海200072)(上海市计算机软件评测重点实验室上海201112)摘要提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、迁移覆盖、迁移对覆盖等传统的覆盖准则外,还改进/提出了优化状态迁移覆盖、完整消息传递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则.该文以兴宁水库移民信息管理系统为例演示了该系统.关键词Web应用;模型转换;测试用例生成;测试执行中图法分类号TP311DOI号:10.3724/SP.J.1016.2011.01012ModelBasedTestingforWebApplicationsMIAOHuaiKouCHENShengBoZENGHongWei(SchoolofComputerEngineeringandScience,ShanghaiUniversity,Shanghai200072)(ShanghaiKeyLaboratoryofComputerSoftwareEvaluatingandTesting,Shanghai201112)AbstractInthispaper,atestingapproachtomodelbasedtestingforWebapplicationsisproposedwhichinvolvesinWebapplicationmodeling,testgeneration,testexecutionandvisualizationforWebmodelsandtestsequences.TheauthorsdesignandimplementamodelbasedtestingsystemforWebapplicationswhiletheFSMisregardedasaformaltestingmodelofWebapplicationsundertest.AndthissystemintegratesModelTransformer,TestPurposesAnalyzer,TestSequencesGenerator,VisualizationtoolsforFSMandtestsequences,TestExecutionEngine,etc.Furthermore,thesystemnotonlysupportsthetraditionaltestcoveragecriteriasuchasStateCoverage,TransitionCoverage,TransitionPairCoverage,butalsothecriteriaproposedandimprovedincludingOptimizedStateandTransitionCoverage,CompleteMessagePassCoverage,CompleteFunctionInteractionCoverageandFunctionLoopInteractionCoverage.Finally,theauthorsdemonstratethesystemtakingtheXingningReservoirResettlementMISasourWebapplicationundertest.KeywordsWebapplications;modeltransformation;testcasesgeneration;testexecution收稿日期:20101030;最终修改稿收到日期:20110521.本课题得到国家自然科学基金(60970007,61073050)、国家八六三高技术研究发展计划项目基金(2007AA01Z144)、国家九七三重点基础研究发展规划项目基金(2007CB310800)、上海市自然科学基金(09ZR1412100)、上海市科学技术委员会基金(10510704900)及上海市重点学科建设项目基金(J50103)资助.缪淮扣,男,1953年生,教授,博士生导师,中国计算机学会高级会员,主要研究领域为软件工程、软件形式化方法.Email:[e-mail].陈圣波,男,1975年生,博士,主要