首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   9篇
  免费   0篇
航空   9篇
  2022年   1篇
  2020年   1篇
  2016年   1篇
  2012年   1篇
  2011年   1篇
  2008年   2篇
  2006年   1篇
  2000年   1篇
排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
2.
周敏刚 《航空计算技术》2016,(4):114-117,122
以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型,提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题,同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求,又保证了嵌入式操作系统软件测试活动与适航要求的符合性。  相似文献   
3.
张玮  牟明  周敏刚 《航空计算技术》2012,42(5):124-126,130
针对机载嵌入式操作系统健壮性测试存在的问题,通过对健壮性测试技术及典型机载嵌入式操作系统构架的研究分析,提出了一种操作系统健壮性测试的模型。实际运用表明,模型高效、可操作性强,在某操作系统软件测评过程中发挥了积极作用。  相似文献   
4.
基于Socket的网络中间件开发技术   总被引:8,自引:0,他引:8  
对基于Scoket的网络中间件的开发机理及编程方法作一简要的概述.对使用队列方法解决Socket在同一过程中发送与接收多个消息的方法进行了论述.  相似文献   
5.
第二范式(2NF)和第三范式(3NF)在关系数据库规范化中起着重要作用.然而,所有的文献都没有给出第二、三范式的判别算法,当关系模式属性较多或数据依赖较复杂时,很难通过手算做出正确的判断.本文首先给出判别给定属性集是否键码的算法以及求给定关系模式的所有键码和所有非主属性的算法,然后在简单刻划函数依赖特征的基础上提出2NF和3NF的判别算法.这些算法与现有文献上的各种算法一起便于在计算机上编程实现,从而使关系规范化理论变成应用软件.  相似文献   
6.
航空嵌入式软件测试环境确认方法研究   总被引:1,自引:1,他引:0  
通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。  相似文献   
7.
飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段.根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉及的单元和配置项测试方法.测试结果表明,提出的测试模型,测试工作能有效地发现无人机飞控软件在不同开发阶段引入的不同类型的软件缺陷,有效地保障了无人机飞控软件的安全性、可靠性和质量.  相似文献   
8.
以软件中数据为核心,通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例,提出一种实时软件数据耦合影响分析方法.该方法通过静态分析实时软件中全部共享数据的并发使用情况,可有效发现实时软件中因数据耦合和并发执行引起的共享数据冲突,消除软件的质量隐患.  相似文献   
9.
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号