软件学院申请“嵌入式高安全性高可靠性动态白盒测试工具”采购项目采用单一来源方式采购，该项目预算50万元，本采购项目的生产商拟由英国LDRA公司提供（或承担）(生产商公司地址：LDRA Ltd, Portside, Monks Ferry, Wirral CH41 5LH UK、联系人：Jonathan Kelly、电话：+44-(0)151-649-9300），本采购项目的代理商拟由上海创景数码科技有限公司提供或承担(供应商公司地址：上海市青浦区胜利路588号6-693室、联系人：阳凯、电话：137******6868）。

单一来源采购理由如下：

1、开展民用航空机载软件测试是软件测评中心开展测评工作的主要业务范围之一。针对民用航空机载软件的测评，需要依从机载软件适航标准DO-178B/C对机载软件进行动态数据流耦合分析。LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具具有动态数据流分析功能，能分析在程序动态运行时哪些数据被访问，并给出每个变量的覆盖率信息，符合DO-178C的标准要求，满足测评中心针对民用机载软件测试的技术要求。目前，在按照DO-178C标准进行数据流耦合分析方面，国内只有上海创景数码科技有限公司提供的LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具符合要求，且上海创景数码科技有限公司为该软件国内唯一的供应商。

鉴于上述情况，符合《中华人民共和国政府采购法》第31条之第一款规定，必须采用单一来源方式组织采购。

2、根据国家军用软件测试指南的标准要求，测评中心在做军用软件回归测试时需要分析软件变更部分对其他部分的影响域，需要深入分析软件中各变量的依赖关系。而LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具提供的信息流分析功能支持大型软件中各变量的依赖关系分析，符合国家军用软件测试指南的要求，能够满足测评中心针对军用软件回归测试的技术要求。目前，在能够分析大型软件中的信息流和各变量依赖关系方面，国内只有上海创景数码科技有限公司提供的LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具符合要求，且上海创景数码科技有限公司为该软件国内唯一的供应商。

鉴于上述情况，符合《中华人民共和国政府采购法》第31条之第一款规定，必须采用单一来源方式组织采购。

3、为保证机载软件高安全高可靠性软件的测试充分性，测评中心在做软件测评时不仅需要验证软件的预期功能是否正确实现，还需要确定软件没有做额外异常的操作。LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具提供负向测试功能，能对非预期的函数行为进行监控。不仅验证程序完成了应该完成的功能，同时还能验证程序没有做不该做的事情、是否改变了其他无关变量的值。目前在负向测试功能方面，国内只有上海创景数码科技有限公司提供的LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具能符合要求，且上海创景数码科技有限公司为该软件国内唯一的供应商。

鉴于上述情况，符合《中华人民共和国政府采购法》第31条之第一款规定，必须采用单一来源方式组织采购。

该项目经江西师范大学王明文教授、江西财经大学万常选教授和东华理工大学何月顺教授论证，必须采用单一来源方式采购，该项目预算金额合理。

现将有关情况向潜在政府采购供应商征求意见。

征求意见期限从 2020年8月17日起至2020年8月21日止。

供应商、单位或个人对公示内容有异议的，请于公示期内以实名书面（包括联系人、地址、联系电话）形式将意见反馈至南昌航空大学（地址：南昌市丰和南大道696号，联系人：刘老师，联系电话：0791-83953125）。

                                                     2020 年8月 14日