刘咏梅
【姓名】 刘咏梅
【职称】 副教授;
【研究领域】 计算机软件及计算机应用;互联网技术;计算机硬件技术;
【研究方向】 嵌入式系统与测试工程研究
【发表文献关键词】 测试序列树,带标记转换系统,测试路径选择,非确定性,相容性测试,行为机,观察等价,状态集,E-LOTOS,扇出,GE-LOTOS,集合识别,状态集的识别序列,一致性测试,识别序列,RIP协议,分布式并...
【工作单位】 内蒙古大学
【曾工作单位】 内蒙古大学;
【所在地域】 呼和浩特
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 3 5 2 8 236
中国期刊全文数据库    共找到5篇
[1]王微;刘咏梅;.嵌入式软件回归测试错误定位方法的研究[J]内蒙古大学学报(自然科学版).2011,(05)
[2]赵玉兰,刘咏梅,何立强,孟光萌,叶新铭.关于路由协议的一致性测试的一种形式方法[J]内蒙古大学学报(自然科学版).2000,(06)
[3]刘咏梅,叶新铭.非确定并发系统的基于说明的测试推导[J]内蒙古大学学报(自然科学版).2001,(01)
[4]周建涛,叶新铭,刘咏梅.非确定系统中可观察状态集的识别序列的一种推导方法[J]内蒙古大学学报(自然科学版).1999,(02)
[5]刘咏梅,叶新铭,周建涛,赵玉兰.非确定性系统的动态测试过程[J]内蒙古大学学报(自然科学版).1999,(02)
更多