论文部分内容阅读
在太空环境中，软件系统经常受到各种辐射现象的影响．在此类环境下，寻找软件脆弱点主要是考虑环境扰动对该软件的影响．文中提出了一种由环境扰动引入的软件脆弱点的分析方法．首先在对软件系统模块化的基础上，通过在两个层面上分析错误在软件中的生成及其传播过程，给出寻找软件脆弱点的理论框架，随后进一步给出该框架中一些参数的实验估计方法，最后给出该框架在某卫星光纤陀螺捷联航姿控制系统上的应用．应用结果令人满意．