梁智远
- 作品数：3 被引量：2H指数：1
- 供职机构：西南大学计算机与信息科学学院更多>>
- 发文基金：重庆市自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于UMMs的Web软件统计测试方法研究被引量：2
- 2009年
- 随着网络使用的普及以及信息技术的不断进步,如何保证Web软件的可靠性显得越来越重要。统计测试和可靠性分析能有效地确保Web软件的质量。利用从Web日志中提取的访问信息和错误信息,提出一种基于统一的马尔可夫模型(UMMs)的Web软件统计测试方法,该方法将访问信息用于构建UMMs,相关的错误信息用于评价Web软件的可靠性和Web统计测试的有效性。最后将该方法用于分析某Web软件,以实验证明该方法的可行性和有效性。
- 黄娟张为群闻晓梁智远
- 关键词：WEB软件统计测试可靠性分析
- WS-CDL的形式化模型和执行过程研究
- 2009年
- WS-CDL以全局的视角描述了基于交互的各个服务之间的组合方式,定义了公共和互补的可观察行为,以及具有一致见解的顺序规则。但是WS-CDL没有形式化的模型,也没有定义执行过程。提出了一种为WS-CDL建立全局模型的方法,定义了语法和语义,然后将全局模型映射到局部模型,并且定义了全局执行过程,最后讨论了一致性问题。
- 梁智远张为群黄娟
- 关键词：WEB服务组合一致性
- 一种基于带条件的轨迹的WS-CDL形式化模型研究
- 随着因特网的不断发展，Web服务已成为了人们日益关注的焦点。然而，功能单一的Web服务已经不能胜任企业的应用。Web服务组合研究如何将众多相关的Web服务有机集成，形成功能强大的企业级服务，以完成商业目标。
目...
- 梁智远
- 关键词：WEB服务组合WS-CDL语法规则语义规则程序代码
- 文献传递
