基于CEGAR的Web应用验证

高洪皓; 缪淮扣; 曾红卫

首页> 中文期刊> 《计算机学报》 >基于CEGAR的Web应用验证

基于CEGAR的Web应用验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展开的过程中,根据检验性质采用增量式状态抽象方法构造Web应用导航抽象模型,通过确认抽象反例来识别伪反例,借助等价类精化方法消除抽象模型上的伪反例.这一方法可有效地缓解Web应用验证过程中出现的状态爆炸问题.

著录项

来源
《计算机学报》 |2014年第4期|976-992|共17页
作者
高洪皓; 缪淮扣; 曾红卫;
展开▼
作者单位

上海大学计算机工程与科学学院;

上海 200444;

上海大学计算中心;

上海 200444;

上海市计算机软件评测重点实验室;

上海 201114;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
Web应用; 导航模型; 抽象精化; 模型检验; 伪反例;

相似文献

中文文献
外文文献
专利

1. 基于深度学习的验证码识别Web应用平台 [J] . 王昊 ,康晓凤 ,卢志科 . 软件工程师 . 2020,第004期
2. 基于深度学习的验证码识别Web应用平台 [J] . 王昊 ,康晓凤 ,卢志科 . 软件工程 . 2020,第004期
3. 基于权限验证图的Web应用访问控制漏洞检测 [J] . 夏志坚 ,彭国军 ,胡鸿富 . 计算机工程与应用 . 2018,第012期
4. 基于接口自动机的Web应用验证 [J] . 谭亮 ,曾红卫 . 计算机工程与应用 . 2009,第003期
5. 基于Struts的Web应用系统数据验证 [J] . 董卫鹏 ,陈建彪 . 沿海企业与科技 . 2009,第006期
6. 利用LDAP实现Web应用的身份验证 [C] . 吕建友 . 中国计算机用户协会网络分会2003年年会 . 2003
7. 基于CEGAR的LLVM IR程序验证方法与实现 [A] . 李文瑾 . 2017

基于CEGAR的Web应用验证

摘要

著录项

相似文献

相关主题

期刊订阅