江苏省自然科学基金(BK2007513)
- 作品数：7 被引量：48H指数：4
- 相关作者：李必信张鹏程周颖王迪蔡菊更多>>
- 相关机构：东南大学更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于体系结构的Web服务可靠性建模
- 针对基于SOA的Web服务应用系统建立可靠性模型。首先分析了Web系统的运行过程,并提出服务依赖图的概念。基于WS-BPEL构造Web系统及其服务依赖图。Web服务分为3种类型的基本服务和5种体系结构风格的组合服务,分别...
- 苏志勇李必信
- 关键词：WEB服务可靠性WS-BPEL
- 文献传递
- Web服务测试问题综述被引量：24
- 2008年
- 近来出现了一种新的支持分布式计算的范型——面向服务的体系结构(SOA)。Web服务就是这种结构的具体实现形式之一。众所周知,为了获得一个可信的、可靠的服务,对服务实施完全、充分的测试是至关重要的。所以本文对Web服务的测试方法和技术进行了调查研究。本文从SOA体系结构下Web服务的特点及其测试的新的挑战出发,讨论了Web服务测试与传统测试的不同点;接着从多个不同的角度(测试的视角和测试的策略)讨论了Web服务测试的相关问题。然后给出了一个Web服务测试过程的组织框架,还讨论了目前Web服务测试的研究现状和一些代表性的Web服务测试技术。最后总结全文并给出未来的研究方向。
- 杨利利李必信
- 关键词：WEB服务
- 属性序列图:形式语法和语义被引量：6
- 2008年
- 在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于Bchi自动机的形式语义,并进行了实例研究,讨论了其应用前景.
- 张鹏程周宇李必信徐宝文
- 关键词：时态逻辑自动机
- 一种面向服务组合的回归测试技术被引量：2
- 2009年
- 服务组合是面向服务计算的关键技术,回归测试是服务组合演化与维护的重要组成部分.本文提出一种面向服务组合的回归测试方法,从服务消费者的角度,针对服务组合流程和绑定的变更,通过构造富含信息的扩展控制流图,对BPEL进行控制流分析,识别受影响的测试路径,选择和生成测试用例.实例分析表明,该方法可以对BPEL的各种控制结构加以分析,产生必需的测试用例.BPEL的获取与分析是切实可行的,具备良好的工具实现基础.
- 王迪蔡菊李必信
- 关键词：测试用例BPEL
- 基于扩展的层次有色petri网的组合服务测试用例生成被引量：4
- 2008年
- 为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义-使用路径覆盖标准.
- 蔡菊王迪李必信
- 关键词：有色PETRI网数据流
- 面向用户的Web服务可靠性计算模型被引量：4
- 2008年
- 基于SOA,从用户的角度分析并计算Web服务及其应用的可靠性.首先采用一种扩展的UDDI模型收集可靠性相关数据,计算基本服务的可靠性、转移失效率和转移概率.然后基于BPEL文档构造组合服务的结构图,定义其结构属性,将转移失效率作为基本服务可靠性的加权系数,给出各种结构的组合服务的可靠性计算公式.最后在此基础上设计可靠性预测的递归算法用于计算Web应用的可靠性.实验结果表明:基于结构图的方法具有简便性和易处理性.
- 苏志勇周颖李必信
- 关键词：面向用户可靠性
- 一种基于监控需求的Web服务运行时监控方法被引量：6
- 2009年
- 提出了一种基于用户监控需求的Web服务运行时监控方法,给出了一个端到端的监控实施原型框架.首先采用WS-Policy对用户的多样性监控需求进行表达;然后生成AOP监控逻辑,获取服务运行时重要信息;最后使用特殊检测算法,基于MREG分析得出监控结果.研究发现:WS-Policy能较好地以统一的方式表达用户监控需求;旅行预定服务实例模拟监控实验表明,由WS-Policy导出的AOP监控逻辑能有效地实行动态服务监控,提高监控执行效率,降低对原服务系统的影响.监控方法能对灵活地实现服务的运行时监控和改善服务质量状况起到积极作用.
- 孙明杰李必信张鹏程
- 关键词：WEB服务
- 软件体系结构测试技术的现状与思考被引量：4
- 2008年
- 软件体系结构经过10年的研究和发展取得了一系列可喜的成就.目前,一些有代表性的软件测试策略被研究人员提议用于软件体系结构的测试.但是,传统的软件测试技术和方法不能直接用来解决软件体系结构的测试问题,需要改进传统的软件测试技术和方法,或者开发新的软件体系结构测试技术和方法,使之能够更好地解决软件体系结构测试中存在的问题.本文概述了软件体系结构测试策略的研究现状,剖析了影响软件软件体系结构测试的因素,并讨论了软件体系结构分析与测试的未来研究主题.
- 巩绪芳周颖李必信
- 关键词：软件体系结构
