马晓龙
- 作品数：4 被引量：2H指数：1
- 供职机构：中国人民解放军91404部队更多>>
- 相关领域：自动化与计算机技术兵器科学与技术更多>>
- 一种基于编码的OBDD模型检测的算法实现
- 2011年
- 文章根据OBDD模型检测的基本思想并结合一个微波炉模型实例来介绍一种基于状态编码的OBDD模型检测算法实现。该算法实现通过介绍自行开发的OBDD模型检测器,具体描述了OBDD的生成、化简以及使用OBDD进行模型检测的具体实现算法以及OBDD模型检测的全过程,该算法实现简洁易读,可以直接应用于相关程序的开发。
- 马晓龙顾滨兵刘鑫淼
- 关键词：OBDD
- 软件测试中的测试用例及复用研究
- 软件测试过程中产生的大量测试用例对保证软件的质量起到关键作用,对于专门从事软件测试的机构来说,测试用例的复用尤其重要。在测试用例的设计、选择的基础上,构造出基于复用的测试用例,同时采用测试用例库管理的方法来实现测试用例的...
- 张峰马晓龙
- 关键词：测试用例复用测试用例复用
- 文献传递
- 反舰导弹武器系统软件鉴定测评策略研究被引量：2
- 2023年
- 为改进加强反舰导弹武器系统软件鉴定测评工作,从备战打仗和作战使用的角度着眼,明确反舰导弹武器系统软件的主要组成,围绕新体制下软件鉴定测评的目的和要求,梳理性能验证试验、性能鉴定试验、作战试验、在役考核等不同阶段的软件测试内涵要义,分析反舰导弹武器系统软件鉴定测评的重点内容,包括面向作战任务的系统测试和实战化的半实物仿真测试,并从文档、人员、环境等方面阐述当前存在的主要问题,按照“总体筹划、分级考核、突出重点、贴近实战”的基本原则研究提出鉴定测评总体策略,为反舰导弹武器系统软件实战化考核提供参考和指引。
- 贺英杰李海浩马晓龙
- 关键词：反舰导弹武器系统实战化
