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