内蒙古自治区高等学校科学研究项目(NJ09012)

作品数：6被引量：1H指数：1
导出分析报告
相关作者：李华岳婧媛郭亚杰刘龙叶新铭更多>>
相关机构：内蒙古大学更多>>
相关期刊：《小型微型计算机系统》《内蒙古大学学报（自然科学版）》《计算机科学》更多>>
相关主题：WEB测试WEB基于文本单模式匹配算法单模式匹配更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于正交实验的Web表单关联项测试被引量：1
《内蒙古大学学报（自然科学版）》2011年第5期528-532,共5页郭亚杰 李华 岳婧媛 
国家自然科学基金项目(60863015);教育部春晖项目(Z2007-1-01032);内蒙古自然科学基金重点项目(200711020803;200804042D20)内蒙古自然科学基金项目(20080404MS0906);内蒙古自治区高等学校科学研究项目(NJ09012)
随着Web应用越来越庞大,Web应用的表单项之间的关系越来越复杂,这给Web测试带来了一定的难度.单纯的将Web表单项作为一个因素进行正交实验会得到一些不合理的测试例,因此将相互关联的表单项作为一个关联组,将关联组作为一个单独的因素...
关键词：正交实验 WEB测试 表单关联项 
基于属性的协议互操作性测试的TTCN-3实现
《内蒙古大学学报（自然科学版）》2011年第5期591-595,共5页洪有芬 刘龙 李华 
国家自然科学基金项目(60863015);内蒙古自治区高等学校科学研究项目(NJ09012);内蒙古自然科学基金项目(200408020806)
目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但...
关键词：互操作测试 路由协议 属性 TTCN-3 
基于属性的Minix3系统调用的建模和测试
《内蒙古大学学报（自然科学版）》2011年第5期570-575,共6页岳婧媛 李华 郭亚杰 贺楠 庞滨 
国家自然科学基金项目(60863015);教育部春晖项目(z2007-1-01032);内蒙古自然科学基金重点项目(200711020803;20080404ZD20)内蒙古自然科学基金项目(20080404MS0906);内蒙古自治区高等学校科学研究项目(NJ09012)
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码...
关键词：Minix3 系统调用 属性 层次Petri网 
BT协议的形式化建模与测试生成
《小型微型计算机系统》2011年第4期676-679,共4页李华 叶新铭 吴承勇 王佳 吕东旭 
国家自然基金项目(60863015)资助;教育部春晖项目(z2007-1-01032)资助;内蒙古自然科学基金重点项目(200711020803;20080404ZD20)资助;内蒙古自治区高等学校科学研究项目(NJ09012)资助
B itTorrent(BT)是基于Peer-to-Peer(P2P)技术的比较流行文件共享软件,BT protoco l是其相关软件实现的一个基本协议.本文对BT协议进行深入的分析,采用有限状态机(FSM,F inite S tate M achine)对BT协议进行形式化建模,描述了正常的共...
关键词：BITTORRENT协议 FSM 测试序列 UIO方法 
基于文本频率冗余的单模式匹配算法的研究
《内蒙古大学学报（自然科学版）》2010年第6期707-711,共5页王燕 李华 常军 
教育部春晖项目(z2007-1-01032);内蒙古自治区高等学校科学研究资助项目(NJ09012)
针对入侵检测系统中经典的BM、KMP等单模式匹配算法进行了分析,根据入侵检测数据的特点和匹配算法的基本原理,提出了文本频率冗余度的概念,设计实现了评估文本频率冗余度的算法.实验测试了其对于单模式匹配算法效率的影响,结果显示基于...
关键词：入侵检测 单模式匹配 文本频率冗余度 
移动IPv6协议中移动节点的可执行测试序列生成方法研究
《计算机科学》2009年第10期137-140,共4页李华 叶新铭 刘静 刘龙 
国家自然基金项目(60863015);内蒙古自然科学基金重点项目(200711020803;20080404ZD20);内蒙古自治区高等学校科学研究项目(NJ09012)资助
移动IPv6可以为主机移动提供便利,使得它可以以一个永久的IPv6地址连接到任何链路上。对于它的测试研究可以保证协议的实现与说明的一致性。在移动IPv6中共有移动节点、家乡代理以及对端节点3个角色。分析了移动节点的控制流模型以及它...
关键词：移动IPV6 移动节点 一致性测试 可执行测试序列 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部