筑起航天软件新的长城 |
| |
作者姓名: | 张江南 |
| |
作者单位: | 航天机电集团公司二院 |
| |
摘 要: | 软件测试航天软件的质量保证 宇宙辽阔无垠,其结构复杂奇美,这也给航天工程技上了一层神秘的面纱。揭开这层面纱我们看到,这是一个多么庞大、复杂、技术难度高的系统。在这个系统中,是嵌入其中的计算机及其软件承担着系统指挥、过程控制、数据采集和处理、数据通信以及系统安全保障等任务,其中软件是整个系统的神经中枢,它指挥着千军万马(即由成千上万电子元器件和机械零部件构成的其他部件)协同作战。 然而,存在于复杂的指挥、控制程序中的软件错误,在一定的运行环境下就会暴露出来并造成系统失效。例如, 1963年美国研制的…
|
本文献已被 CNKI 等数据库收录! |
|