本文在已有的软件测试理论的基础上结合航天软件的高可靠性要求设计了针对CASCOM一号小卫星的软件测试系统，提出了包括测试用例设计、测试覆盖要求等等具体的测试要求、策略和方法。 文章首先介绍了软件测试的基本理论和软件测试的常用方法。其中包括软件错误与软件质量的概念、黑盒测试和白盒测试的理论、针对面向对象软件的测试基本理论、软件测试工具等现有理论。 其后本文提出了针对小卫星的软件系统的软件测试框架，并以测试工具LOGISCOPE为例介绍了测试工具的功能及其应用方法，并给出了对于不同软件的测试流程和要求。在传统的黑盒测试方法的基础上，本文根据遗传算法的原理，提出了遗传算法在黑盒测试中的应用思路，包括利用遗传算法优化测试用例的思路和利用遗传算法结合硬件故障定位理论快速实现软件的故障定位理论思路。 最后根据小卫星的软件高可靠性要求本文设计了一个硬件测试平台，利用故障注入的原理用以检测软件的容错、纠错性能。该设计己经向有关部门申请发明专利。