【摘 要】
：
DO-178C标准是在民航领域对机载软件进行适航认证的权威标准。本文首先对DO-178C标准针对软件测试提出的目标要求进行了阐述,之后考虑在军用信息系统软件测试中参考实施DO-178C标准中强调的几方面内容,初步应用到测试计划、开发、执行、覆盖分析这几个阶段,期望通过加强软件测试来提升软件的可靠性。
【机 构】
：
中国电子科技集团公司第28研究所 江苏 210007
论文部分内容阅读
DO-178C标准是在民航领域对机载软件进行适航认证的权威标准。本文首先对DO-178C标准针对软件测试提出的目标要求进行了阐述,之后考虑在军用信息系统软件测试中参考实施DO-178C标准中强调的几方面内容,初步应用到测试计划、开发、执行、覆盖分析这几个阶段,期望通过加强软件测试来提升软件的可靠性。
其他文献
作为进化模拟新算法之一,蚁群算法旨在找寻最短路径。但蚁群算法存在一定的缺陷,如停滞、收敛慢等。所以,以遗传运算为基础,提出了一种改进后的蚁群算法,通过路径交叉与变异运算,更新了信息素,很好地优化全局、避免停滞等。基于此,本文从遗传算法出发,主要探讨了蚁群算法的智能改进与优化,仅供参考。
传统的分类算法难以满足不平衡数据的分类要求,研究一种有效、准确率高的不平衡数据分类算法具有重要意义。目前的研究主要以欠采样和过采样以及对应的一些改进方法提供实验数据。然而大多数实验方法不是使用范围有限就是侧重点不同,使少数类分类性能不佳,同时也难以区分强弱分类器。本研究从数据分布入手,提出一种改进随机森林分类算法。即先采用ADASYN算法进行过采样,再采用ENN算法进行欠采样。为了能更好区分强分类
由于运用NURBS曲线插补中求导具有误差较大、计算繁多、较为复杂等问题,因此提出采用神经网络对自由曲线进行插补,以弓高误差作为约束条件,建立起一个进给步长可变的神经网络数控插补的模型。本文主要研究了利用神经网络的非线性逼近及其自主学习的能力,通过对未知方程式曲线的辨识,实现对未知表达式曲线的插补。经过理论研究以及仿真试验表明,这样的方法能够较好的完成这一类曲线的插补。
目的：探讨人骨髓间充质干细胞(Bone marrow mesenchymal stemcells，BMSCs)体外分离及纯化的方法；人精原干细胞(Spermatogonialstem cells，SSCs)在人骨髓间充质干细胞饲养层上的生
近年来,随着大数据技术的发展和计算机信息技术的广泛应用,网络信息安全问题备受关注。基于此,本文围绕计算机信息安全中的大数据技术及其应用范围展开讨论,并深入探讨大数据时代下计算机网络信息安全问题及其解决对策,试图为今后解决计算机信息安全问题提供一些借鉴性的建议。