刘玲

作品数：16被引量：49H指数：4
导出分析报告
供职机构：上海大学计算中心更多>>
发文主题：软件测试测试用例Z规格说明测试用例生成形式化规格说明更多>>
发文领域：自动化与计算机技术电子电信文化科学航空宇航科学技术更多>>
发文期刊：《软件学报》《计算机工程》《计算机工程与应用》《计算机应用与软件》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Linux内核完全公平调度器改进的研究被引量：3
《计算机工程与应用》2014年第21期59-62,共4页朱永华 沈熠 刘玲 
国家高技术研究发展计划(863)重点项目(No.2009AA012201)
针对现有Linux内核使用的完全公平调度器无法有效解决贪婪线程问题,提出一种改进的调度算法和该算法的高效实现,该算法通过惩罚贪婪线程的方法提升调度器的公平性。实验结果证实,贪婪线程问题存在;改进后的调度算法有效减少了存在贪婪...
关键词：LINUX内核 任务调度 完全公平调度 
单机多媒体本地影像视频的制作与探讨被引量：2
《现代机械》2010年第4期73-76,共4页刘玲 谢甘弟 林财兴 
单机多媒体本地影像视频的应用在很久以前就已经得到重视,目前应用越来越广泛,虽然现在网络多媒体很流行,但是单机多媒体的地位是无法取代的。本论文以绘声绘影11制作一个教授从教50年的纪录短片为例,对单机多媒体本地影像视频的制作过...
关键词：单机多媒体 本地影像 绘声绘影11 记录短片 
服务机器人的语音情感识别与交互技术研究被引量：1
《小型微型计算机系统》2010年第7期1466-1469,共4页袁健 贺祥 许华虎 冯肖维 刘玲 
国家"八六三"高技术研究发展计划项目(2007AA041604)资助
分析语音情感识别技术的发展现状和关键技术,将基于隐马尔可夫模型的语音情感识别方法应用在机器人中,目的在于使机器人能够识别人的语音信号中的情感信息,并做出相应的情感表达.这在我们研制出的服务机器人中得到了较好的应用,该机器...
关键词：语音情感识别 服务机器人 情感机器人 
Turbo码编码器IP核设计及验证
《上海大学学报（自然科学版）》2006年第5期462-466,共5页武凯 李明 刘玲 陆桂富 
上海市教委青年基金资助项目(03AQ85)
深入研究了Turbo码编译码理论,结合IMT-2000中W-CDMA标准进行编码器IP核设计,实现了两个分量编码器同时归零;对数据采用流水处理,并在内部加入了并串转换,使其方便地应用于编码器验证平台的SOPC系统中;采用QuartusⅡ开发工具在APEX20KE...
关键词：TURBO码 编码器 QuartusⅡ IP核 
EPON中MII接口的设计与仿真
《通信技术》2006年第S1期153-155,共3页刘玲 李明 武凯 
近几年出现的以太无源光接入网(EPON)技术结合了成熟的以太网技术和高带宽的PON技术,已成为接入网技术的最新发展方向。文中对EPON中MII接口的上行和下行模块进行了设计和描述,并进行了验证。
关键词：以太无源光接入网 光线终端 光网络单元 MII接口 
EPON中CRC校验码的并行算法实现被引量：2
《无线通信技术》2006年第1期37-39,共3页陆建松 李明 李纪军 刘玲 
上海市教委青年基金项目资助(03AQ85)
EPON是基于以太网技术的宽带接入,采用以太网的帧结构。文章详细介绍了EPON中CRC校验的原理和算法,给出了采用并行电路实现EPON中CRC产生和CRC校验的解决方案,然后用M odelsim进行了仿真。与串行电路相比,这种并行电路提高了CRC算法的...
关键词：并行算法 CRC EPON 
基于UML Statecharts的测试用例生成被引量：8
《小型微型计算机系统》2005年第4期662-666,共5页缪淮扣 占学德 刘玲 
国家自然科学基金(60173030;60373072)资助;国家"九七三"项目(2002CB312001)资助;上海市第四期重点学科建设资助.
直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测...
关键词：UML STATECHARTS FREE模型 基于规格说明的测试 
一个自动构造类测试驱动程序的框架被引量：2
《计算机科学》2005年第3期159-161,185,共4页姜文 缪淮扣 刘玲 
国家自然基金(编号:60173030)
在类测试时,需要驱动程序来运行可执行的类测试用例并收集测试结果,因此驱动程序的开发工作量将直接影响类测试的效率。本文给出了一种类测试驱动程序的构造框架。利用面向对象技术的设计思想,设计了一个驱动基类,通过继承驱动基类,并...
关键词：自动构造类 驱动程序 软件复杂度 软件测试 类测试 
用Z语言形式化扩展事件踪迹图被引量：1
《计算机应用与软件》2004年第11期3-5,共3页童翠玲 缪淮扣 刘玲 
国家自然科学基金项目(批准号:60 1 730 30 ) ;上海市教委科学与技术发展基金(批准号:0 2AK0 8)资助
软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事件踪迹图 (ExtendedEventsTraces ,EETs)是一种用来描述组件交互的图形技术 ,它允许我们用图来定义结构...
关键词：规格说明 组件 事件 Z语言 交互模型 图形技术 软件体系结构 重要因素 使用形式 形式化 
对逻辑覆盖软件测试准则的公理化评估被引量：9
《软件学报》2004年第9期1301-1310,共10页刘玲 缪淮扣 
国家自然科学基金~~
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选...
关键词：基于规格说明的测试 逻辑覆盖测试准则 公理化评估 测试充分性准则 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部