基于CEGAR的Web应用验证

发布时间：2017-08-20 17:34

  本文关键词：基于CEGAR的Web应用验证

  更多相关文章： Web应用 导航模型 抽象精化 模型检验 伪反例

【摘要】：Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展开的过程中,根据检验性质采用增量式状态抽象方法构造Web应用导航抽象模型,通过确认抽象反例来识别伪反例,借助等价类精化方法消除抽象模型上的伪反例.这一方法可有效地缓解Web应用验证过程中出现的状态爆炸问题.
【作者单位】： 上海大学计算机工程与科学学院;上海大学计算中心;上海市计算机软件评测重点实验室;
【关键词】： Web应用 导航模型 抽象精化 模型检验 伪反例
【基金】：国家自然科学基金(61170044,61073050,61262010)资助~~
【分类号】：TP393.09
【正文快照】： 男,1985年生,博士,讲师,中国计算机学会(CCF)会员,研究方向为模型检验、Web应用、服务计算.E-mail:gaohonghao@shu.edu.cn.1引言互联网的快速发展使得通过Web求解问题和开展业务逐渐成为电子商务的主流趋势.越来越多的企业、单位、甚至个人都纷纷开始部署Web应用程序和云计算

【参考文献】

中国期刊全文数据库 前4条

1 赵会群;孙晶;魏莹;王文文;郭峰;;基于模型的网构软件可达性检测方法研究[J];计算机学报;2011年06期

2 文艳军;王戟;齐治昌;;并发反应式系统的组合模型检验与组合精化检验[J];软件学报;2007年06期

3 曾红卫;缪淮扣;;构件组合的抽象精化验证[J];软件学报;2008年05期

4 何炎祥;吴伟;陈勇;徐超;;基于SMT求解器的路径敏感程序验证[J];软件学报;2012年10期

【共引文献】

中国期刊全文数据库 前10条

1 李秀娟;;构件技术在ERP系统中的应用[J];电子科技;2011年10期

2 张广泉;戎玫;朱雪阳;何亚丽;石慧娟;;基于XYZ/ADL的Web服务组合描述与验证[J];电子学报;2011年S1期

3 屈婉霞;庞征斌;郭阳;李暾;杨晓东;;参数化系统二维抽象框架[J];国防科技大学学报;2010年01期

4 秦浩;张学宏;;导引头控制软件的一种测试设计方法[J];航空计算技术;2008年04期

5 林苗;戎玫;张广泉;;基于构件的嵌入式实时软件组合时间分析研究[J];计算机工程与应用;2009年11期

6 张驰;;基于角色划分的构件组合兼容性检查[J];计算机工程与应用;2010年05期

7 庞征斌;屈婉霞;郭阳;杨晓东;;参数化系统二维抽象的理论基础[J];计算机科学;2011年04期

8 王昌达;华明辉;周从华;宋香梅;鞠时光;;基于抽象和搜索空间划分的安全性判定方法[J];计算机科学;2011年10期

9 陈国彬;任强;张广泉;;一种基于抽象与精化技术的Web服务组合验证方法[J];计算机工程与科学;2011年09期

10 丁佐华;江明月;刘静;;基于常微分方程的死锁检测实验分析[J];计算机学报;2009年09期

中国博士学位论文全文数据库 前6条

1 刘铭;列车通信网络系统形式化建模与验证方法研究[D];哈尔滨工程大学;2011年

2 曾红卫;Web应用的验证与测试方法研究[D];上海大学;2008年

3 伍建q;网构软件系统构建的形式化分析研究[D];上海交通大学;2009年

4 金洋;基于传递系统模型的在轨卫星故障诊断方法研究[D];哈尔滨工业大学;2013年

5 刘智;二进制代码级的漏洞攻击检测研究[D];电子科技大学;2013年

6 骆超;混沌和异步布尔网络中若干问题的研究[D];大连理工大学;2013年

中国硕士学位论文全文数据库 前9条

1 马伟民;基于组件技术的人机界面（HMI）研究[D];杭州电子科技大学;2009年

2 陈卓;面向软件复用的组件形式化开发[D];河南科技大学;2010年

3 任强;基于谓词抽象与精化技术的Web服务验证研究[D];苏州大学;2011年

4 林苗;基于UML和时间ER网的嵌入式实时软件建模与分析[D];重庆师范大学;2008年

5 李伟;基于π演算的软件体系结构求精研究[D];湖南工业大学;2008年

6 陈道喜;基于Promela的组合抽象Spin模型检测及应用[D];苏州大学;2009年

7 何亚丽;基于XYZ/ADL的Web服务组合验证研究[D];苏州大学;2010年

8 张纪昌;基于场景的构件组合方式的研究[D];浙江师范大学;2010年

9 王杰;USB3.0设备控制器IP核控制端点的RTL功能验证[D];合肥工业大学;2013年

【二级参考文献】

中国期刊全文数据库 前8条

1 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期

2 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期

3 赵会群,王国仁,高远;软件体系结构抽象模型[J];计算机学报;2002年07期

4 胡军;于笑丰;张岩;王林章;李宣东;郑国梁;;基于场景规约的构件式系统设计分析与验证[J];计算机学报;2006年04期

5 赵会群;孙晶;;面向服务的可信软件体系结构代数模型[J];计算机学报;2010年05期

6 文艳军;王戟;齐治昌;;并发反应式系统的组合模型检验与组合精化检验[J];软件学报;2007年06期

7 周立;陈湘萍;黄罡;孙艳春;梅宏;;支持协商的网构软件体系结构行为建模与验证[J];软件学报;2008年05期

