基于接口自动机的Web应用验证

• 作者: 曾红卫 谭亮
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Web应用 接口自动机 模型检验 Spin
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 研发、设计、测试
• 页码范围: 70-73
• 页数: 4页
• 分类号: TP311
• 字数: 4427字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.03.020

摘要

Web应用的快速发展及其一些异于传统程序的特点使Web应用的验证面临了新的挑战.使用接口自动机对Web应用的构件和构件组合进行行为建模,设计了接口自动机到模型检验器Spin程序的转换算法,然后利用Spin检验Web应用的性质.通过一个简单的网上银行示例说明了整个验证过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾红卫	上海大学计算机工程与科学学院	31	341	11.0	17.0
2	谭亮	上海大学计算机工程与科学学院	2	7	1.0	2.0