郭亮

作品数：3被引量：9H指数：2
导出分析报告
供职机构：上海大学更多>>
发文主题：状态图有限状态机FSM模型UML模型WEB应用更多>>
发文领域：自动化与计算机技术政治法律历史地理更多>>
发文期刊：《国际汉学》《上海大学学报（自然科学版）》《计算机科学》更多>>
所获基金：上海市教育委员会重点学科基金国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
耶稣会士地图中的晚明社会与风俗被引量：1
《国际汉学》2019年第2期67-77,204,共12页郭亮 
国家社科基金项目“晚明以来的海图与疆域策略考述”(项目号:15BZS105)的阶段性成果
晚明时期,欧洲耶稣会传教士在中国创造了制图的经典案例,而在欧洲出版的中国地图也在图示中增加了前所未有的内容,尤其是欧洲人眼中的明朝社会文化、风俗场景、人物形象以及地理风景,它们与地图集的文本描述、观察和描绘方式之间建立起...
关键词：卫匡国 《中国新地图集》 地图 制图学 晚明图像 风俗场景 
基于场景的形式化测试模型生成方法被引量：3
《上海大学学报（自然科学版）》2011年第5期595-599,共5页黄龙 缪淮扣 王皙 郭亮 
国家自然科学基金资助项目(60673115;60970007);国家高技术研究发展计划(863计划)资助项目(2007AA01Z144);国家重大基础研究发展计划(973计划)资助项目(2007CB310800);上海市自然科学基金资助项目(09ZR1412100);上海市教委重点学科建设资助项目(J50103)
在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言(unified modeling language,UML)状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state m...
关键词：WEB应用 自动化测试 状态图 有限状态机 顺序图 场景 形式化测试模型 
UML模型到FSM模型的转换被引量：5
《计算机科学》2009年第7期113-116,149,共5页郭亮 缪淮扣 王皙 陈圣波 
国家自然科学基金项目(60673115);国家863计划项目(2007AA01Z144);国家973项目(2007CB310800);上海市教委科研项目(07ZZ06);上海市重点学科建设项目(J50103)资助
通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来...
关键词：状态图 模型转换规则 有限状态机 UML 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部