軟件驗(yàn)證分析-結(jié)構(gòu)覆蓋分析工具&軟件代碼健壯性分析工具 招標(biāo)公告

日期：2025年09月17日

招標(biāo)編號：0730-2511020495/01

項(xiàng)目名稱：軟件驗(yàn)證分析-結(jié)構(gòu)覆蓋分析工具&軟件代碼健壯性分析工具

項(xiàng)目所在地區(qū)：江蘇省，無錫市

1. 招標(biāo)條件

本軟件驗(yàn)證分析-結(jié)構(gòu)覆蓋分析工具&軟件代碼健壯性分析工具已由項(xiàng)目審批/核準(zhǔn)/備案機(jī)關(guān)批準(zhǔn)，項(xiàng)目資金來源為/，

2. 項(xiàng)目概況與招標(biāo)范圍

招標(biāo)編號：0730-2511020495/01

設(shè)備名稱：軟件驗(yàn)證分析-結(jié)構(gòu)覆蓋分析工具&軟件代碼健壯性分析工具

數(shù)量：1套

項(xiàng)目概況與招標(biāo)范圍：軟件驗(yàn)證分析-結(jié)構(gòu)覆蓋分析工具&軟件代碼健壯性分析工具 1套

3. 投標(biāo)人簡要技術(shù)及資格要求

3.1 投標(biāo)人簡要技術(shù)要求：

（1）支持DO-178C A級軟件要求的MC/DC覆蓋，B級軟件要求的分支（DC）覆蓋，C級軟件要求的語句（SC）覆蓋。

（2）支持對源代碼進(jìn)行插樁，識別程序中的入口、出口、語句、布爾判定、枚舉判定、判定中的條件、布爾賦值、條件賦值等各種語句。

3.2*資質(zhì)要求：

1）投標(biāo)人必須為在中華人民共和國關(guān)境內(nèi)注冊的公司（可以是企業(yè)或者依法允許經(jīng)營的事業(yè)單位）；

2）如代理商投標(biāo)，代理商須為制造商合法授權(quán)的廠商，并在投標(biāo)文件中提供制造商針對本項(xiàng)目的唯一授權(quán)書原件；

3）投標(biāo)設(shè)備必須是中國關(guān)境內(nèi)生產(chǎn)制造的產(chǎn)品。

4）本次招標(biāo)不接受聯(lián)合體投標(biāo)。

5）不得被最高人民法院在″信用中國”網(wǎng)站 中列入失信被執(zhí)行人名單

6）不得被中國航空工業(yè)集團(tuán)公司雷華電子技術(shù)研究所列入失信供應(yīng)商目錄（以開標(biāo)當(dāng)天現(xiàn)場查詢結(jié)果為準(zhǔn)）

4.

未在中國電力招標(biāo)采購網(wǎng)（www.gl880.com）上注冊會員的單位應(yīng)先點(diǎn)擊注冊。登錄成功后的在招標(biāo)會員區(qū)根據(jù)招標(biāo)公告的相應(yīng)說明獲取招標(biāo)文件！
咨詢電話：010-51957458?
手 機(jī)：18811547188?
聯(lián)系人：李楊
QQ:1211306049?
微信：Li18811547188
郵箱：1211306049@qq.com
來源：中國電力招標(biāo)采購網(wǎng)?
備注：欲購買招標(biāo)文件的潛在投標(biāo)人,注冊網(wǎng)站并繳納因特網(wǎng)技術(shù)服務(wù)費(fèi)后，查看項(xiàng)目業(yè)主，招標(biāo)公告并下載資格預(yù)審范圍，資質(zhì)要求，招標(biāo)清單，報名申請表等。為保證您能夠順利投標(biāo)，具體要求及購買標(biāo)書操作流程按會員區(qū)招標(biāo)信息詳細(xì)內(nèi)容為準(zhǔn)，以招標(biāo)業(yè)主的解答為準(zhǔn)本。 編輯：eavic