刘咏梅

作品数：4被引量：2H指数：1
导出分析报告
供职机构：内蒙古大学计算机学院更多>>
发文主题：INTERNET网路由信息协议路由协议嵌入式软件测试嵌入式软件更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《内蒙古大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金教育部“春晖计划”内蒙古自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
嵌入式软件回归测试错误定位方法的研究被引量：1
《内蒙古大学学报（自然科学版）》2011年第5期533-539,共7页王微 刘咏梅 
内蒙古自然科学基金资助项目(No.20080404MS0906);教育部春晖项目(Z2007-1-01032)
由于嵌入式软件的复杂性,决定着嵌入式软件的修改是一项困难的任务,在修改的过程中容易引入新的错误.由此可知嵌入式软件的回归测试在整个软件开发的生命周期中占有重要地位.通过研究几种回归测试错误定位方法,提出一种适用于嵌入式软...
关键词：嵌入式软件测试 回归测试 程序频谱分析 
非确定并发系统的基于说明的测试推导
《内蒙古大学学报（自然科学版）》2001年第1期106-111,共6页刘咏梅 叶新铭 
国家自然科学基金
讨论具有非确定性的分布式并发软件系统 ,对论文〔1〕的行为机构造方法和测试推导方法进行了扩展 ,使之可同时适用于确定的和非确定的并发系统 .
关键词：分布式并发系统 非确定性 带标记转换系统 PETRI网 行为机 
关于路由协议的一致性测试的一种形式方法被引量：1
《内蒙古大学学报（自然科学版）》2000年第6期636-640,共5页赵玉兰 刘咏梅 何立强 孟光萌 叶新铭 
863高科技资助项目
为了一致性测试 Internet网上的一个标准路由信息协议 ( RIP协议 ) ,利用形式描述技术语言 E-LOTOS对其进行了描述 ,然后把文本描述的 E-LOTOS转换为 GE-LOTOS.并在此上产生了
关键词：一致性测试 GE-LOTOS 路由信息协议 INTERNET网 
非确定性系统的动态测试过程
《内蒙古大学学报（自然科学版）》1999年第2期247-253,共7页刘咏梅 叶新铭 周建涛 赵玉兰 
国家自然科学基金
针对非确定性系统，提出一种新的相容性测试方法．即扩展〔１〕中所提出的对确定的有限状态机进行动态测试的方法，使之可应用于非确定的带标记转换系统．与以往方法相比，该方法可获得更符合实际的测试结果．
关键词：相容性测试 测试序列树 非确定性系统 动态测试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部