国家自然科学基金(60473065)
- 作品数：7 被引量：43H指数：3
- 相关作者：李必信周宇张鹏程杨利利戴君更多>>
- 相关机构：东南大学江南大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 模型检验软件体系结构研究与进展被引量：6
- 2007年
- 软件体系结构经过10多年的发展,在体系结构的基础理论、体系结构风格、体系结构描述语言和体系结构建模等方面的研究取得了一系列可喜的成就。目前,就软件体系结构的分析、评价、测试和验证的研究也在如火如荼地进行中。模型检验是一种基于自动机理论的形式验证方法,采用穷举状态空间的方式来证明系统的模型是否满足要验证的属性。同传统的测试和验证的手段相比,模型检验有其自身的优势。为此,越来越多的研究人员正在将模型检验技术应用到软件体系结构的分析和验证中。本文调查了模型检验技术在软件体系结构中的应用现状,剖析了影响软件体系结构模型检验的因素,给出了软件体系结构模型检验的未来主题。
- 张鹏程李必信周宇
- 关键词：软件体系结构
- 一种Web服务组合的数学模型被引量：1
- 2007年
- 为了更好地分析和验证Web服务组合,提出了一种描述服务间消息交互的Web服务组合数学模型.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及服务组合模式,并对消息交互逻辑进行了分析和实现,在此基础上,给出了服务组合模型的定义,并通过个体服务控制器、消息逻辑控制和全局控制算法实现了Web服务组合过程.该模型简洁灵活,具有可扩展性.实例分析表明,该模型能够对服务组合中的消息交互进行模拟.
- 周宇张鹏程李必信
- 关键词：WEB服务
- 基于PLM Services的异构PDM系统集成被引量：2
- 2007年
- 针对目前异构PMD集成存在的问题,在研究和分析国际对象管理组织OMG最新发布的PLM Services规范的基础上,提出了一种基于PLM Services技术的异构PDM系统集成架构.该架构解决了2个关键问题:建立以PLM Service为标准的服务框架,以W eb服务方式为客户提供异构平台产品数据的实时交互,为企业间基于Internet的协同设计提供实现环境;利用PLMService的标准数据格式,建立数据模式设配器,实现PDM系统与PLM Service标准之间的数据模式的映射.将该框架应用于汽车行业2个PDM系统的集成,取得了良好的实际效果,与同类研究成果相比,该架构具有效率高,开发周期短,成本低,能够快速灵活地支持产品协同开发.最后,针对PDM工作流数据管理的集成,提出了进一步的研究工作设想.
- 吴含前方宁生吴跃全
- 关键词：产品生命周期管理产品数据管理产品数据交换
- 基于扩展同步序列的Java多线程程序可达性测试方法被引量：3
- 2006年
- 为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实例分析表明,同步扩展同步序列的应用,能够有效地解决上述局限性,Java多线程程序中事件未同步及其引起的同步不当等错误也能得到有效的检测.这种基于扩展同步序列的可达性方法与传统可达性方法相比,具有一定的优越性.
- 王艳臣李必信戴君
- 关键词：可达性测试多线程
- Web服务测试问题综述被引量：24
- 2008年
- 近来出现了一种新的支持分布式计算的范型——面向服务的体系结构(SOA)。Web服务就是这种结构的具体实现形式之一。众所周知,为了获得一个可信的、可靠的服务,对服务实施完全、充分的测试是至关重要的。所以本文对Web服务的测试方法和技术进行了调查研究。本文从SOA体系结构下Web服务的特点及其测试的新的挑战出发,讨论了Web服务测试与传统测试的不同点;接着从多个不同的角度(测试的视角和测试的策略)讨论了Web服务测试的相关问题。然后给出了一个Web服务测试过程的组织框架,还讨论了目前Web服务测试的研究现状和一些代表性的Web服务测试技术。最后总结全文并给出未来的研究方向。
- 杨利利李必信
- 关键词：WEB服务
- 基于层次切片模型的JAVA相互作用耦合度量被引量：1
- 2005年
- 在Eder等人提出的三维耦合度量框架基础上,基于层次切片模型对JAVA中的相互作用耦合进行了研究,得到了JAVA中存在的相互作用耦合类型,并建立了一系列形式化的相互作用耦合度量公式.相对传统的耦合性度量,基于层次切片技术的耦合性度量更加精确,它不仅描述了度量对象之间的耦合关系,并在一定程度上描述了度量对象之间的耦合程度,从而为程序分析和理解等软件活动提供更多有用的信息.
- 莫军辉李必信
- 关键词：耦合度程序切片
- 面向对象软件耦合的度量和验证被引量：6
- 2006年
- 在研究面向对象软件度量过程中,提出了一种基于程序切片和信息流分析技术的面向对象软件耦合性度量方法.该方法首先计算面向对象程序的前向切片和后向切片,然后通过信息流分析技术分析程序中可能存在的输入耦合、输出耦合、I/E耦合,单向耦合、双向耦合和无耦合等6种耦合情况,并根据程序切片计算信息流的绝对量和信息流的宽度,进一步在此基础上计算面向对象程序中2个组件之间的耦合系数和某个组件自身的耦合度.最后通过理论证明和经验分析的方法验证了基于程序切片耦合度量的正确性和有效性.
- 李必信
- 关键词：面向对象
