您的位置: 专家智库 > >

刘宜鑫

作品数:2 被引量:0H指数:0
供职机构:哈尔滨师范大学计算机科学与信息工程学院计算机科学与技术系更多>>
发文基金:黑龙江省教育厅科学技术研究项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇软件测试
  • 2篇软件体系结构
  • 2篇体系结构
  • 2篇WRIGHT
  • 1篇DYNAMI...
  • 1篇标号
  • 1篇标号迁移系统

机构

  • 2篇哈尔滨师范大...

作者

  • 2篇伦立军
  • 2篇刘宜鑫
  • 1篇李英梅

传媒

  • 1篇黑龙江科技信...
  • 1篇2007全国...

年份

  • 2篇2007
2 条 记 录,以下是 1-2
排序方式:
软件体系结构配置的路径覆盖方法研究
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段。本文提出了一种针对软件体系结构层配置信息的测试方法,该方法用Wright描述软件体系结构,将体系结构配置行为转换成改进的配置行为图...
刘宜鑫伦立军李英梅
关键词:软件体系结构软件测试WRIGHT
文献传递
基于动态Wright体系结构描述语言测试方法
2007年
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构层配置信息的测试方法,该方法用Dynamic Wright描述软件系统的体系结构及对系统配置信息进行新从配置,利用标号迁移系统LTS描述软件系统的状态变化及迁移信息,指导测试路径生成。
刘宜鑫伦立军
关键词:软件体系结构软件测试DYNAMICWRIGHT标号迁移系统
共1页<1>
聚类工具0