马贤颖 作品数:12 被引量:56 H指数:5 供职机构: 北京跟踪与通信技术研究所 更多>> 发文基金: 国家高技术研究发展计划 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 经济管理 航空宇航科学技术 更多>>
一种多方法融合的软件成本估算改进方法 被引量: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功能点法进行了详细说明,并对这三种方法的计算过程、适用领域、用户范围等进行比较。通过具体的实例对功能点方法进行了分析比较,最后针对功能点方法的局限性提出了解决途径。 马贤颖 张敏 董石磊关键词:功能点 IFPUG COSMIC 软件故障树分析系统的设计和实现 被引量:5 2009年 针对当前软件故障树分析系统存在的可视化水平不高、应用领域不广等问题,对软件故障树分析方法进行了深入研究,实现了图形化的软件故障树分析系统,为用户提供了一种快速、高效的故障树绘制工具,对提高软件的安全性具有重要意义。 张光迎 马贤颖关键词:故障树分析 最小割集