国防科技技术预先研究基金(413150601)
- 作品数：9 被引量：41H指数：4
- 相关作者：叶俊民王振宇叶俊民赵良罗景更多>>
- 相关机构：华中师范大学武汉大学哈尔滨工程大学更多>>
- 发文基金：国防科技技术预先研究基金软件工程国家重点实验室开放基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程更多>>
- 一种基于工具总线的CASE集成模型被引量：6
- 2004年
- 简要分析了当前CASE环境的集成机制,并给出了一种基于工具总线的工具集成机制的理论架构以及实现。该机制引入了工具适配器对工具总线的底层机制进行封装,满足了系统对集成的应用工具的位置无关性的要求。
- 蔡勇桑楠熊光泽
- 关键词：集成环境工具总线中间件
- 基于软件体系结构的测试及其工具研究被引量：2
- 2003年
- 1引言。软件体系结构层测试的目的是找出体系结构的错误和缺陷,这与传统测试有很大的不同。SA测试分为体系结构的静态测试(即体系结构分析)和体系结构的动态测试(即体系结构模拟)两个方面。前者是对体系结构的静态行为特征进行分析,如各类一致性分析等;后者是对体系结构的动态行为特征进行模拟。
- 叶俊民王振宇陈利赵恒
- 关键词：软件体系结构软件工程软件测试工具
- 一种基于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)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。
- 叶俊民罗景朱凯赵良赵恒王振宇
- 关键词：软件体系结构标号迁移系统
- 软件体系结构风格的实例研究被引量：12
- 2002年
- 软件体系结构研究领域中 ,风格的研究与应用是一个重要的领域 .本文讨论了软件体系结构的概念和风格 ,在此基础上特别对 CORBA、基于 Web的分布式系统结构、领域专家系统、基于商业背景的可重用软件体系结构等内容进行了讨论 ,并给出了它们相关风格 .
- 叶俊民赵恒曹瀚王鸿丰王振宇
- 关键词：软件体系结构
