基于场景的形式化测试模型生成方法.pdfVIP

第 17卷 第5期 上海戈 报 (自然科学版) Vo1．17No．5 2011年 1O月 JOURNALOFSHANGHAIUNIVERSITY(NATURALSCIENCE Oct．2011 doi：l0．3969／j．issn．1007-2861．2011．05．004 基于场景的形式化测试模型生成方法 黄 龙 ， 缪淮扣 ， 王 皙 ， 郭 亮 (1上海大学 计算机工程与科学学院，上海 200072；2．上海市软件评测重点实验室，上海201Il2) 摘要：在复杂的web应用软件中，如何有效地实现自动化测试是当前软件测试研究中的热点与难点．使用统一建模 语言(unifiedmodelinglanguage，UML)状态图对web应用软件的行为建模 ，利用已有的方法将 已建好的模型形式化 成有限状态机 (finitestatemachine，FSM)；然后使用 UML顺序图表示场景，通过使用场景规约系统行为，最终得到约 简后的形式化测试模型用以实现 自动测试． 关键词：Web应用；自动化测试 ；状态图；有限状态机；顺序图；场景；形式化测试模型 中图分类号：TP311 文献标志码：A 文章编号：1007-2861(2011)05-O595-05 FormalTestingModelGenerationBasedonScenario HUANGLong ， MIAOHuai—kou ， WANG Xi ， GUO Liang，。 (1．SchoolofComputerEngineeringandScience，ShanghaiUniversity，Shanghai200072，China； 2．ShanghaiLeadingComputerSoftwareTestingLaboratory，Shan曲ai201112，China) Abstract：Thispaperconsiderstheproblem oftestautomationforWebapplicationsoftware，whichisa challengeinthesoft~aretestdomain．ThebehaviorofWebapplicationismodeledwithaunifiedmodeling language(UML)statediagramandformalizedbyfinitestatemachine(FSM)usingtheavailablemethod． Th escenarioisthenrepresentedbyaUMLsequencediagram．Byusingthescenariotoreducethemodel， theformaltestingmodelisgeneratedfortestautomation． Keywords：Webapplication；testautomation；statediagram；finitestatemachine(FSM)；sequence diagram ；scenario；formaltestingmodel 测试是提高软件可靠性的重要方法，而基于模 有限状态机 (finitestatemachine，FSM)是一个 型的测试是一种高效的测试方法．统一建模语言 重要的建模工具，可为软件设计人员提供一种便利 (unifiedmodelinglanguage，UML)以其操作简单、易 的对软件功能建模 的方法．FsM具有成熟的理论基 懂和易用的特点，在Web应用开发的建模中得到了 础，它利用形式语言和 自动机理论来设计和分析模 广泛的应用．虽然现在有很多从 UML模型直接生成 型．目前，已有一些使用 FSM建模 Web应用 的研 的测试用例的方法，但 由于其半形式化的特点，使得