您的位置： 专家智库 > >

罗玲

作品数：15 被引量：0H指数：0
供职机构：西安电子科技大学更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 13篇专利
  • 2篇学位论文

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 5篇映射
  • 5篇映射规则
  • 4篇语句
  • 4篇软件故障
  • 3篇代码
  • 3篇软件测试
  • 3篇类图
  • 3篇Π演算
  • 3篇并发系统
  • 3篇测试用例
  • 2篇等价
  • 2篇等价性
  • 2篇序列图
  • 2篇优先搜索
  • 2篇软件产品
  • 2篇深度优先搜索
  • 2篇搜索
  • 2篇统计分析
  • 2篇图生成
  • 2篇图形化

机构

  • 15篇西安电子科技...

作者

  • 15篇罗玲
  • 13篇张南
  • 13篇段振华
  • 13篇田聪
  • 13篇王小兵
  • 2篇严蕾
  • 2篇张超
  • 1篇郭冬阳

年份

  • 1篇2017
  • 4篇2016
  • 1篇2015
  • 3篇2014
  • 6篇2013
共 15 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于距离度量和统计分析结合的软件故障定位系统及方法
本发明公开了一种基于距离度量和统计分析结合的软件故障定位系统及方法，所述系统包括总体输入模块、基于距离度量的故障定位模块、基于统计分析的故障定位模块以及定位结果展示模块，通过所述系统对目标软件进行故障定位：采用基于距离度...
段振华平永侠田聪张南王小兵罗玲
文献传递
一种由序列图生成Java代码框架的方法
本发明为一种由序列图生成Java代码框架的方法，主要将由系统建模得到的UML序列图自动转换得到相应的类图与状态图，其中由类图生成静态代码框架，由状态图生成代码动态信息，并分别制定各自模型到代码的映射规则，将二者有机的结合...
段振华张超田聪张南王小兵罗玲
文献传递
一种基于模型的软件测试方法
一种基于模型的软件测试方法，包括如下步骤：S1.分析被测试软件，确定测试对象和测试特征;S2.选择和构造UML模型；S3.对UML模型进行验证，确保UML模型的正确性；S4.通过深度优先搜索算法遍历UML模型，自动生成测...
段振华苗俊磊张南田聪王小兵罗玲
文献传递
一种从扩展π演算p-π到MSVL的转换方法
一种扩展π演算p-π到MSVL的转换方法，包括采用p-π对时间相关并发系统建立系统模型，其特征在于：包括制定名字和原子命题到MSVL的映射规则，制定p-π进程到MSVL程序的转换规则，通过所述p-π建立的系统模型采用相应...
段振华罗玲田聪张南王小兵
文献传递
一种从扩展π演算p-π到MSVL的转换方法
一种扩展π演算p-π到MSVL的转换方法，包括采用p-π对时间相关并发系统建立系统模型，其特征在于：包括制定名字和原子命题到MSVL的映射规则，制定p-π进程到MSVL程序的转换规则，通过所述p-π建立的系统模型采用相应...
段振华罗玲田聪张南王小兵
文献传递
高效大功率RF LDMOS性能测试的分析与研究
射频功率器件性能直接决定了无线信号发射与传输的质量。本文围绕自主研发的大功率 LDMOS器件,从其结构特点、特性参数等方面进行了阐述,并从其封装、测试和内匹配设计等方面展开了一系列研究工作,实现了对 LDMOS器件射频性...
罗玲
关键词：射频功率器件结构特点特性参数
文献传递
一种基于改进随机森林算法的软件故障预测系统及其方法
本发明公开了一种基于改进随机森林算法的软件故障预测系统及其方法，所述系统包括数据处理层、预测模型构建层和故障预测层，其故障预测过程是：首先计算用来得到训练模型的软件项目属性集合从而得到软件故障预测模型的训练数据集，对训练...
段振华严蕾田聪张南王小兵罗玲
文献传递
基于类图和活动图相结合生成C++代码的方法
本发明公开了一种基于类图和活动图相结合生成C++代码的方法，其生成的过程是：由用例图转换为类图和活动图，以每一个用例为基础，根据用例图中的对该用例描述、前置条件、后置条件、控制流等信息，生成一个类图和一个活动图；建立类图...
段振华郭冬阳田聪张南王小兵罗玲
文献传递
扩展π演算的建模、验证与测试
时间相关移动并发系统是以并发性、移动性、时间相关性和异构性等为主要特征的计算系统。对于这类系统，特别是安全攸关的时间相关移动并发系统，如移动支付系统、移动通信系统、交通控制系统等，其失误和崩溃可能会造成重大损失，因此时间...
罗玲
关键词：进程代数Π演算测试用例
一种基于新特征模型的需求建模及模型转换方法
本发明公开了一种基于新特征模型的需求建模及模型转换方法，新特征模型通过添加“服务层”来扩展能力特征的层次结构以及增加了四个层次结构的质量特征建模；通过引入“可选集”将特征模型的5种情况简化为两种情况；其次，本发明依据新特...
段振华莫绪文田聪张南王小兵罗玲
文献传递
全选 清除 导出
共2页<12>
聚类工具0