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

Formal Testing Model Generation Based on Scenario

作　　者：黄龙[1,2] 缪淮扣[1,2] 王皙[1,2] 郭亮[1,2] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072 [2]上海市软件评测重点实验室,上海201112

出　　处：《上海大学学报（自然科学版）》2011年第5期595-599,共5页Journal of Shanghai University:Natural Science Edition

基　　金：国家自然科学基金资助项目(60673115;60970007);国家高技术研究发展计划(863计划)资助项目(2007AA01Z144);国家重大基础研究发展计划(973计划)资助项目(2007CB310800);上海市自然科学基金资助项目(09ZR1412100);上海市教委重点学科建设资助项目(J50103)

摘　　要：在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言(unified modeling language,UML)状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.This paper considers the problem of test automation for Web application software,which is a challenge in the software test domain.The behavior of Web application is modeled with a unified modeling language（UML） state diagram and formalized by finite state machine（FSM） using the available method.The scenario is then represented by a UML sequence diagram.By using the scenario to reduce the model,the formal testing model is generated for test automation.

关 键 词：WEB应用 自动化测试 状态图 有限状态机 顺序图 场景 形式化测试模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]