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

doi:10.3969/j.issn.1007-2861.2011.05.004

上海大学学报(自然科学版) ›› 2011, Vol. 17 ›› Issue (5): 595-599.doi: 10.3969/j.issn.1007-2861.2011.05.004

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

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

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

收稿日期:2010-01-08 出版日期:2011-10-26 发布日期:2011-10-26
通讯作者: 缪淮扣(1953～)，男，教授，博士生导师,研究方向为软件工程与形式化方法等. E-mail:hkmiao@shu.edu.cn E-mail:hkmiao@shu.edu.cn
基金资助:
国家自然科学基金资助项目（60673115，60970007）；国家高技术研究发展计划（863计划）资助项目（2007AA01Z144）；国家重大基础研究发展计划（973计划）资助项目（2007CB310800）；上海市自然科学基金资助项目（09ZR1412100）；上海市教委重点学科建设资助项目（J50103）

Formal Testing Model Generation Based on Scenario

HUANG Long1,2,MIAO Huai-kou1,2,WANG Xi1,2,GUO Liang1,2

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

Received:2010-01-08 Online:2011-10-26 Published:2011-10-26

摘要/Abstract

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

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

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

中图分类号:

TP 311

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

HUANG Long1,2,MIAO Huai-kou1,2,WANG Xi1,2,GUO Liang1,2. Formal Testing Model Generation Based on Scenario[J]. Journal of Shanghai University（Natural Science Edition）, 2011, 17(5): 595-599.

[1]	朱芸, 王永芳, 帅源. 基于IGM和深度感知的立体图像质量评价[J]. 上海大学学报(自然科学版), 2019, 25(5): 692-700.
[2]	黄东晋, 李贺娟, 段思文, 肖帆, 丁友东. 基于多自主智能体的电影混战群体仿真[J]. 上海大学学报(自然科学版), 2018, 24(4): 512-523.
[3]	晏霞敏，曾红卫，刘攀，贺斌. 一种Web应用测试生成与约简方法[J]. 上海大学学报(自然科学版), 2012, 18(2): 163-169.
[4]	韩军;邵志一;宋海华. 在低码率信道中提高视频编码质量的方法[J]. 上海大学学报(自然科学版), 2007, 13(6): 663-668 .
[5]	缪淮扣;费立志. UML状态图测试充分性准则的公理化评估[J]. 上海大学学报(自然科学版), 2007, 13(5): 489-496 .
[6]	曾红卫;缪淮扣. 一种验证Web应用设计的方法[J]. 上海大学学报(自然科学版), 2007, 13(5): 578-582 .

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

Formal Testing Model Generation Based on Scenario

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 6

编辑推荐

Metrics

本文评价