基于信息流分析和等价类划分法的导航卫星星载软件测试设计方法

摘要

随着导航卫星星载软件复杂度的增加,提高软件测试效率对保证软件质量日趋重要.设计合理的测试用例成为提高软件测试效率的关键手段.信息流分析和等价类划分法分别是软件动态测试中白盒测试和黑盒测试方法.信息流分析是测试人员利用程序内部的逻辑功能结构进行测试用例设计的一种方法.等价类划分法是将具有相同输出结果的不同输入值进行同类项合并的一种测试用例设计方法,该方法能够用最少的测试用例遍历更多的软件逻辑错误和缺陷.本文基于软件测试技术和测试策略,结合导航卫星星载软件特点,将通用软件测试技术和测试策略应用于导航卫星星载软件测试.并以综合电子软件测试为例,提出一种信息流测试和等价类划分法结合的星载软件测试用例设计方法.该方法融合了黑盒和白盒测试的优点,既考虑软件产品的测试,又对完整的需求规格满足情况进行了验证.通过实践证明此方法应用在卫星型号测试中不仅能满足测试覆盖性的要求,而且可以提高故障定位及测试效率.