Ada语言软件测试方法探讨

作者：张驰

来源：科技传播, 2015, (10): 137+132.

DOI：10.16607/j.cnki.1674-6708.2015.10.080

• 软件质量
• 测试方法
• 测试环境

软件测试是保证软件质量的重要手段。本文结合某卫星型号嵌入式星载软件的工程实施介绍Ada语言软件测试的工具和方法。

• 出版日期2015
• 单位上海航天控制技术研究所; 同济大学