您的位置: 专家智库 > >

马贤颖

作品数:12 被引量:56H指数:5
供职机构:北京跟踪与通信技术研究所更多>>
发文基金:国家高技术研究发展计划国家自然科学基金更多>>
相关领域:自动化与计算机技术电子电信经济管理航空宇航科学技术更多>>

文献类型

  • 12篇中文期刊文章

领域

  • 10篇自动化与计算...
  • 4篇电子电信
  • 1篇经济管理
  • 1篇航空宇航科学...

主题

  • 4篇软件测试
  • 3篇体系结构
  • 3篇高层体系结构
  • 3篇测试用例
  • 2篇遥测
  • 2篇运行支撑环境
  • 2篇支撑环境
  • 2篇基于HLA
  • 2篇航天
  • 2篇仿真
  • 2篇COSMIC
  • 1篇电路
  • 1篇多方法融合
  • 1篇虚拟战场
  • 1篇虚拟战场环境
  • 1篇亚稳态
  • 1篇遥测数据
  • 1篇遥控
  • 1篇遥控软件
  • 1篇异步

机构

  • 9篇北京跟踪与通...
  • 4篇装备指挥技术...
  • 1篇国家知识产权...

作者

  • 12篇马贤颖
  • 3篇刘文红
  • 3篇李学军
  • 2篇张敏
  • 2篇司倩然
  • 1篇陈晓娟
  • 1篇董石磊
  • 1篇吴欣
  • 1篇张卫祥
  • 1篇张光迎
  • 1篇王占武
  • 1篇窦朝晖
  • 1篇陈青
  • 1篇杨岩岩
  • 1篇魏波
  • 1篇夏烨
  • 1篇杨少敏
  • 1篇张磊

传媒

  • 5篇现代电子技术
  • 3篇飞行器测控学...
  • 2篇系统仿真学报
  • 1篇现代计算机
  • 1篇测控技术

年份

  • 1篇2020
  • 1篇2015
  • 2篇2014
  • 1篇2013
  • 1篇2011
  • 1篇2009
  • 2篇2008
  • 2篇2006
  • 1篇2005
