刘安桥

（贵州航天电子科技有限公司，贵州贵阳，550009）

1 航天软件测试用例设计方法介绍

1.1 等价划分法

等价划分法是航天软件测试用例设计中的基本方法，主要是依据软件的需求说明，从而对某个功能的输入、输出做出描述，在这个过程中，要将输入领域划分为若干个等价类，最终达到等价类覆盖的要求，由此可以看出，应用等价划分法进行航天软件测试用例设计时，最为关键的步骤就是对划分等价类[1]。

1.2 边界分析法

边界分析法也是航天软件测试用例设计中比较常见的一种方法，主要指通过在有效等价和无效等价中选择测试输入，从而通过一组数据就可以代表一个类别的输入情况，此种航天软件测试用例设计方法操作是较为简单的。但值得注意的是，应用边界分析法时数据的采用至为重要，在一些相对特殊的判别条件下，采用的输入数据则不可过为随意，若是随便采用一个测试软件数据代替类比之中的所有情况，这样就会使测试结果变得缺乏实际意义。而结合以往的大量实践经验证明，在应用边界分析法进行航天软件测试用例设计时，航天软件的边界处理至为重要，而可以使用正好大于、等于、小于边界值的数据进行测试，对于航天软件错误纠正发现几率最大[2]。在这一笔者举这样的一个例子，如有这样的一个飞行控制软件，当航天飞行器处于压力5Mpa的环境下运行，就会自动发出一个程序警示，在对这一飞行控制软件进行边界分析测试时，则可以从压力大于5Mpa、压力等于5Mpa、压力小于5Mpa三种情况出发。……