您的地位: 一分快3 >公示>具体内容

公示

对于软件学院“嵌入式高宁静性高靠得住性静态白盒测试东西”推销名目接纳单一来源体例推销收罗定见公示

来源:一分快3 发布时候: 2021-08-20 17:03:34 阅读次数: 【字体:

软件学院请求“嵌入式高宁静性高靠得住性静态白盒测试东西”推销名目接纳单一来源体例推销,该名目估算50万元,本推销名目的出产商拟由英国LDRA公司供给(或承当)(出产商公司地点: LDRA Ltd, Portside, Monks Ferry, Wirral CH41 5LH UK、接洽人: Jonathan Kelly、德律风: +44-(0)151-649-9300),本推销名目的代办署理商拟由上海创景数码科技有限公司供给或承当(供给商公司地点: 上海市青浦区成功路588号6-693室、接洽人: 阳凯、德律风: 13717126868)。

单一来源推销来由以下:

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日止。

供给商、单位或小我对公示内容有贰言的,请于公示期内以实名书面(包含接洽人、地点、接洽德律风)情势将定见反应至一分快3 (地点: 南昌市丰和南小道696号,接洽人: 刘教员,接洽德律风: 0791-83953125)。

                                                     2020 年8月 14日

 

终审: 刘昌东
一分快3 一分快3平台 一分快3官网 三分快三 三分快三官网 分分快三 分分快三官网 分分快三下载 分分快三平台 分分快3 分分快3平台