刘玲
- 作品数：25 被引量：95H指数：6
- 供职机构：上海大学计算中心更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学航空宇航科学技术更多>>
- 一个自动构造类测试驱动程序的框架被引量：3
- 2005年
- 在类测试时,需要驱动程序来运行可执行的类测试用例并收集测试结果,因此驱动程序的开发工作量将直接影响类测试的效率。本文给出了一种类测试驱动程序的构造框架。利用面向对象技术的设计思想,设计了一个驱动基类,通过继承驱动基类,并覆盖驱动基类中的虚函数而生成一个被测类的驱动类。同时在主控程序中注册被测试类的驱动类,从而得到被测试类的驱动程序。最后通过一个实例,说明该驱动构造框架的可行性。
- 姜文缪淮扣刘玲
- 关键词：驱动程序软件复杂度软件测试类测试
- 智能服务——Web服务和语义Web集成研究被引量：20
- 2004年
- 现有Web主要是为人使用Web上的内容设计,如何自动发现、执行、组合及互操作Web上的信息,提供智能服务,是Web服务努力的方向,Web服务虽然也制定了发现、描述、信息交换的标准,但这些标准不支持智能服务,其原因是现有Web服务缺乏清楚的语义标记,该文提出将语义Web技术和Web服务结合来实现智能服务的思想,即为Web服务增加语义标记以实现Web服务的智能性,并就其可行性进行了阐述,最后给出了具体实现的方法。
- 孙军梅缪淮扣刘玲
- 关键词：WEB服务语义WEB本体
- 带显示屏的相机独脚架
- 本实用新型涉及一种带显示屏的相机独脚架，包括相机、伸缩支杆和云台，伸缩支杆上端与云台连接，下端与一根支杆连接，支杆上套装一个显示屏，显示屏与相机通过视频数据线连接。拍摄者可由显示屏看到景物，将相机陈放在较高位置，增加相机...
- 林财兴陈方泉林祖伟刘玲陶喆李志华李红强梁国伟
- 文献传递
- 基于面向对象形式规格说明的测试用例生成技术
- 软件测试的核心问题是测试用例的产生.根据测试用例产生的依据可以将软件测试分为基于程序代码的测试和基于规格说明的测试两大类.基于程序代码的测试是指测试者根据程序的内部结构和与路径相关的数据特性设计测试用例.基于规格说明的测...
- 刘玲
- 关键词：软件测试面向对象测试测试用例生成
- EPON中MII接口的设计与仿真
- 2006年
- 近几年出现的以太无源光接入网(EPON)技术结合了成熟的以太网技术和高带宽的PON技术,已成为接入网技术的最新发展方向。文中对EPON中MII接口的上行和下行模块进行了设计和描述,并进行了验证。
- 刘玲李明武凯
- 关键词：光网络单元
- 服务机器人的语音情感识别与交互技术研究被引量：1
- 2010年
- 分析语音情感识别技术的发展现状和关键技术,将基于隐马尔可夫模型的语音情感识别方法应用在机器人中,目的在于使机器人能够识别人的语音信号中的情感信息,并做出相应的情感表达.这在我们研制出的服务机器人中得到了较好的应用,该机器人能够识别人的语音情感并能与人进行一定的交互.
- 袁健贺祥许华虎冯肖维刘玲
- 关键词：语音情感识别服务机器人情感机器人
- 基于软件规格说明产生测试用例的方法
- 形式方法是基于数学方法来描述目标软件系统性质的软件开发方法,它为系统的说明、开发和验证提供了一个框架.软件规格说明是用形式规格说明语言精确描述软件需求的文档.Z规格说明是一种广泛使用的形式规格说明语言,由于它采用了严格的...
- 刘玲
- 关键词：Z规格说明测试用例
- 文献传递
- 基于UML Statecharts的测试用例生成被引量：11
- 2005年
- 直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法.
- 缪淮扣占学德刘玲
- 关键词：UMLSTATECHARTS
- 一种从测试规格说明到测试用例的自动生成方法
- 选择测试策略对测试用例的生成是至关重要的.该文讨论了使用域测试策略生成测试用例的过程:将测试规格说明,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词,变换成不等式组,然后对每一个不等式组利用1×1域测试策...
- 胡芸缪淮扣刘玲
- 关键词：形式化规格说明软件测试
- 文献传递
- 对逻辑覆盖软件测试准则的公理化评估被引量：20
- 2004年
- 由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一觳椴馐宰荚蚴欠衤愀米楣砝捶治龊捅冉舷嘤Φ牟馐宰荚?描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.
- 刘玲缪淮扣
- 关键词：测试充分性准则
