您的位置: 专家智库 > >

刘红宇

作品数:5 被引量:0H指数:0
供职机构:北京工业大学更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 4篇专利
  • 1篇学位论文

领域

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

主题

  • 4篇状态机
  • 4篇测试用例
  • 3篇有限状态机
  • 2篇软件测试
  • 2篇数据结构
  • 2篇贪心
  • 2篇贪心算法
  • 2篇状态机模型
  • 2篇网络系统
  • 2篇无线
  • 2篇无线传感
  • 2篇无线传感器
  • 2篇无线传感器网
  • 2篇无线传感器网...
  • 2篇无线传感器网...
  • 2篇感器
  • 2篇WP
  • 2篇测试用例集
  • 2篇测试用例生成
  • 2篇传感

机构

  • 5篇北京工业大学

作者

  • 5篇刘红宇
  • 4篇张建标
  • 4篇崔玲
  • 4篇杨宇泽
  • 4篇艾蓉

年份

  • 2篇2017
  • 3篇2015
5 条 记 录,以下是 1-5
排序方式:
一种对含有特殊转换过程的非通用有限状态机进行改造的方法
本发明公开了一种对含有特殊转换过程的非通用有限状态机进行改造的方法,属于系统测试领域,具体涉及一种对非通用有限状态机中的特殊转换过程进行改造的方法。针对非通用FSM中的特殊转换,本发明提出一种FSM模型改造方法,将非通用...
张建标杨宇泽崔玲刘红宇艾蓉
文献传递
基于FSM模型的测试方案生成方法研究
随着计算机的应用日益增多,各行业对软件系统的健壮性和稳定性提出了更高的要求,使得软件测试在整个软件项目中的地位日益重要。基于FSM模型的系统测试是一致性测试的重要研究方向,在实际的测试工作中已被普遍的推广。但由于实际应用...
刘红宇
关键词:软件系统FSM模型
基于Wp测试用例约简集的无线传感器网络系统测试方法
基于Wp测试用例约简集的无线传感器网络系统测试方法属于无线传感器网络系统的通信协议设计验证和系统测试。其特征在于,依次含有以下步骤:利用Wp方法处理计算机仿真系统有限状态机模型M<Sub>1</Sub>生成测试用例集、为...
张建标刘红宇崔玲杨宇泽艾蓉
文献传递
一种对含有特殊转换过程的非通用有限状态机进行改造的方法
本发明公开了一种对含有特殊转换过程的非通用有限状态机进行改造的方法,属于系统测试领域,具体涉及一种对非通用有限状态机中的特殊转换过程进行改造的方法。针对非通用FSM中的特殊转换,本发明提出一种FSM模型改造方法,将非通用...
张建标杨宇泽崔玲刘红宇艾蓉
基于Wp测试用例约简集的无线传感器网络系统测试方法
基于Wp测试用例约简集的无线传感器网络系统测试方法属于无线传感器网络系统的通信协议设计验证和系统测试。其特征在于,依次含有以下步骤:利用Wp方法处理计算机仿真系统有限状态机模型M<Sub>1</Sub>生成测试用例集、为...
张建标刘红宇崔玲杨宇泽艾蓉
共1页<1>
聚类工具0