论文部分内容阅读
随着计算机系统广泛地应用于航空电子设备和系统，其控制核心——软件的可靠性在整个系统飞行安全中的重要性起来越显著。该文简要介绍了在保证软件可靠性和质量的前提下所进行的软件测试技术，包括静态测试，覆盖率分析，动态测试技术等。
浅论机载软件测试技术
【摘 要】
：
随着计算机系统广泛地应用于航空电子设备和系统，其控制核心——软件的可靠性在整个系统飞行安全中的重要性起来越显著。该文简要介绍了在保证软件可靠性和质量的前提下所进行
【机 构】
：
4所
【出 处】
：
中国航空学会第九届航空动力自动控制专业学术会议
【发表日期】
：
1998年10期
其他文献
该文主要就开展计算机模拟训练问题提出了自己的看法和想法，诸如：计算机模拟的军事应用价值；可行性和如何开展训练模拟等。
本文首先从整体上介绍了TETRA数字集群系统的信道编码过程，然后分别对话音传输和数据传输的编码方法作出了介绍，尤其详细介绍了数据传输过程中所采用的各种编码方法，最后给出了T
本文针对造纸过程控制中所使用的定量传感器精度较低和可靠性较差的问题，提出了利用多传感器间的冗余关系，实现对传感器的故障诊断和造纸过程定量环节的容错控制，仿真和实验均证
本文着重介绍化学计算软件对化合物性质及反应进行计算、模拟和预测的功能,并探讨在校理科大学生在计算机上模拟进行基础化学实验的可行性,从而加深大学生在分子水平上对基础
该文详细介绍了TETRA数字集群系统中支持的逻辑信道与物理信道，描述了系统信道复用的基本过程，并通过具体的模拟实例进行分析。
该文介绍了飞机蒙皮拉形过程数值模拟的前后置处理系统ＰＯＰＰＳ。该系统利用了现有ＣＡＤ软件造型功能，通过建立了与ＣＡＤ曲面造型系统的接口的方式生成有限元网络，采用目前在微机和工作站上广为应