| 基于场景的形式化测试模型生成方法 |
| |
| 引用本文： | 黄龙,缪淮扣,王皙,郭亮.基于场景的形式化测试模型生成方法[J].上海大学学报(自然科学版),2011,17(5):595-599. |
| |
| 作者姓名： | 黄龙 缪淮扣 王皙 郭亮 |
| |
| 作者单位： | 1.上海大学 计算机工程与科学学院,上海 200072； 2.上海市软件评测重点实验室，上海 201112 |
| |
| 基金项目： | 国家自然科学基金资助项目(60673115,60970007); 国家高技术研究发展计划(863计划)资助项目(2007AA01Z144); 国家重大基础研究发展计划(973计划)资助项目(2007CB310800); 上海市自然科学基金资助项目(09ZR1412100); 上海市教委重点学科建设资助项目(J50103) |
| |
| 摘 要： | 在复杂的Web应用软件中，如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模，利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM)；然后使用UML顺序图表示场景，通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.
|
| 关 键 词： | Web应用 场景 顺序图 形式化测试模型 有限状态机 状态图 自动化测试 |
| 收稿时间： | 2010-01-08 |
Formal Testing Model Generation Based on Scenario |
| |
| HUANG Long,MIAO Huai-kou,WANG Xi,GUO Liang.Formal Testing Model Generation Based on Scenario[J].Journal of Shanghai University(Natural Science),2011,17(5):595-599. |
| |
| Authors: | HUANG Long MIAO Huai-kou WANG Xi GUO Liang |
| |
| Institution: | 1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China; 2. Shanghai Leading Computer Software Testing Laboratory, Shanghai 201112, China |
| |
| Abstract: | 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. |
| |
| Keywords: | Web application test automation state diagram finite state machine(FSM) sequence diagram scenario formal testing model |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《上海大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《上海大学学报(自然科学版)》下载免费的PDF全文 |
