您的位置： 专家智库 > >

王皙

作品数：9 被引量：15H指数：2
供职机构：上海大学更多>>
发文基金：国家自然科学基金上海市教育委员会重点学科基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 2篇科技成果
  • 1篇学位论文
  • 1篇专利

领域

  • 7篇自动化与计算...
  • 2篇文化科学

主题

  • 3篇WEB应用
  • 2篇形式化
  • 2篇有限状态机
  • 2篇状态机
  • 2篇状态图
  • 2篇可视化
  • 2篇课程
  • 2篇教学
  • 2篇WEB服务
  • 1篇形式化规格说...
  • 1篇英文
  • 1篇用户
  • 1篇用户需求
  • 1篇语言
  • 1篇在线教学
  • 1篇日常教学
  • 1篇软件测试
  • 1篇软件工程
  • 1篇软件工程课程
  • 1篇设计方法

机构

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

作者

  • 9篇王皙
  • 5篇缪淮扣
  • 3篇陈怡海
  • 3篇陈圣波
  • 2篇高洪皓
  • 2篇郭亮
  • 2篇许庆国
  • 2篇曾红卫
  • 1篇刘振宇
  • 1篇梅佳
  • 1篇刘悦
  • 1篇刘攀
  • 1篇曹旻
  • 1篇胡芸
  • 1篇刘阳
  • 1篇开金宇
  • 1篇张博锋
  • 1篇蔡立志
  • 1篇刘少英
  • 1篇黄龙

传媒

  • 2篇中国信息技术...
  • 1篇东南大学学报...
  • 1篇上海大学学报...
  • 1篇计算机科学

年份

  • 1篇2022
  • 1篇2020
  • 1篇2018
  • 1篇2017
  • 1篇2015
  • 1篇2014
  • 1篇2011
  • 2篇2009
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
Web应用模型的形式化与优化及其可视化方法研究
Web应用的出现与盛行已将软件产业悄然带入规模化、复杂化的时代，提高其检测方法的自动化程度是当务之急。因此，我们采用基于模型的测试方法，以Web应用模型作为测试用例的来源。另外，为了使该模型与用户需求保持一致，必须对其应...
王皙
关键词：模型可视化WEB服务UML技术
文献传递
UML模型到FSM模型的转换被引量：7
2009年
通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来表示、验证和测试。提出了基于状态迁移特性保持规则的UML到FSM的模型转换方法,特别针对UML状态图中的3种基本组成单元到FSM模型的转换,给出了各自的转换方法,并实现了原型工具UML2FSM。
郭亮缪淮扣王皙陈圣波
关键词：状态图有限状态机UML
可信网络软件的验证与测试
缪淮扣刘少英曾红卫陈怡海许庆国陈圣波王皙刘攀刘阳高洪皓梅佳
课题组按照课题的研究范围和研究内容进行研究，在网络软件的建模、需求建模及模型变换、Web服务的建模与集成以及验证、基于模型的Web应用建模与测试等问题的理论、方法、实现技术等方面取得了显著进展和丰硕成果，开发了相应的工具...
关键词：
关键词：软件测试
科研主导下的全英文在线教学——以“软件工程”课程为例被引量：2
2020年
本文针对全英文教学的特点,通过“软件工程”课程的教学实践,从学生英文程度、课堂反馈、学习热情、课程在线考核评价等方面阐述了全英文在线教学的难点,提出了一种以科研工作为主导的全英文在线教学方法。该方法将教师的科研工作与教学设计紧密相连,充分发挥在线教学手段多样化的优势,在激发学习兴趣的同时培养学科全局观以及解决实际问题的能力。该方法应用于“软件工程”课程中,获得了较为满意的教学效果。
王皙
关键词：在线教学
基于场景的形式化测试模型生成方法被引量：3
2011年
在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言(unified modeling language,UML)状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.
黄龙缪淮扣王皙郭亮
关键词：WEB应用自动化测试状态图有限状态机顺序图
基于特征模型和特征形式化规格说明的产品派生方法
本发明公开了一种基于特征模型和特征形式化规格说明的产品派生方法，首先根据用户需求从特征模型中选择派生特定产品的特征，确定特征融合顺序。然后融合特征形式化规格说明的声明部分，同时利用功能场景表示每个特征的行为，生成功能场景...
王维维王皙刘宏博
基于概率模型检验的Web服务系统可靠性分析被引量：1
2017年
为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,针对日志采集频率问题采用Kafka进行日志缓存,通过Storm分析日志数据并构造用于描述服务可靠性的概率迁移矩阵.采用概率标签迁移系统PLTS描述服务行为模型,采用概率计算树逻辑PCTL描述服务系统需求性质,集成概率模型检验器PRISM支持自动化定量验证和分析,从而实现基于概率模型检验的Web服务可靠性分析.最后通过案例研究和验证数据分析证明所提方法的有效性和可行性.
高洪皓高洪皓开金宇缪淮扣黄婉秋缪淮扣
关键词：WEB服务系统可靠性分析
日常教学数据分析与可视化方法——以“程序设计方法学”课程为例被引量：2
2018年
本文分析了课程建设网站采集的日常教学数据的类型和特点,并针对这些数据,采用统计分析和Echarts技术,以可视化的形式展现了师生的日常教学情况,分析了其与教学效果的关联关系,进而,提出了基于回归的学生成绩绩点预测方法,综合考虑了学生平时学习各方面的表现,利用Python实现了线性回归来预测学生的绩点。作者以"程序设计方法学"课程为例,应用该方法以发现学生平时表现与教学效果的关系,从而为课程的教学提供良好的决策支持。
刘悦蔡飞陈怡海王皙张博锋
关键词：可视化
基于模型的Web应用测试方法与工具
缪淮扣曾红卫蔡立志陈圣波王皙刘振宇曹旻胡芸陈怡海许庆国
项目隶属信息传输、计算机服务和软件业领域。背景和主要内容：Web应用是一种主要软件形式，为了适应Web应用的快速开发、部署和维护，保证Web应用的质量，实现Web应用测试的自动化。项目的总体目标是开发基于模型的Web应用...
关键词：
关键词：WEB应用测试工具
全选 清除 导出
共1页<1>
聚类工具0