摘要：
Onespin是領先的EDA解決方案提供商，其360系列產品為FPGA形式化驗證工具。它以強大、高性能的形式化驗證引擎為基礎，能夠覆蓋自動設計分析到高級屬性檢查以及邏輯等效性驗證，幫助構建功能正確，安全，可靠、可信賴的系統。 OneSpin 360?2020.2.0版本現已準備就緒，該版本包括功能和 閱讀全文
posted @ 2020-10-16 11:40
旋極智能
閱讀(332)
評論(0)
推薦(0)
摘要：
Cantata 9.0，從2019年10月開始正式發布，它是一個重要的具有全新功能的新版本。此版本引入了對測試驅動開發（TDD）的支持，并增強了Cantata的AutoTest功能，為C ++代碼提供了自動測試生成技術。 Cantata 9.0還包含許多其他較小的功能增強和修復。發行說明中記錄了完整 閱讀全文
posted @ 2020-10-16 11:39
旋極智能
閱讀(303)
評論(0)
推薦(0)
摘要：
“借助Klocwork，我們能夠比傳統的手動分析和測試更快發現可能遺漏的問題。這使我們能夠交付出引以為傲的高質量軟件，并滿足客戶的期望?！?— SCM系統工程經理 Klocwork 簡介 Klocwork是針對C，C ++，C＃和Java編程語言的最準確的代碼分析器之一。它是一款現代化的敏捷靜態代碼 閱讀全文
posted @ 2020-10-16 11:37
旋極智能
閱讀(841)
評論(0)
推薦(0)
摘要：
MISRA C是安全使用C編程語言的一套準則，主要使用在安全關鍵的嵌入式系統中。它的許多規則和指令旨在幫助軟件開發人員編寫更易于理解和維護的代碼。軟件開發工作需要團隊合作，這些編程風格類的規則是重要的，有益于理解源代碼。其他規則禁止進行有風險的設計或已知的不良編程行為。 編程風格類規則的一個很好的例 閱讀全文
posted @ 2020-10-16 11:36
旋極智能
閱讀(619)
評論(0)
推薦(0)
摘要：
Crazyflie是Bitcraze售賣的可編程無人機，它被設計成為可被修改的并為其操縱裝置和操作系統運行的開源軟件。特別是這架無人機使用了FreeRTOS作為其實時的操作系統。 通過CodeSonar運行Crazyflie的代碼，發現Crazyflie中的一個故障由應用程序代碼中的一個未初始化變量 閱讀全文
posted @ 2020-10-16 11:35
旋極智能
閱讀(186)
評論(0)
推薦(0)
摘要：
最新版本的GrammaTech CodeSonar（版本5.3）繼續致力于成為靜態應用程序安全測試（SAST）的首選提供商,以及成為提高軟件內外部安全和軟件質量所選擇的靜態分析工具。該版本具備一些新功能以及兼容性的更新和其他改進。 此版本的CodeSonar包括對Android，NetBSD 8，V 閱讀全文
posted @ 2020-10-16 11:31
旋極智能
閱讀(272)
評論(0)
推薦(0)
摘要：
課程簡介 本課程為期2天，結合實例講解如何使用Cantata開展C代碼，通過培訓，可以明顯提高工程師操作Cantata的效率，并加速單元測試和集成測試。 【日期】2020年12月8日-9日（共2天） 【時間】3:00pm-11:00pm （北京）時間 【地點】線上（Go To Meeting -網絡 閱讀全文
posted @ 2020-10-14 21:36
旋極智能
閱讀(130)
評論(0)
推薦(0)
浙公網安備 33010602011771號