12 条 记 录,以下是 1-10
排序方式:
一种多方法融合的软件成本估算改进方法被引量:2
2013年
对传统的WideBand Delphi估计法、功能点法和类比法进行了分析、比较,提出了一种改进的成本估算方法。该方法以WideBand Delphi估计法为原型,在专家估计过程中,将功能点法和类比法融入其中,有效规避了WideBand Delphi估计法过于依赖专家经验的不足,并通过类比扩展了功能点法所局限的应用领域,既保证了估计方法的科学性,又保证了估计结果的准确性。实际估算数据的比较表明,改进后的估算方法具有更高的精确度。
马贤颖吴欣
关键词:COSMIC
遥测数据仿真系统的设计和实现被引量:1
2008年
针对遥测数据种类的多样性和处理方法的复杂性给软件测试带来的问题,对遥测系统基本工作原理、遥测格式、遥测处理方法进行了深入研究,设计和实现了一个适合不同遥测系统评测的遥测数据仿真模型。该模型的设计和实现使测试软件具备良好的可扩展性和可重用性,缩短了软件测试周期。
马贤颖刘文红张磊
关键词:遥测仿真软件测试
大区域虚拟战场环境中仿真平台的设计被引量:5
2006年
针对大区域虚拟战场环境中作战仿真的特点,为联邦开发者提供了建立在RTI之上的仿真平台,该平台将RTI的部分接口函数和通用仿真实体模型封装到一起,实现了联邦成员之间自动数据通信和实体模型与通用实体数据结构之间的通信接口功能,大大减少了联邦开发所需要编写和维护的代码量,降低了开发新的联邦成员的复杂度,并成功的应用于防空作战仿真系统中。
马贤颖李学军陈晓娟
关键词:高层体系结构运行支撑环境虚拟战场环境仿真平台
基于HLA的防空作战仿真系统研究被引量:1
2005年
针对防空作战仿真系统的特点,建立了可视化的公共仿真开发平台,并在此基础上设计开发了一种可扩展的防空作战仿真系统。分析了防空作战仿真系统的功能、联邦组成和相关的关键技术,并对该环境下开发联邦成员进行了详细的说明。本项研究对于其他领域内联邦成员的开发也具有重要的借鉴意义。
马贤颖李学军
关键词:高层体系结构运行支撑环境
基于过程与场景分析的航天应用软件测试方法被引量:7
2020年
航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。
张卫祥张敏窦朝晖马贤颖魏波
关键词:测试用例生成软件测试
FPGA设计中的亚稳态问题及其预防方法研究被引量:10
2014年
由于在复杂FPGA(Field Programmable Gate Array,现场可编程门阵列)设计中存在跨时钟域,通常会产生亚稳态现象。为有效地预防和解决该问题,分析FPGA设计中亚稳态的产生机理及其对数字信号处理系统的影响。根据不同的信号同步类型,针对单比特电平信号、脉冲信号和边沿信号,分别给出基于触发器级联的跨时钟域信号同步方法;针对并行信号,提出基于异步FIFO(First In First Out,先进先出队列)和握手协议的跨时钟域同步方法;并通过仿真手段分析信号同步方法的有效性及其适用范围。结果表明:这些方法能够正确有效地完成跨时钟域信号同步,预防可能出现的亚稳态问题,从而提高复杂FPGA设计的可靠性和稳定性。
杨岩岩司倩然马贤颖杨少敏
关键词:亚稳态同步器异步电路
航天测控系统遥控软件自动化测试仿真平台研究被引量:6
2014年
针对传统遥控软件测试模式出现的测试周期长、适应能力差、效率低等问题,设计并实现了一种通用的遥控软件自动化测试仿真平台。通过对遥控软件的测试内容、测试方法进行分析,论证了建立自动化测试仿真平台的可行性,并对仿真平台的数据建模方法和场景建模方法进行了研究。最后,通过仿真场景实例对数据模型进行了设计,并对测试用例条件组合结果进行了分析和选优。实际应用表明,该平台设计先进,通用性好,测试效率高,能够满足测控系统中遥控软件的测试需求,提升了软件的自动化测试水平,具有一定的工程应用价值。
马贤颖刘文红夏烨
关键词:航天测控遥控自动化测试数据建模
基于CMM的软件测试过程管理被引量:9
2008年
针对软件测试项目特点,详细分析了软件测试过程的4个阶段,说明了各阶段应完成的主要任务和实施步骤,并结合CMM方法,提出了基于CMM的软件测试过程管理方法。阐述了该方法中软件测试需求管理、项目策划、项目监督与控制、质量保证和配置管理的内容和要求,实现了软件测试过程的规范管理,提高了测试过程的管理水平,保证了软件测试的质量与效率。
刘文红王占武马贤颖
关键词:CMM软件测试项目管理配置管理
功能点估算方法研究及应用被引量:5
2011年
功能点方法适用于软件项目早期的规模估算,核心思想是把软件系统按照组件进行分解,从而确定系统的功能点数量。对当前应用比较广泛的3种功能点方法即IFPUG功能点法、MarkⅡ功能点法和COSMIC功能点法进行了详细说明,并对这三种方法的计算过程、适用领域、用户范围等进行比较。通过具体的实例对功能点方法进行了分析比较,最后针对功能点方法的局限性提出了解决途径。
马贤颖张敏董石磊
关键词:功能点IFPUGCOSMIC
软件故障树分析系统的设计和实现被引量:5
2009年
针对当前软件故障树分析系统存在的可视化水平不高、应用领域不广等问题,对软件故障树分析方法进行了深入研究,实现了图形化的软件故障树分析系统,为用户提供了一种快速、高效的故障树绘制工具,对提高软件的安全性具有重要意义。
张光迎马贤颖
关键词:故障树分析最小割集
共2页<12>
聚类工具0