公共文化服务平台

软件工程国家重点实验室开放基金(SKL4): 作品数：14 被引量：60H指数：4; 相关作者：叶俊民王振宇陈利曹瀚关佶红更多>>; 相关机构：哈尔滨工程大学华中师范大学武汉大学更多>>; 发文基金：软件工程国家重点实验室开放基金国防科技技术预先研究基金国家重点实验室开放基金更多>>; 相关领域：自动化与计算机技术自然科学总论经济管理更多>>

软件体系结构测试覆盖准则研究被引量：4: 2005年; 基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。; 叶俊民赵良罗景王振宇赵恒; 关键词：软件体系结构测试覆盖准则

DRTSADL可视化建模及其工具的设计与实现: 2005年; 提出了将DRTSADL进行可视化建模的设计方案:抽取基本建模元素,给出它们的BNF范式定义;按照体系结构的配置将这些元素连接起来,分别从静态结构方面和动态行为方面,完成整个软件系统的设计。最后给出了可视化建模支持工具的具体实现。; 罗景叶俊民赵良陈利; 关键词：软件体系结构体系结构描述语言可视化建模

软件连接件风格的研究: 2006年; 讨论了软件连接件风格的基本框架,并讨论了过程调用、事件连接件、数据访问连接件、直接连接、流、表决器、适配器、分布器的风格。; 叶俊民彭波涛郑艳艳; 关键词：软件体系结构连接件

可视化软件体系结构描述语言IOSADL被引量：3: 2002年; 软件体系结构将设计者的注意力从代码行上转移到大粒度的体系结构元素及其交互的设计上。软件体系结构描述语言(ADL)已经成为基于体系结构开发的建模符号系统。在文中,首先在研究ADL特性的基础上,提出一种可视化体系结构描述语言IOSADL(Icon-basedOpennessSoftwareArchitectureDescriptionLanguages),它使用组件、连接件和配置等概念来描述体系结构。; 叶俊民王振宇赵恒曹瀚; 关键词：体系结构描述语言编程语言

GML空间数据流压缩算法研究被引量：4: 2007年; 提出了一种新的GML数据流压缩算法。研究了GML结构与数据动态分离并动态压缩,采用多线程技术进行并行传输,再在接收端动态解压并动态合并的过程。实验结果表明,该方法对大幅提高GML数据传输效率具有实际意义。; 杜成龙关佶红王治; 关键词：GML 数据流多线程

基于软件体系结构的测试及其工具研究被引量：2: 2003年; In this paper ,we discuss the objective and the significance of software testing on the basis of software ar-chitecture; we propose the content of testing planing of software architecture and testing criteria; on the level of ar-chitecture,through comparison with traditional testing tools,we present testing tools in integration environment andanalyze the roles of these tools. On the basis of this,we further suggest the structure of a integration testing environment.; 叶俊民王振宇陈利赵恒; 关键词：软件体系结构软件工程软件测试工具

基于CHAM模型的LTS状态树生成算法被引量：4: 2003年; 标号迁移系统(labelledtransitionsystem,LTS)是形式化一致性测试的重要研究方向.在软件体系结构(softwarearchitectures,SA)测试计划生成的研究中,需要从化学抽象机(chemicalabstractmachine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征.因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题.基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法.; 叶俊民王振宇曹瀚赵恒; 关键词：软件体系结构

一种基于Agent推理的自动谈判方法研究被引量：7: 2004年; 以Agent代替人实现自动协商,将大大提高远程谈判的效率.提出基于Agent推理的自动谈判方法和基于最近邻匹配的案例推理工作流程,开发出能够实现自动谈判的一个原型系统,在很大程度上实现了谈判的智能化和自动化,为谈判支持系统的开发提供了新的思路.; 朱付保关佶红牛晓太; 关键词：谈判方法谈判支持系统自动协商远程

基于MSMQ的.NET分布式系统研究与实现被引量：3: 2006年; 在研究MSMQ分布式系统原理和框架的基础上,给出了.NET平台下实现MSMQ分布式系统的设计方案,并介绍了基于消息的分布式系统的实际应用。; 杜成龙王治; 关键词：消息队列分布式系统 .NET

基于DAML-S的Web服务匹配方法被引量：6: 2004年; 服务匹配是Web服务发现中一个很重要的部分,针对目前服务发现方法的不足,提出了一种基于DAML S的Web服务匹配方法,其核心思想是用DAML S进行服务描述并将其发布后,通过对服务描述中的输入输出和用户需求中功能的测度来判断服务与用户需求的匹配程度.; 安杨关佶红赵波; 关键词：DAML WEB服务匹配方法用户需求

软件工程国家重点实验室开放基金(SKL4)