摘要
在复杂的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.
出处
《上海大学学报（自然科学版）》
CAS
CSCD
北大核心
2011年第5期595-599,共5页
Journal of Shanghai University:Natural Science Edition
基金
国家自然科学基金资助项目(60673115
60970007)
国家高技术研究发展计划(863计划)资助项目(2007AA01Z144)
国家重大基础研究发展计划(973计划)资助项目(2007CB310800)
上海市自然科学基金资助项目(09ZR1412100)
上海市教委重点学科建设资助项目(J50103)
关键词
WEB应用
自动化测试
状态图
有限状态机
顺序图
场景
形式化测试模型
Web application
test automation
state diagram
finite state machine（FSM）
sequence diagram
scenario
formal testing model
