軟件驗證分析-結(jié)構(gòu)覆蓋分析工具&軟件代碼健壯性分析工具 招標公告
日期：2025年09月17日
招標編號：0730-2511020495/01
項目名稱：軟件驗證分析-結(jié)構(gòu)覆蓋分析工具&軟件代碼健壯性分析工具
項目所在地區(qū)：江蘇省，無錫市
1. 招標條件
本軟件驗證分析-結(jié)構(gòu)覆蓋分析工具&軟件代碼健壯性分析工具已由項目審批/核準/備案機關(guān)批準，項目資金來源為/，
2. 項目概況與招標范圍
招標編號：0730-2511020495/01
設(shè)備名稱：軟件驗證分析-結(jié)構(gòu)覆蓋分析工具&軟件代碼健壯性分析工具
數(shù)量：1套
項目概況與招標范圍：軟件驗證分析-結(jié)構(gòu)覆蓋分析工具&軟件代碼健壯性分析工具 1套
3. 投標人簡要技術(shù)及資格要求
3.1 投標人簡要技術(shù)要求：
（1）支持DO-178C A級軟件要求的MC/DC覆蓋，B級軟件要求的分支（DC）覆蓋，C級軟件要求的語句（SC）覆蓋。
（2）支持對源代碼進行插樁，識別程序中的入口、出口、語句、布爾判定、枚舉判定、判定中的條件、布爾賦值、條件賦值等各種語句。
3.2*資質(zhì)要求：
1）投標人必須為在中華人民共和國關(guān)境內(nèi)注冊的公司（可以是企業(yè)或者依法允許經(jīng)營的事業(yè)單位）；
2）如代理商投標，代理商須為制造商合法授權(quán)的廠商，并在投標文件中提供制造商針對本項目的唯一授權(quán)書原件；
3）投標設(shè)備必須是中國關(guān)境內(nèi)生產(chǎn)制造的產(chǎn)品。
4）本次招標不接受聯(lián)合體投標。
5）不得被最高人民法院在“信用中國”網(wǎng)站 中列入失信被執(zhí)行人名單
6）不得被中國航空工業(yè)集團公司雷華電子技術(shù)研究所列入失信供應(yīng)商目錄（以開標當(dāng)天現(xiàn)場查詢結(jié)果為準）
4.
未在中國電力招標采購網(wǎng)（www.dlztb.com）上注冊會員的單位應(yīng)先點擊注冊。登錄成功后的在招標會員區(qū)根據(jù)招標公告的相應(yīng)說明獲取招標文件！
咨詢電話：010-51957458?
手 機：18811547188?
聯(lián)系人：李楊
QQ:1211306049?
微信：Li18811547188
郵箱：1211306049@qq.com
來源：中國電力招標采購網(wǎng)?
備注：欲購買招標文件的潛在投標人,注冊網(wǎng)站并繳納因特網(wǎng)技術(shù)服務(wù)費后，查看項目業(yè)主，招標公告并下載資格預(yù)審范圍，資質(zhì)要求，招標清單，報名申請表等。為保證您能夠順利投標，具體要求及購買標書操作流程按會員區(qū)招標信息詳細內(nèi)容為準，以招標業(yè)主的解答為準本。
編輯：eavic