黄娟
- 作品数：5 被引量：5H指数：2
- 供职机构：西南大学计算机与信息科学学院更多>>
- 发文基金：重庆市自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- WS-CDL的形式化模型和执行过程研究
- 2009年
- WS-CDL以全局的视角描述了基于交互的各个服务之间的组合方式,定义了公共和互补的可观察行为,以及具有一致见解的顺序规则。但是WS-CDL没有形式化的模型,也没有定义执行过程。提出了一种为WS-CDL建立全局模型的方法,定义了语法和语义,然后将全局模型映射到局部模型,并且定义了全局执行过程,最后讨论了一致性问题。
- 梁智远张为群黄娟
- 关键词：WEB服务组合一致性
- 基于UMMs的Web软件统计测试方法研究被引量：2
- 2009年
- 随着网络使用的普及以及信息技术的不断进步,如何保证Web软件的可靠性显得越来越重要。统计测试和可靠性分析能有效地确保Web软件的质量。利用从Web日志中提取的访问信息和错误信息,提出一种基于统一的马尔可夫模型(UMMs)的Web软件统计测试方法,该方法将访问信息用于构建UMMs,相关的错误信息用于评价Web软件的可靠性和Web统计测试的有效性。最后将该方法用于分析某Web软件,以实验证明该方法的可行性和有效性。
- 黄娟张为群闻晓梁智远
- 关键词：WEB软件统计测试可靠性分析
- 一种基于UMMs的Web软件统计测试方法研究
- 随着网络使用的普及以及信息技术的不断进步,Web软件已成为一种主流的应用模式,如何确保Web软件的可靠性显得越来越重要。Web软件的特征是:用户数量大、代码量大、页面众多且相互联结,如果基于传统的覆盖测试方法,在开发费用...
- 黄娟
- 关键词：WEB软件统计测试可靠性分析
- 文献传递
- BPEL应用程序验证模型研究被引量：2
- 2009年
- 在Web服务应用中,BPEL是一种基于流程的描述业务行为的语言。为了验证以BPEL构建的应用程序是否满足某些性质,提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证。实验结果表明,以上方法在设计阶段能有效地发现并排除错误。
- 闻晓张为群杨阳黄娟
- 关键词：WEB服务组合BPEL有限自动机形式化验证
- 一种层次化结构的Web软件统计测试模型研究被引量：1
- 2009年
- 由于Web软件比较复杂,基于马尔科夫链的使用模型只是覆盖了用户使用情况的某些方面,对于一些复杂的使用情况难以建模。利用从Web日志中提取的访问信息,提出一种层次化结构的Web软件统计测试模型(HSMs),该方法将访问信息用于构建HSMs。最后将该方法用于分析某Web软件,以实验证明该方法的可行性和有效性。
- 黄娟刘哲马晓艳
- 关键词：WEB软件统计测试层次化结构可靠性分析
