您的位置： 专家智库 > >

刘咏梅

作品数：4 被引量：5H指数：1
供职机构：内蒙古大学计算机学院更多>>
发文基金：国家自然科学基金教育部“春晖计划”内蒙古自治区自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 1篇电子电信

主题

  • 1篇信息协议
  • 1篇软件测试
  • 1篇嵌入式
  • 1篇嵌入式软件
  • 1篇嵌入式软件测...
  • 1篇路由
  • 1篇路由协议
  • 1篇路由信息
  • 1篇路由信息协议
  • 1篇非确定性
  • 1篇INTERN...
  • 1篇并发系统
  • 1篇PETRI网

机构

  • 4篇内蒙古大学

作者

  • 4篇刘咏梅
  • 3篇叶新铭
  • 1篇何立强
  • 1篇赵玉兰
  • 1篇王微

传媒

  • 4篇内蒙古大学学...

年份

  • 1篇2011
  • 1篇2001
  • 1篇2000
  • 1篇1999
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
嵌入式软件回归测试错误定位方法的研究被引量：1
2011年
由于嵌入式软件的复杂性,决定着嵌入式软件的修改是一项困难的任务,在修改的过程中容易引入新的错误.由此可知嵌入式软件的回归测试在整个软件开发的生命周期中占有重要地位.通过研究几种回归测试错误定位方法,提出一种适用于嵌入式软件的基于程序频谱和原子依赖的回归测试错误定位方法,并且通过实例对该方法进行了说明.
王微刘咏梅
关键词：嵌入式软件测试
非确定并发系统的基于说明的测试推导
2001年
讨论具有非确定性的分布式并发软件系统 ,对论文〔1〕的行为机构造方法和测试推导方法进行了扩展 ,使之可同时适用于确定的和非确定的并发系统 .
刘咏梅叶新铭
关键词：非确定性PETRI网
非确定性系统的动态测试过程
1999年
针对非确定性系统，提出一种新的相容性测试方法．即扩展〔１〕中所提出的对确定的有限状态机进行动态测试的方法，使之可应用于非确定的带标记转换系统．与以往方法相比，该方法可获得更符合实际的测试结果．
刘咏梅叶新铭周建涛赵玉兰
关于路由协议的一致性测试的一种形式方法被引量：4
2000年
为了一致性测试 Internet网上的一个标准路由信息协议 ( RIP协议 ) ,利用形式描述技术语言 E-LOTOS对其进行了描述 ,然后把文本描述的 E-LOTOS转换为 GE-LOTOS.并在此上产生了
赵玉兰刘咏梅何立强孟光萌叶新铭
关键词：路由信息协议INTERNET网
全选 清除 导出
共1页<1>
聚类工具0