国防科技技术预先研究基金(413150601) 作品数:9 被引量:41 H指数:4 相关作者: 叶俊民 王振宇 叶俊民 赵良 罗景 更多>> 相关机构: 华中师范大学 哈尔滨工程大学 武汉大学 更多>> 发文基金: 国防科技技术预先研究基金 软件工程国家重点实验室开放基金 国家重点实验室开放基金 更多>> 相关领域: 自动化与计算机技术 交通运输工程 机械工程 更多>>
基于软件体系结构的测试及其工具研究 被引量: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. 叶俊民 王振宇 陈利 赵恒关键词:软件体系结构 软件工程 软件测试工具 一种基于工具总线的CASE集成模型 被引量:6 2004年 简要分析了当前CASE环境的集成机制,并给出了一种基于工具总线的工具集成机制的理论架构以及实现。该机制引入了工具适配器对工具总线的底层机制进行封装,满足了系统对集成的应用工具的位置无关性的要求。 蔡勇 桑楠 熊光泽关键词:集成环境 工具总线 中间件 一种基于DRTSADL规约的软件体系结构切片方法 2005年 切片思想在软件体系结构层的应用,可以使研究人员把握系统中某个特定功能的构件实现,并为研究人员集中精力改进软件体系结构的设计缺陷打下基础.主要讨论一种基于形式化规约的软件体系结构切片方法. 叶俊民 朱凯 彭波涛 郑艳艳关键词:软件体系结构 软件体系结构描述语言 切片 一种基于软件体系结构配置的测试用例生成算法研究 被引量:3 2006年 从软件体系结构配置生成测试用例是软件测试领域中的一个重要分支。本文首先提出了一组基于软件体系结构配置的测试标准及其计算规则。基于此,实现了基于软件体系结构配置的测试用例生成算法并分析了其时间复杂性。对人机结口(Man-Machine Interface,MMI)的实验表明,所提出的算法能够根据测试标准生成测试用例。 叶俊民 赵恒 黄萍 王振宇关键词:软件体系结构 测试用例生成算法 软件测试 分布式实时系统体系结构描述语言的设计及其应用实例研究 被引量:4 2005年 为了完成基于软件体系结构(SoftwareArchitecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(ArchitectureDescriptionLanguage,ADL)描述被测系统,以便自动产生测试用例.在考察现有的体系结构描述语言(Architec-tureDescriptionLanguage,ADL)的基础上,分析了现存ADL的不足,提出了一种新的分布式实时系统体系结构描述语言(Dis-tributedReal-TimeSystemArchitectureDescriptionLanguage,DRTSADL),研究了该语言的语法和操作语义.结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用.与现存ADL相比,新的ADL对分布式实时系统有较强的描述能力. 叶俊民 王振宇 黄萍 赵恒关键词:软件体系结构 体系结构描述语言 分布式实时系统 软件连接件风格的研究 2006年 讨论了软件连接件风格的基本框架,并讨论了过程调用、事件连接件、数据访问连接件、直接连接、流、表决器、适配器、分布器的风格。 叶俊民 彭波涛 郑艳艳关键词:软件体系结构 连接件 操作系统体系结构风格的比较研究 被引量:9 2005年 从软件体系结构风格的角度分析研究了目前存在的操作系统体系结构,并给出了常用操作系统体系结构的相关信息,这些结论使我们能更好地采用操作系统体系结构设计中的设计决策。 赵良 叶俊民 罗景 陈利关键词:体系结构 操作系统 基于扩展CHAM模型的软件集成测试方法 被引量:5 2005年 基于构件的软件工程(Component-Based Software Engineering,CBSE)正逐渐成为软件开发的一种新趋势。目前构件提供者所交付的构件仅仅包括其功能描述和接口描述,而代码通常是不可见的,这给软件系统的集成测试带来较大困难。本文针对软件体系结构(Software Architecture,SA)层中的构件规格说明,提出一种集成测试方法。首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。 叶俊民 罗景 朱凯 赵良 赵恒 王振宇关键词:软件体系结构 自底向上 提供者 状态树 LTS 软件体系结构风格的实例研究 被引量:12 2002年 软件体系结构研究领域中 ,风格的研究与应用是一个重要的领域 .本文讨论了软件体系结构的概念和风格 ,在此基础上特别对 CORBA、基于 Web的分布式系统结构、领域专家系统、基于商业背景的可重用软件体系结构等内容进行了讨论 ,并给出了它们相关风格 . 叶俊民 赵恒 曹瀚 王鸿丰 王振宇关键词:软件体系结构