林 琳

（北京控制工程研究所，北京100190）

0 引 言

由于卫星等航天工程不仅涉及大量的投入，而且担负着重要的使命，因此运行其上的星载嵌入式软件必须具备非常高的可靠性和安全性。在这种情况下，星载嵌入式软件的质量直接决定了整个卫星型号产品的质量，它已成为航天系统质量的重要构成因素［1］。

嵌入式系统的发展趋势是：硬件逐渐向通用性平台过度，依靠软件来完成系统的各种任务。软件已成为系统成败的关键性因素［2］。为了保证系统的稳定性，避免由于其可能出现的失效而导致灾难性的后果，要求对嵌入式系统，包括嵌入式软件进行严格的测试、确认和验证［3］。实时嵌入式软件在时间和空间上的约束比较严格，被测软件一般具有实时性、并发性等特点［4］，测试此类软件是计算机软件测试中比较困难的问题。

软件测试是软件开发流程中的重要环节。而测试用例是软件测试的核心，其组织性、功能覆盖性、重复性的特点能够保证测试功能不被遗漏。由于测试用例往往涉及多重选择、循环嵌套，不同的路径数目可能非常大，所以必须精心设计使之能达到最佳的测试效果。设计测试用例需要测试人员花费大量精力去熟悉需求，并在需求变化时更新用例，占了测试周期很大一部分时间。本文希望能够总结以往的经验，提出一个行之有效的测试用例设计流程以及一些基于黑盒测试的用例设计方法，以提高测试效率，从而降低软件缺陷遗漏率。……