[**********]分布式空间飞行器自主故障诊断平台测试成交公告

发布日期：********** 浏览次数：

*.项目名称：分布式空间飞行器自主故障诊断平台测试

*.成交供应商名称：中国科学院软件研究所

*.成交供应商地址：北京市海淀区中关村南四街四号

*.成交金额(折合人民币)：*****元

*.付款方式：服务完成且验收合格后**个工作日之内付合同金额***%。

*.主要成交标的：

序号	服务名称	服务内容	服务期限
*	分布式空间飞行器自主故障诊断平台测试	、对软件代码的机械性的和程序化的特性进行分析，包括数据流分析、控制流分析、接口分析、表达式分析等。、根据软件需求规格说明中的功能描述验证软件功能实现的正确性。、对软件处在边界或端点情况下运行状态的测试，需测试边界外、边界上、边界内各情况，描述出测试的具体边界值。、对所有人机交互界面提供的操作和显示界面进行的测试，以检验是否满足用户的要求。、性能测试是对软件的性能需求逐项进行的测试，以验证其性能是否满足要求。、接口测试是对软件的接口需求逐项进行的测试，以验证其接口是否满足要求。 *、检验软件中已存在的安全性、安全保密措施是否有效的测试。测试应尽可能在符合实际使用的条件下进行。进行对异常条件下软件的处理和保护能力的测试（以表明不会因为可能的单个或多个输入错误而导致的不安全状态）。	合同签订后**个工作日内

华中科技大学航空航天学院

****年**月**日