麻豆一区二区三区蜜桃免费_中文字幕Va一区二区三区 _国产成人综合久久二区_丰满多毛的大隂户毛茸茸_国产麻豆剧果冻传媒免费老狼_无码人妻精品一区二区三区久久久 _亚洲中文无码精品卡通_蜜臀亚洲AV永久无码精品老司机

產(chǎn)品中心
CodeScroll STATIC
代碼靜態(tài)驗(yàn)證工具

SureSoft 是韓國一家專業(yè)的 Mission-Critical 高可信測試軟件企業(yè),擁有適用于 ISO 26262/DO-178 等行業(yè)標(biāo)準(zhǔn),成熟的基于V流程代碼檢測、模型檢測、質(zhì)量檢測、安全監(jiān)測、故障注入等應(yīng)用的軟件工具鏈。


CodeScroll是SURESOFT自主研發(fā)的代碼自動(dòng)檢測工具,它又分為STATIC和Controller Tester(簡稱CT)。其中,STATIC是靜態(tài)分析工具,CT則是單元/集成測試工具。


選擇理由



01 STATIC可檢測3類運(yùn)行錯(cuò)誤



02 STATIC的支持領(lǐng)域



03 編碼規(guī)則檢查

- 根據(jù)每個(gè)行業(yè)所需的編碼規(guī)則驗(yàn)證源代碼



- STATIC支持的部分編碼規(guī)則,客戶也可以自定義規(guī)則集



04 網(wǎng)絡(luò)安全編碼規(guī)則

- ES95489-23 100% 兼容

- 提供 4 種類型的規(guī)則集,可識(shí)別詳細(xì)缺陷信息




05 STATIC處理優(yōu)勢

- 利用多臺(tái)PC的可用資源,減少分析時(shí)間和成本

- 快速完成大規(guī)模源代碼分析(可在1分鐘內(nèi)完成分析約300 個(gè)C++ 源文件)



06 STATIC主要功能

  • 提升項(xiàng)目管理人員和開發(fā)人員的工作效率
  1. 提供項(xiàng)目管理者和開發(fā)人員關(guān)注部分的overview
  • 輕松、便捷地修復(fù)并管理軟件缺陷
  1. 確認(rèn)缺陷位置及變更負(fù)責(zé)人/狀態(tài)
  2. 提供缺陷修復(fù)指南
  3. 利用缺陷過濾實(shí)現(xiàn)快速查找
  4. 通過缺陷進(jìn)度跟蹤進(jìn)行管理
  • 為管理人員而設(shè)的便捷展示界面
  1. 項(xiàng)目整體進(jìn)度可視化
  • 為管理人員而設(shè)的概覽界面
  1. 提供項(xiàng)目各單元信息
  • 缺陷生命周期&歷史
  1. 利用缺陷生命周期進(jìn)行狀態(tài)管理
  2. 使用缺陷歷史記錄進(jìn)行進(jìn)度管理
  • 多種缺陷篩選及缺陷確認(rèn)
  1. 通過缺陷篩選可輕松搜索所關(guān)注的缺陷
  2. 可將缺陷狀態(tài)、負(fù)責(zé)人、規(guī)則、函數(shù)等指標(biāo)多項(xiàng)組合后進(jìn)行搜索
  3. 確認(rèn)缺陷位置及變更負(fù)責(zé)人/狀態(tài)
  4. 確認(rèn)源代碼上的違背項(xiàng)
  5. 提供追加信息以便追蹤缺陷原因
  6. 提供缺陷可信度
  • Fix Reference
  1. 通過用戶推薦系統(tǒng)推薦修訂歷史
  2. 幫助用戶輕松修復(fù)缺陷的指南
  • 排除分析Legacy Code功能
  1. 通過設(shè)置基準(zhǔn),僅管理在特定時(shí)間點(diǎn)之后發(fā)生的缺陷
  • 提供質(zhì)量度量(Metric)
  1. 提供各種單位(模塊,文件,類,功能)的軟件質(zhì)量度量(約30種)
  2. 設(shè)置違規(guī)度量條件并顯示警告
  • CI/CD集成
  1. 提供命令行或腳本供外部平臺(tái)調(diào)用
  2. 與持續(xù)集成系統(tǒng)(Jenkins 等)集成
  • 項(xiàng)目報(bào)告
  1. 提供HTML、DOC、EXCEL、PDF格式的報(bào)告
  2. 提供不同劃分類型的報(bào)告


07 支持環(huán)境



08 推薦規(guī)格




09 TUV功能安全認(rèn)證證書



10 應(yīng)用實(shí)例