軟件驗證分析-結構覆蓋分析工具&軟件代碼健壯性分析工具 招標公告

日期：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.gl880.com）上注冊會員的單位應先點擊注冊。登錄成功后的在 招標會員 區根據招標公告的相應說明獲取招標文件！
咨詢電話：010-51957458
手 機：18811547188
聯系人：李楊
QQ:1211306049
微信：Li18811547188
郵箱：1211306049@qq.com
來源：中國電力招標采購網
備注：欲購買招標文件的潛在投標人,注冊網站并繳納因特網技術及商務信息服務費后，查看項目業主，招標公告并下載資格預審范圍，資質要求，
招標清單，報名申請表等。為保證您能夠順利投標，具體要求及購買標書操作流程按會員區招標信息詳細內容為準。
編輯：hnjmrh.gov