国家高技术研究发展计划(2007AA01Z141)
- 作品数：10 被引量：41H指数：4
- 相关作者：李必信张鹏程孙小兵陶传奇周颖更多>>
- 相关机构：东南大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种面向服务组合的回归测试技术被引量：2
- 2009年
- 服务组合是面向服务计算的关键技术,回归测试是服务组合演化与维护的重要组成部分.本文提出一种面向服务组合的回归测试方法,从服务消费者的角度,针对服务组合流程和绑定的变更,通过构造富含信息的扩展控制流图,对BPEL进行控制流分析,识别受影响的测试路径,选择和生成测试用例.实例分析表明,该方法可以对BPEL的各种控制结构加以分析,产生必需的测试用例.BPEL的获取与分析是切实可行的,具备良好的工具实现基础.
- 王迪蔡菊李必信
- 关键词：测试用例BPEL
- 基于QoS的语义Web服务选择框架被引量：2
- 2009年
- 服务质量(QoS)成为动态选择满足用户需求的Web服务的关键因素。然而目前Web服务的QoS信息描述缺乏语义性,且Web服务的选择还不能做到完全自动化。文章提出一种Web服务的QoS本体结构,并在此QoS本体和原有的语义Web服务的基础上提出基于QoS的语义Web服务选择框架(QSF4SWS)。研究表明,该框架不仅增强了Web服务QoS描述的语义性,而且还能够实现Web服务的动态发现与自动选择。
- 王伟锋刘亚军
- 关键词：语义WEB服务QOS本体
- 基于扩展的层次有色petri网的组合服务测试用例生成被引量：4
- 2008年
- 为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义-使用路径覆盖标准.
- 蔡菊王迪李必信
- 关键词：有色PETRI网数据流
- 面向用户的Web服务可靠性计算模型被引量：4
- 2008年
- 基于SOA,从用户的角度分析并计算Web服务及其应用的可靠性.首先采用一种扩展的UDDI模型收集可靠性相关数据,计算基本服务的可靠性、转移失效率和转移概率.然后基于BPEL文档构造组合服务的结构图,定义其结构属性,将转移失效率作为基本服务可靠性的加权系数,给出各种结构的组合服务的可靠性计算公式.最后在此基础上设计可靠性预测的递归算法用于计算Web应用的可靠性.实验结果表明:基于结构图的方法具有简便性和易处理性.
- 苏志勇周颖李必信
- 关键词：面向用户可靠性
- 基于切片度量的重构对象识别被引量：3
- 2010年
- 为了提高识别重构对象的效率和正确性,提出一种自动化识别重构对象的技术.首先,在程序切片的基础上,构造一种度量函数来量化元素间的依赖程度.然后,利用度量结果识别出在原程序的位置和从属关系不合理的元素,从而自动识别出程序中的"坏味道".与以往的手动识别相比,该方法可以自动地分析源代码,指出程序中不合理的地方,从而提高重构识别的效率,并建议使用相应的重构手段对"坏味道"实施更改,使代码更加合理、易于维护.最后,利用3个重构实例显示该方法能够识别出一些重构对象,从而验证了该方法的可行性.
- 张重峰李必信孙小兵陶传奇
- 关键词：程序切片距离函数
- 属性序列图:形式语法和语义被引量：6
- 2008年
- 在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于Bchi自动机的形式语义,并进行了实例研究,讨论了其应用前景.
- 张鹏程周宇李必信徐宝文
- 关键词：时态逻辑自动机
- 基于触摸屏驱动的Linux内核输入子系统研究被引量：3
- 2009年
- Linux是目前最为优秀的开源系统软件之一,其完全开放的特性和优良的性能表现使其在程序开发领域广受欢迎,而其不断完善的功能和极好的适应性更使其成为嵌入式领域的首选。根据应用的需要Linux推出了内核输入子系统的开发平台,极大地方便了嵌入式领域的驱动开发。触摸屏是较常使用的外部输入设备之一,尤其是在嵌入式领域里得到了广泛的应用。文中分析了在Linux 2.6内核输入子系统下触摸屏驱动程序设计,并对比传统的驱动设计方法;得出了基于Linux输入子系统的驱动程序设计优点。
- 华明徐造林
- 关键词：LINUX嵌入式触摸屏驱动程序
- 基于体系结构的Web服务可靠性建模
- 针对基于SOA的Web服务应用系统建立可靠性模型。首先分析了Web系统的运行过程,并提出服务依赖图的概念。基于WS-BPEL构造Web系统及其服务依赖图。Web服务分为3种类型的基本服务和5种体系结构风格的组合服务,分别...
- 苏志勇李必信
- 关键词：WEB服务可靠性WS-BPEL
- 文献传递
- 一种基于层次切片的软件错误定位方法被引量：7
- 2010年
- 提出了一种基于层次切片模型适合面向对象语言的错误定位方法.首先分别在包层、类层、方法层删去通过测试的包、类和方法,缩小软件错误存在的范围;其次,在语句层将删减后的程序按抽象语法树划分成若干模块,统计模块内变量使用的数目;通过动态分析,选取一组测试用例计算其执行历史;根据模块内使用变量数目的规模,采用逐步求精算法,计算产生错误测试用例的程序执行历史与静态分析过程中所产生模块的交集及交集的后向切片,直至实现错误定位.实验数据表明:该方法能够查出前期定位程序中绝大部分错误的位置,尤其适用在方法调用比较少的程序中.在方法调用比较频繁的程序中,由于在调用语句处迭代调用逐步求精算法,效率会降低.
- 许高阳李必信孙小兵陶传奇
- 关键词：抽象语法树
- 软件体系结构测试技术的现状与思考被引量：4
- 2008年
- 软件体系结构经过10年的研究和发展取得了一系列可喜的成就.目前,一些有代表性的软件测试策略被研究人员提议用于软件体系结构的测试.但是,传统的软件测试技术和方法不能直接用来解决软件体系结构的测试问题,需要改进传统的软件测试技术和方法,或者开发新的软件体系结构测试技术和方法,使之能够更好地解决软件体系结构测试中存在的问题.本文概述了软件体系结构测试策略的研究现状,剖析了影响软件软件体系结构测试的因素,并讨论了软件体系结构分析与测试的未来研究主题.
- 巩绪芳周颖李必信
- 关键词：软件体系结构
