周敏刚

作品数：12被引量：32H指数：3
导出分析报告
供职机构：西安航空计算技术研究所更多>>
发文主题：软件测试测试环境航空嵌入式操作测试技术更多>>
发文领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
发文期刊：《航空计算技术》《电子测试》《科技风》更多>>
所获基金：中国航空科学基金国防基础科研计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于蒙特卡洛模拟方法的软件质量预测研究被引量：2
《航空计算技术》2022年第2期35-39,共5页陈鑫 周敏刚 王闯 郭强 
装备技术基础科研项目资助(202ZX31006)。
对装备软件的质量评价方法大多在软件研制后期开展,发现软件质量缺陷可能为时已晚。针对软件质量难以及早预测的问题,采用了蒙特卡洛模拟方法,讨论了获取度量元统计分布及参数的2个前提和3个步骤、生成大量符合统计分布随机数的方法、...
关键词：软件质量预测 蒙特卡洛模拟 统计分布 概率和置信度 
防空训练评估显示子系统软件架构设计与实现被引量：1
《航空计算技术》2021年第2期83-87,共5页周敏刚 封演利 刘如松 
国防基础科研项目资助(JCKY2016607B006)。
阐述一种基于C/S架构设计的防空训练评估显示子系统软件体系,它前端运用模拟显示、过程回放、多媒体证据等形式,逼真地再现地面武器的攻击过程,后端采用SQL Server和SQLite数据库相结合的方式,既提高了演习数据的处理效率,又避免了多用...
关键词：防空训练 评估显示 事后评估 实时监控 
基于Polyspace的静态分析及测试方法研究被引量：1
《航空计算技术》2020年第4期84-88,共5页王泉 丁锐 周敏刚 胡佳琳 
国防基础科研项目资助(A0520132029)。
根据某嵌入式平台软件特点,提出一种基于Polyspace的软件静态分析和测试方法。结合使用工具和人工分析按功能模块进行静态分析,合理更改完善软件再次静态分析确保未引入新问题,对更改后的软件重新编译和进行增量模块测试,确保更改结果...
关键词：软件测试 静态分析 Polyspace SVN 
一种航空机载软件测试项目的进度改进模型被引量：2
《电子测试》2017年第6X期108-110,共3页周敏刚 封演利 张蕾 秦浩 
针对航空机载软件测试进度不能满足软件研制要求的问题,研究航空机载软件测试进度的影响因素,提出缩短航空机载软件测试周期的改进模型,提高了测试效率,解决了航空机载软件测试周期短与测试工作量大之间的矛盾。
关键词：机载软件 软件测试 进度管理 改进 
基于仿真环境的无线电高度表软件测试方法
《科技风》2017年第3期65-66,共2页张蕾 周敏刚 
搭建高逼真度的仿真环境,对无线电高度表软件的功能和性能指标进行考核验证,设计无线电高度表功能的测试用例,通过软件测试发现功能缺陷和软件隐患。可提高软件配置项和系统测试的效率,有利于配置模拟不同故障模态、提高测试的充分性和...
关键词：无线电高度表 配置项测试 仿真环境 
满足适航要求的嵌入式操作系统测试方法被引量：2
《航空计算技术》2016年第4期114-117,122,共5页周敏刚 
航空科学基金项目资助(2012ZC31006)
以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型,提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题,同时对操作系统在目标机环境进行测...
关键词：嵌入式 操作系统 软件测试 适航 API 
嵌入式操作系统健壮性测试技术被引量：1
《航空计算技术》2012年第5期124-126,130,共4页张玮 牟明 周敏刚 
针对机载嵌入式操作系统健壮性测试存在的问题,通过对健壮性测试技术及典型机载嵌入式操作系统构架的研究分析,提出了一种操作系统健壮性测试的模型。实际运用表明,模型高效、可操作性强,在某操作系统软件测评过程中发挥了积极作用。
关键词：软件测试 操作系统 嵌入式软件 
航空嵌入式软件测试环境确认方法研究被引量：4
《航空计算技术》2011年第2期77-79,共3页牟明 刘群 周敏刚 
航空科学基金项目资助(2010ZC31001)
通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。
关键词：软件测试 测试环境 环境确认 
软件数据耦合影响分析方法
《航空计算技术》2008年第3期80-82,86,共4页周敏刚 张学宏 王泉 
以软件中数据为核心,通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例,提出一种实时软件数据耦合影响分析方法。该方法通过静态分析实时软件中全部共享数据的并发使用情况,可有效发现实时软件中因数据耦合...
关键词：数据耦合 并发进程 静态分析 数据冲突 实时软件 
无人机飞控软件测试方法研究被引量：10
《航空计算技术》2008年第2期78-81,共4页王泉 张学宏 周敏刚 黄晖 
飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段。根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉...
关键词：无人机 飞控软件 软件测试 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部