您的位置： 专家智库 > >

国家自然科学基金(61170044)

作品数：1 被引量：0H指数：0
相关作者：曾红卫高洪皓缪淮扣更多>>
相关机构：上海大学上海市计算机软件评测重点实验室更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇导航
  • 1篇导航模型
  • 1篇反例
  • 1篇WEB
  • 1篇WEB应用

机构

  • 1篇上海大学
  • 1篇上海市计算机...

作者

  • 1篇缪淮扣
  • 1篇高洪皓
  • 1篇曾红卫

传媒

  • 1篇计算机学报

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于CEGAR的Web应用验证
2014年
Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展开的过程中,根据检验性质采用增量式状态抽象方法构造Web应用导航抽象模型,通过确认抽象反例来识别伪反例,借助等价类精化方法消除抽象模型上的伪反例.这一方法可有效地缓解Web应用验证过程中出现的状态爆炸问题.
高洪皓缪淮扣曾红卫
关键词：WEB应用导航模型
全选 清除 导出
共1页<1>
聚类工具0