您的位置： 专家智库 > >

叶俊民

作品数：10 被引量：30H指数：4
供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
发文基金：软件工程国家重点实验室开放基金国防科技技术预先研究基金国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 8篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 10篇自动化与计算...

主题

  • 9篇体系结构
  • 7篇软件体系结构
  • 5篇实时系统
  • 5篇分布式
  • 5篇分布式实时
  • 5篇分布式实时系...
  • 4篇描述语言
  • 3篇体系结构描述...
  • 3篇结构描述语言
  • 2篇操作语义
  • 1篇形式化
  • 1篇软件测试
  • 1篇软件工程
  • 1篇软件体系结构...
  • 1篇状态树
  • 1篇可视化
  • 1篇可视化软件
  • 1篇编程
  • 1篇编程语言
  • 1篇TSP

机构

  • 10篇哈尔滨工程大...
  • 3篇华中师范大学
  • 3篇武汉大学

作者

  • 10篇叶俊民
  • 7篇王振宇
  • 3篇曹瀚
  • 2篇黄萍
  • 1篇罗景
  • 1篇王振宇
  • 1篇赵良
  • 1篇陈利
  • 1篇王振宇

传媒

  • 2篇计算机工程
  • 2篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇哈尔滨工程大...
  • 1篇海军工程大学...
  • 1篇计算机科学
  • 1篇2003''...

年份

  • 5篇2005
  • 3篇2003
  • 2篇2002
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
软件体系结构测试覆盖准则研究被引量：4
2005年
基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。
叶俊民赵良罗景王振宇赵恒
关键词：软件体系结构测试覆盖准则
可视化软件体系结构描述语言IOSADL被引量：3
2002年
软件体系结构将设计者的注意力从代码行上转移到大粒度的体系结构元素及其交互的设计上。软件体系结构描述语言(ADL)已经成为基于体系结构开发的建模符号系统。在文中,首先在研究ADL特性的基础上,提出一种可视化体系结构描述语言IOSADL(Icon-basedOpennessSoftwareArchitectureDescriptionLanguages),它使用组件、连接件和配置等概念来描述体系结构。
叶俊民王振宇赵恒曹瀚
关键词：体系结构描述语言编程语言
TSP及其操作语义模型研究
2005年
在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.
叶俊民王振宇黄萍赵恒
关键词：TSP操作语义
基于软件体系结构的测试用例生成技术研究
从90年代开始，软件体系结构(SA) 技术受到了研究界和工业界的普遍重视并开始得到应用。软件体系结构的设计对于整个软件系统的开发至关重要，这种重要性不仅表现在软件的构造上，还表现在对软件测试的指导上。因此，为了提高软件体...
叶俊民
关键词：软件体系结构描述语言操作语义分布式实时系统
基于CHAM模型的LTS状态树生成算法被引量：4
2003年
标号迁移系统(labelledtransitionsystem,LTS)是形式化一致性测试的重要研究方向.在软件体系结构(softwarearchitectures,SA)测试计划生成的研究中,需要从化学抽象机(chemicalabstractmachine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征.因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题.基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法.
叶俊民王振宇曹瀚赵恒
关键词：软件体系结构
分布式实时系统形式化测试研究中的一些问题思考
基于软件体系结构(Software Architecture,SA)的形式化测试提高了软件产品的质量,是软件工程领域研究中的一项重要内容.分布式实时系统(Distributed Time-Real System,DRTS...
叶俊民赵恒王振宇
关键词：体系结构分布式实时系统软件测试
文献传递
分布式实时系统体系结构描述语言的设计及其应用实例研究被引量：4
2005年
为了完成基于软件体系结构(SoftwareArchitecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(ArchitectureDescriptionLanguage,ADL)描述被测系统,以便自动产生测试用例.在考察现有的体系结构描述语言(Architec-tureDescriptionLanguage,ADL)的基础上,分析了现存ADL的不足,提出了一种新的分布式实时系统体系结构描述语言(Dis-tributedReal-TimeSystemArchitectureDescriptionLanguage,DRTSADL),研究了该语言的语法和操作语义.结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用.与现存ADL相比,新的ADL对分布式实时系统有较强的描述能力.
叶俊民王振宇黄萍赵恒
关键词：软件体系结构体系结构描述语言分布式实时系统
软件体系结构风格的实例研究被引量：12
2002年
软件体系结构研究领域中 ,风格的研究与应用是一个重要的领域 .本文讨论了软件体系结构的概念和风格 ,在此基础上特别对 CORBA、基于 Web的分布式系统结构、领域专家系统、基于商业背景的可重用软件体系结构等内容进行了讨论 ,并给出了它们相关风格 .
叶俊民赵恒曹瀚王鸿丰王振宇
关键词：软件体系结构
基于DRTSADL的分布式实时系统建模
2005年
在考察现有的体系结构描述语言的基础上,提出了一种新的分布式实时系统体系结构描述语言(DRTSADL),研究了该语言操作语义。结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用。与现存ADL相比,新的ADL对分布式实时系统有较强的描述能力。
叶俊民赵恒王振宇
关键词：软件体系结构体系结构描述语言分布式实时系统
TFSP:一种分布式实时系统的形式化描述工具被引量：3
2003年
分布式实时系统在宇航、核反应、军事和工业等部门应用极为广泛,这些领域对系统本身的安全性和可靠性要求极高,因此如何开发出正确的分布式实时应用系统是一个关键问题.为了对分布式实时系统进行建模,我们提出了TFSP(Timed Finite State Processes),即时间有限状态进程.TFSP扩展了Magee等人提出的FSP(Finite State Processes)[1].
叶俊民王振宇陈利赵恒
关键词：软件体系结构分布式实时系统软件工程
全选 清除 导出
共1页<1>
聚类工具0