基于模型的web应用测试

《基于模型的web应用测试》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、万方数据第34卷第6期计算机学报v01．34No．62011年6月CHINESEJOURNALOFCOMPUTERSJune2011基于模型的Web应用测试缪淮扣陈圣波(上海大学计算机工程与科学学院(上海市计算机软件评测重点实验室曾红卫上海200072)上海201112)摘要提出了基于模型的Web应用测试方法，包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术．设计并实现一个基于模型的Web应用测试系统．以FSM作为被测Web应用的形式测试模型，集成了模型转换器、测试目标分

2、析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具．除支持状态覆盖、迁移覆盖、迁移对覆盖等传统的覆盖准则外，还改进／提出了优化状态迁移覆盖、完整消息传递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则．该文以兴宁水库移民信息管理系统为例演示了该系统．关键词Web应用；模型转换；测试用例生成；测试执行中图法分类号TP311DOI号：10．3724／SP．J．1016．2011．01012Model—BasedTestingforWebApplicationsMIAOHua

3、i—KouCHENSheng—BoZENGHong-Wei(SchoolofComputerEngineeringandScience，ShanghaiUniversity，Shanghai200072)(ShanghaiKeyLaboratoryofComputerSo#wareEvaluatingandTesting，Shanghai201112)AbstractInthispaper，atestingapproachtomodel—basedtestingforWebapplications

4、ispro—posedwhichinvolvesinWebapplicationmodeling，testgeneration，testexecutionandvisualiza—tionforWebmodelsandtestsequences．Theauthorsdesignandimplementflmodel—basedtestingsystemforWebapplicationswhiletheFSMisregardedasaformaltestingmodelofWebapplica—t

5、ionsundertest．AndthissystemintegratesModelTransformer，TestPurposesAnalyzer，TestSequencesGenerator，VisualizationtoolsforFSMandtestsequences，TestExecutionEngine，etc．Furthermore，thesystemnotonlysupportsthetraditionaltestcoveragecriteriasuchasStateCoverag

6、e，TransitionPairCoverage，butalsothecriteriaproposedandim—provedincludingOptimizedStateandTransitionCoverage，CompleteMessagePassCoverage，CompleteFunctionInteractionCoverageandFunctionLoopInteractionCoverage．Finally，theauthorsdemonstratethesystemtakingt

7、heXingningReservoirResettlementMISasourWebapplicationundertest．KeywordsWebapplications；modeltransformation；testcasesgeneration；testexecution收稿日期：2010～10—30；最终修改稿收到日期：2011-05—21．本课题得到国家自然科学基金(60970007，61073050)、国家“八六三”高技术研究发展计划项目基金(2007AA012144)、国家“九七三

8、”重点基础研究发展规划项目基金(2007CB310800)、上海市自然科学基金(09zRl412100)、上海市科学技术委员会基金(10510704900)及上海市重点学科建设项目基金(J50103)资助．缪淮扣，男，1953年生，教授，博士生导师，中国计算机学会高级会员，主要研究领域为软件工程、软件形式化方法．E-mail；hkmiao@shu．edu．cn．陈圣波，男，1975年生，博士，主要研究方向为软件工程、Web应用的建模，测试和验证．蕾红卫t男，1966年生。博士，研究