8 刘克;单志广;王戟;何积丰;张兆田;秦玉文;;“可信软件基础研究”重大研究计划综述[J];中国科学基金;2008年03期

【相似文献】

中国期刊全文数据库 前10条

1 李决龙;李亮;邢建春;杨启亮;;基于交际接口的Web应用模型检验[J];计算机应用研究;2011年01期

2 杨卫东,施伯乐;基于状态图的Web导航模型及其特性分析[J];计算机研究与发展;2002年08期

3 胡立立;缪淮扣;陈圣波;梅佳;高洪皓;;威胁驱动的Web应用On-The-Fly导航模型验证方法[J];应用科学学报;2011年01期

4 鹿旭东;万建成;;Web应用开发方法研究[J];计算机工程与应用;2006年13期

5 简岩,秦进;一种新型高效的基于WEB应用的校园网结构模型[J];贵州师范大学学报(自然科学版);2001年03期

6 马琳,罗铁坚,宋进亮,叶世伟;Web性能测试与预测[J];中国科学院研究生院学报;2005年04期

7 唐海涛;王树义;孙效里;;一种有效的Web负载均衡器的设计与实现[J];计算机工程;2006年20期

8 陈富节;陈彪;邢诒俊;陈亚楠;廖廷悟;;浅析利用Front Controller模式构建基于MVC模式的Web应用[J];科技信息;2009年21期

9 金尊和 ,谢东;Domino与Web应用 第一讲 认识Domino[J];中国计算机用户;1997年18期

10 黄学武;J2EE Web应用性能调优[J];计算机时代;2004年09期

中国重要会议论文全文数据库 前10条

1 施霖;刘喻民;;层次化Web应用模型[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

2 王辰龙;卢雷;;基于扩展导航结构的Web应用测试[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

3 师惠忠;陈波;;Web安全评估工具应用分析[A];全国计算机安全学术交流会论文集（第二十四卷）[C];2009年

4 卢雷;万建成;鹿旭东;郭小涛;李学庆;;基于界面组成结构的Web界面模型[A];第一届建立和谐人机环境联合学术会议（HHME2005）论文集[C];2005年

5 李永坚;;主动窗体(ActiveForm)技术在Intranet中的应用[A];广西电机工程学会第七届青年学术交流会论文集[C];2002年

6 李茂鑫;;小型Web应用系统架构分析与性能优化[A];2008年计算机应用技术交流会论文集[C];2008年

7 李骥;;烟草行业WEB应用的威胁及防护[A];河南省烟草学会2008年学术交流获奖论文集（上）[C];2008年

8 唐承华;韦皓元;;Web应用平台安全防护技术研究与应急预案[A];广西计算机学会2009年年会论文集[C];2009年

9 尹党辉;安丰亮;董超;;谈Web应用的安全性测试技术[A];第十六届全国青年通信学术会议论文集（上）[C];2011年

10 胡诗樵;赵文涛;赵志峰;;基于Web的可视化系统的设计与实现[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年

中国重要报纸全文数据库 前10条

1 陈翔;FineGround优化Web应用[N];中国计算机报;2004年

2 合 力;捍卫Web应用[N];网络世界;2004年

3 山枫;保护Web应用安全[N];中国计算机报;2003年

4 王洛东编译;XFire：揪出Web应用中的捣蛋鬼[N];计算机世界;2004年

5 沈建苗编译;富客户端丰富Web应用[N];计算机世界;2005年

6 清华大学计算机系 丁峰 徐 鹏 蔡月茹;基于Java的Web应用概览[N];计算机世界;2004年

7 边 一;保护数据的Web应用防火墙[N];网络世界;2002年

8 郑志勇;配置Web应用环境[N];中国计算机报;2001年

9 朱新亚;Web安全评估渐热[N];中国计算机报;2005年

10 沈文;防火墙不再“包治百病”[N];中国计算机报;2004年

中国博士学位论文全文数据库 前7条

1 王晓锋;Web应用入侵异常检测新技术研究[D];华中科技大学;2007年

2 宋波;Web应用交互的建模和测试用例生成[D];上海大学;2010年

3 李双庆;Web服务器集群技术研究[D];重庆大学;2003年

4 凌海峰;基于ACO的Web使用挖掘方法研究[D];合肥工业大学;2009年

5 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年

6 杨勇;SOA等级化服务替换理论与机制[D];复旦大学;2011年

7 范国闯;Web应用服务器关键技术研究[D];中国科学院研究生院（软件研究所）;2004年

中国硕士学位论文全文数据库 前10条

1 赵会朋;.NET平台下Web系统构架研究及在煤炭行业的应用[D];西安建筑科技大学;2004年

2 朱春江;基于J2EE的Web应用研究[D];河海大学;2004年

3 范润;CORBA的Web应用及与EJB的集成研究[D];南京理工大学;2004年

4 卫索琪;基于MVC模式的一种Web应用框架[D];北京工业大学;2003年

5 武刚;以XML为核心的WEB统一数据的初步研究[D];西南石油学院;2002年

6 吴少华;Web应用的细粒度访问控制技术研究[D];四川大学;2003年

7 李玉强;基于COM技术与JNI技术的通用数据交换技术的研究[D];武汉理工大学;2005年

8 周中雨;WEB应用监测系统的研究与实现[D];清华大学;2004年

9 符宁;Web应用程序开发技术及工具的研究[D];西北工业大学;2005年

10 张芳;面向电子商务的Web应用元模型的研究与实现[D];国防科学技术大学;2004年

，

本文编号：707974