周敏刚
- 作品数：15 被引量：42H指数：3
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金国防基础科研计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
- 嵌入式操作系统健壮性测试技术被引量：1
- 2012年
- 针对机载嵌入式操作系统健壮性测试存在的问题,通过对健壮性测试技术及典型机载嵌入式操作系统构架的研究分析,提出了一种操作系统健壮性测试的模型。实际运用表明,模型高效、可操作性强,在某操作系统软件测评过程中发挥了积极作用。
- 张玮牟明周敏刚
- 关键词：软件测试操作系统嵌入式软件
- 软件数据耦合影响分析方法
- 2008年
- 以软件中数据为核心,通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例,提出一种实时软件数据耦合影响分析方法。该方法通过静态分析实时软件中全部共享数据的并发使用情况,可有效发现实时软件中因数据耦合和并发执行引起的共享数据冲突,消除软件的质量隐患。
- 周敏刚张学宏王泉
- 关键词：并发进程数据冲突
- 航空嵌入式软件性能测试方法研究
- 根据航空嵌入式软件特点,在基于规范化的嵌入式软件测试流程基础上,介绍了一种嵌入式软件的性能测试流程和方法,并重点阐述了航空嵌入式软件性能测试的关键技术,包含甄别有效的性能指标、采取针对性强的测试方法、配置合理的性能测试环...
- 王泉付浩周敏刚
- 关键词：性能指标
- 分布式嵌入式软件测试平台的研究与实现
- 通过对航空嵌入式软件测试平台的研究与存在困难的分析，本文设计了一种分布式嵌入式软件测试平台，对这种测试平台的关键技术进行了分析，最终结合Python 语言实现了这种环境。实际型号运用表明，该测试平台开发测试高效、可靠，可...
- 丁锐周敏刚
- 关键词：软件测试测试环境PYTHON
- 基于Polyspace的静态分析及测试方法研究被引量：1
- 2020年
- 根据某嵌入式平台软件特点,提出一种基于Polyspace的软件静态分析和测试方法。结合使用工具和人工分析按功能模块进行静态分析,合理更改完善软件再次静态分析确保未引入新问题,对更改后的软件重新编译和进行增量模块测试,确保更改结果编译正确,测试结果与更改前测试基线一致。同时借助SVN配置管理工具严格控制工作产品版本,有效进行同行评审,最终有效提高软件质量。
- 王泉丁锐周敏刚胡佳琳
- 关键词：软件测试SVN
- 基于仿真环境的无线电高度表软件测试方法
- 2017年
- 搭建高逼真度的仿真环境,对无线电高度表软件的功能和性能指标进行考核验证,设计无线电高度表功能的测试用例,通过软件测试发现功能缺陷和软件隐患。可提高软件配置项和系统测试的效率,有利于配置模拟不同故障模态、提高测试的充分性和有效性。
- 张蕾周敏刚
- 关键词：无线电高度表仿真环境
- 基于Socket的网络中间件开发技术被引量：15
- 2000年
- 对基于Socket的网络中间件的开发机理及编程方法作一简要的概述。对使用队列方法解决Socket在同一过程中发送与接收多个消息的方法进行了论述。
- 周敏刚张学宏张玲英杨行健
- 关键词：C/SCOM/DCOMNOS网络软件
- 航空嵌入式软件测试环境确认方法研究被引量：5
- 2011年
- 通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。
- 牟明刘群周敏刚
- 关键词：软件测试测试环境
- 满足适航要求的嵌入式操作系统测试方法被引量：2
- 2016年
- 以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型,提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题,同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求,又保证了嵌入式操作系统软件测试活动与适航要求的符合性。
- 周敏刚
- 关键词：嵌入式软件测试适航API
- 关系数据库二三范式判别算法被引量：3
- 2006年
- 第二范式(2NF)和第三范式(3NF)在关系数据库规范化中起着重要作用。然而,所有的文献都没有给出第二、三范式的判别算法,当关系模式属性较多或数据依赖较复杂时,很难通过手算做出正确的判断。本文首先给出判别给定属性集是否键码的算法以及求给定关系模式的所有键码和所有非主属性的算法,然后在简单刻划函数依赖特征的基础上提出2NF和3NF的判别算法。这些算法与现有文献上的各种算法一起便于在计算机上编程实现,从而使关系规范化理论变成应用软件。
- 周炜周敏刚
- 关键词：数据库第三范式
