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

黄龙1,2,缪淮扣1,2,王皙1,2,郭亮1,2

doi:10.3969/j.issn.1007-2861.2011.05.004

上海大学学报(自然科学版) >

2011 , Vol. 17 >Issue 5: 595 - 599

DOI: https://doi.org/10.3969/j.issn.1007-2861.2011.05.004

计算机工程与科学

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

展开

1.上海大学计算机工程与科学学院,上海 200072； 2.上海市软件评测重点实验室，上海 201112

收稿日期: 2010-01-08

网络出版日期: 2011-10-26

基金资助

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

收起

Formal Testing Model Generation Based on Scenario

Expand

1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China; 2. Shanghai Leading Computer Software Testing Laboratory, Shanghai 201112, China

Received date: 2010-01-08

Online published: 2011-10-26

Fold

摘要

在复杂的Web应用软件中，如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模，利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM)；然后使用UML顺序图表示场景，通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.

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

本文引用格式

黄龙1,2,缪淮扣1,2,王皙1,2,郭亮1,2 . 基于场景的形式化测试模型生成方法[J]. 上海大学学报(自然科学版), 2011 , 17(5) : 595 -599 . DOI: 10.3969/j.issn.1007-2861.2011.05.004

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.

Key words： finite state machine (FSM); formal testing model; scenario; sequence diagram; state diagram; test automation; Web application

Options

文章导航

模态框（Modal）标题

摘要

本文引用格式

Abstract