江苏省高校自然科学研究项目(11KJD520010)
- 作品数：3 被引量：14H指数：1
- 相关作者：李雯睿张鹏程杨种学王志坚更多>>
- 相关机构：南京晓庄学院河海大学武汉大学更多>>
- 发文基金：江苏省高校自然科学研究项目中国博士后科学基金江苏省博士后科研资助计划项目更多>>
- 相关领域：文化科学自动化与计算机技术更多>>
- 基于uMSD的Web服务组合验证方法研究被引量：1
- 2011年
- 手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法。如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题。鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义。以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了uMSD的可行性。实验分析表明,该验证方法能够有效地检测组合服务中的逻辑错误。
- 王志坚李雯睿杨种学张鹏程
- 关键词：WEB服务组合
- 基于主动学习策略的软件测试教学方法初探被引量：13
- 2012年
- 软件测试课程作为软件工程专业高年级必修课,传统的教学方法已不能有效地展开教学。文章提出基于主动学习策略的软件测试教学方法,将主动学习策略应用到软件测试课程中,说明实施主动学习策略对教师和学生的要求,并介绍一些有效的主动学习活动。调研结果表明采用主动学习策略比传统教学方法有效,学生能够较好地掌握软件测试技能。
- 李雯睿张鹏程杨种学
- 关键词：软件测试课程主动学习策略
- 基于混合云的虚拟学习环境初探
- 2013年
- 为了更好地支持教师教学和学生学习,教育机构需要不断优化IT基础设施、资源和业务流程。一种新兴的计算范式"云计算(cloud computing)"是最佳的解决方案,它通过提供基础设施、平台和教育服务,改变IT资源的利用和消费模式,将对教育领域产生巨大影响。文章构建一种基于混合云的虚拟学习环境,探讨实现该学习环境面临的挑战,从而提高应用程序及服务的可扩展性和可靠性,削减教育机构软硬件资源的开销,减少软件更新和数据中心维护的费用。
- 李雯睿张鹏程
- 关键词：云计算混合云虚拟学习环境
